Academia and industry meet: Some experiences of formal methods in practice

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2003-January, Issue , 2003, Pages 49-58

  Broadfoot, Guy H ^a   Broadfoot, Philippa J ^b  

^a Silverdata Ltd   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CLEAN ROOMS; LABORATORIES; MODEL CHECKING; SOFTWARE ENGINEERING;

COMPLEX MANUFACTURING; CONTROL SOFTWARE; CORE PRODUCTS; FORMAL APPROACH; MODEL CHECKER; SOFTWARE SYSTEMS;

FORMAL METHODS;

EID: 15844424783     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2003.1254357     Document Type: Conference Paper

References (15)

1. J. R. Abrial. The B Book: Assigning Programs to Meaning. Cambridge University Press, 1996.
2. G. H. Broadfoot. Using CSP to support the Cleanroom Development Method for software development. Master's thesis, University of Oxford, 2001.
3. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture Volume 1. Wiley, 1996.
4. Formal Systems (Europe) Ltd. Failures-Divergences Refinement: FDR2 Manual, 1997.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
6. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
7. R. C. Linger, H. D. Mills, and B. I. Witt. Structured Programming: Theory and Practice. Addison-Wesley, 1979.
8. H. D. Mills. Stepwise refinement and verification in box structured systems. Computer, 21(6):23-26, 1988.
9. H. D. Mills, M. Dyer, and R. C. Linger. Cleanroom Software Engineering. IEEE Software, pages 19-25, 1987.
10. H. D. Mills, R. C. Linger, and A. R. Hevner. Principles of Information Systems Analysis and Design. Academic Press, 1986.
11. S. J. Prowell and J. H. Poore. Sequence-based software specification of deterministic systems. Software - Practice and Experience, 23(3):329-344, 1998.
12. S. J. Prowell and J. H. Poore. Foundations of sequence-based software specification. IEE Transations of Software Engineering, 29(5):417-429, 2003.
13. S. J. Prowell, C. J. Trammell, R. C. Linger, and J. H. Poore. Cleanroom Software Engineering - Technology and Process. Addison-Wesley, 1998.
14. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
15. J. Woodcock and J. Davies. Using Z - Specification, Refinement and Proof. Prentice Hall, 1996.