Verification and Validation for Trustworthy Software Systems
暂无分享,去创建一个
James Bret Michael | Doron Drusinsky | Man-tak Shing | Thomas W. Otani | M. Shing | D. Drusinsky | J. Michael
[1] T.C. Lethbridge,et al. Guide to the Software Engineering Body of Knowledge (SWEBOK) and the Software Engineering Education Knowledge (SEEK) - a preliminary mapping , 2001, 10th International Workshop on Software Technology and Engineering Practice.
[2] Doron Drusinsky,et al. Creating and Validating Embedded Assertion Statecharts , 2007, IEEE Distributed Systems Online.
[3] John Kelly,et al. Experiences Using Lightweight Formal Methods for Requirements Modeling , 1998, IEEE Trans. Software Eng..
[4] H. Kopetz,et al. Dependability: Basic Concepts and Terminology , 1992, Dependable Computing and Fault-Tolerant Systems.
[5] Alain Abran,et al. The Guide to the Software Engineering Body of Knowledge , 1999, IEEE Softw..
[6] James Bret Michael,et al. A Visual Tradeoff Space for Formal Verification and Validation Techniques , 2022 .
[7] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[8] Doron Drusinsky,et al. Specification and Validation of Space System Behaviors , 2010 .
[9] Kent Beck,et al. Test-infected: programmers love writing tests , 2000 .
[10] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[11] James Bret Michael,et al. Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance , 2008, 2008 Second International Conference on Secure System Integration and Reliability Improvement.
[12] James Bret Michael,et al. A framework for computer-aided validation , 2008, Innovations in Systems and Software Engineering.
[13] James Bret Michael,et al. Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring , 2011, 2011 6th International Conference on System of Systems Engineering.
[14] Doron Drusinsky,et al. Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking , 2006 .
[15] Doron Drusinsky,et al. On the power of bounded concurrency I: finite automata , 1994, JACM.