Lessons learned from rigorous system software development

Bull Information Systems SA, Distributed computing FlowBus product overview, Bull Open Software, 86 A2 51CD, Bull S.A. CEDOC. 1992 Paulk, 1993, Capability Maturity Model for Software, Carnegie Mellon University Software Engineering Institute Technical Report, CMU/SEI-93TR-24 Yourdon Inc, 1993 Jones, 1990, Systematic Software Development using VDM Abrial, 1996 Abrial, 1993 J. Hoare, The Formal Development of CICS with B, in Bull Information Systems SA, Distributed computing FlowBus product overview.Bull Open Software, 86 A2 51CD, Bull S.A. CEDOC. Ormsby, 1997, An Approach to Testing during Formal Development with the B Method, Euromicro 96 Short Contributions, 107 Bicarregui, 1996, Quantitative analysis of an application of formal methods, Vol. 1051, 60 Maisey, 1996, Measuring the quality of the development lifecycle process, Software Quality J., 5, 199, 10.1007/BF00678584 Collins, 1987, Introducing formal methods: the CICS experience with Z, IBM Hursley Technical Report Bowen, 1995, Ten commandments of formal methods. Computer, 28, 56 Hinchey, 1995, Applications of Formal Methods Wing, 1990, A specifier's introduction to formal methods, Computer, 23, 8, 10.1109/2.58215 Wordsworth, 1996 Spivey, 1992 Dehbonei, 1996, Formal methods in the railway signalling industry, Vol. 1051, 26 Lano, 1996 Lano, 1996 Bicarregui, 1997, Making the most of formal specification through animation testing proof, Sci. Comput. Programming, 28, in press Dick, 1992, Automatic partition analysis of VDM specifications, Bull Corporate Research Centre Technical Report, RAD/DMA/92027