Quantitative analysis of an application of formal methods

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1051, Issue , 1996, Pages 60-73

  Bicarregui, Juan ^a   Dick, Jeremy ^b   Woods, Eoin ^b  

^a RUTHERFORD APPLETON LABORATORY   (United Kingdom)

^b Bull Information Systems Limited   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); LIFE CYCLE;

C CODES; DEVELOPMENT PROCESS; FORMAL DEVELOPMENT; REQUIREMENTS CAPTURE; TOOL SUPPORT;

FORMAL METHODS;

EID: 84955560584     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_80     Document Type: Conference Paper

References (11)

1. J.C. Bicarregui, J. Dick and E. Woods, Supporting the length of formal development: from diagrams to VDM to B to C Proceedings, 7th International Conference on: Putting into practice method and tools for information system design, Nantes (France), October '95, IUT de Nantes, H. Habrias (Editor) 1995.
2. J.C. Bicarregui and B. Ritchie. Invariants, frames and postconditions: a comparison of the VDM and B notations. In Proceedings of Formal Methods Europe '93, Lecture Notes in Computer Science, Springer-Verlag, 1993.
3. Jeremy Dick and Jerome Loubersac. A Visual Approach to VDM: Entity-Structure Diagrams. Technical Report DE/DRPA/91001, Bull, 68, Route de Versailles, 78430 Louveciennes (France), January 1991.
4. Jeremy Dick and Alain Faivre. Automating the generation and sequencing of test cases from model-based specifications. In J.C.P. Woodcock and P.G. Larsen, editors, FME'93: Industrial-Strength Formal Methods, pages 268-284, Formal Methods Europe, Springer-Verlag, April 1993. Lecture Notes in Computer Science 670.
5. J.Dick, Fault grids: another way of presenting fault counts, Software Reliability and Metrics Club Newsletter, Issue 16, July 1995, p 2-4. (pubfished by the Centre for Software Reliability, University of Newcastle upon Tyne).
6. Des Malsey and Jeremy Dick, Measuring the quality of the development life cycle process, Submitted to SQM96, Software Quality Measurement.
7. U.K. Department of Trade and Industry, TickIT: Guide to Software Quality Management, System Construction and Certification using ISO9001/EN29001/BS5750 Part 1, February 1992, TicklT Project Office, 68 Newman Street, London, WIA 4SE, UK.
8. M.C. Paulk, W. Curtis, M.B. Chrissis, C.V. Weber, Capability Maturity Model for Software, Version 1.1, Carnegie Mellon University Software Engineering Institute Technical Report, CME/SEI-93-TR-24, February 1993.
9. E. Woods, The Development of a Software Subsystem Using VDM and B, University of Manchester, Board for Continuing Education, Department of Computer Science, MSc Thesis, 1995.
10. J. Dick and E. Woods, Lessons Learned Applying Formal Methods to System Software Development, submitted (July 1995) to IEEE Software.
11. Yourdon Inc., The Yourdon Systems Method: Model Driven Systems Development, Prentice Hall, Englewood Cliffs, N J, USA, 1993, ISBN 0-13-285818-5