From the Publisher:
This volume provides the reader with a comprehensive introduction to system specification and design methods, with particular emphasis on structured and formal methods, method integration, concurrency and safety-critical systems. It contains both new material by Jonathan Bowen and Michael Hinchey, along with reprints of classic articles on high-integrity systems which have never before appeared together in a single volume.
Cited By
- Lyons D, Arkin R, Shu Jiang , Tsung-Ming Liu and Nirmal P (2015). Performance Verification for Behavior-Based Robot Missions, IEEE Transactions on Robotics, 31:3, (619-636), Online publication date: 1-Jun-2015.
- Lyons D, Jiang S, Arkin R, Nirmal P, Fox S and Zafar M Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments Proceedings of the Workshop on Performance Metrics for Intelligent Systems, (114-120)
- Unphon H and Dittrich Y (2010). Software architecture awareness in long-term software product evolution, Journal of Systems and Software, 83:11, (2211-2226), Online publication date: 1-Nov-2010.
- Hinchey M (2008). Desert Island Column, Automated Software Engineering, 15:3-4, (393-402), Online publication date: 1-Dec-2008.
- Hinchey M, Jackson M, Cousot P, Cook B, Bowen J and Margaria T (2008). Software engineering and formal methods, Communications of the ACM, 51:9, (54-59), Online publication date: 1-Sep-2008.
- Morimoto S, Shigematsu S, Goto Y and Cheng J Formal verification of security specifications with common criteria Proceedings of the 2007 ACM symposium on Applied computing, (1506-1512)
- Bowen J and Hinchey M Ten commandments revisited Proceedings of the 10th international workshop on Formal methods for industrial critical systems, (8-16)
- Tichy M, Schilling D and Giese H Design of self-managing dependable systems with UML and fault tolerance patterns Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, (105-109)
- Hinchey M Confessions of a formal methodist Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15, (17-20)
- Kwon J, Wellings A and King S (2003). Assessment of the Java programming language for use in high integrity systems, ACM SIGPLAN Notices, 38:4, (34-46), Online publication date: 1-Apr-2003.
- Kwon J, Wellings A and King S Ravenscar-Java Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (131-140)
- Bowen J and Jifeng H (2001). An Approach to the Specification and Verification of a Hardware Compilation Scheme, The Journal of Supercomputing, 19:1, (23-39), Online publication date: 1-May-2001.
- Bowen J (2000). The ethics of safety-critical systems, Communications of the ACM, 43:4, (91-97), Online publication date: 1-Apr-2000.
Recommendations
Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication TechnologyOSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...
Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...