Lessons learned from rigorous system software development
References (22)
- Bull Information Systems SA, Distributed computing FlowBus product overview, Bull Open Software, 86 A2 51CD, Bull S.A....
- et al.
Capability Maturity Model for Software
Carnegie Mellon University Software Engineering Institute Technical Report, CMU/SEI-93TR-24
(February 1993) The Yourdon Systems Method: Model Driven Systems Development
(1993)Systematic Software Development using VDM
The B-Book — Assigning Programs to Meanings
(1996)B-Technology Technical Overview
(1993)- J. Hoare, The Formal Development of CICS with B, in Bull Information Systems SA, Distributed computing FlowBus product...
An Approach to Testing during Formal Development with the B Method, Euromicro 96 Short Contributions
- et al.
Quantitative analysis of an application of formal methods
Measuring the quality of the development lifecycle process
Software Quality J.
(1996)
Cited by (4)
Evaluation and measurement of software process improvement-A systematic literature review
2012, IEEE Transactions on Software EngineeringManagerial issues for the consideration and use of formal methods
2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Formal methods: The problem is education
2000, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Towards the use of formal methods for the development of lingware
1998, Proceedings of the Annual Meeting of the Association for Computational Linguistics
Copyright © 1997 Published by Elsevier B.V.