Programming from specifications
Programming from specifications
Designing object-oriented software
Designing object-oriented software
Specifications are (preferably) executable
Software Engineering Journal
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Seven More Myths of Formal Methods
IEEE Software
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Lightweight Approach to Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Some Misconceptions About Lines of Code
METRICS '97 Proceedings of the 4th International Symposium on Software Metrics
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Experiences in using b and UML in industrial development
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
We describe the results of the use of formal methods integrated into a conventional, industrial software development environment in a situation where a meaningful comparison can be made against a parallel running project based on the same requirements. Despite the generally chaotic, ad hoc processes and methods that are employed in such environments, the addition into the mix of some formality greatly improves the overall quality of the software being constructed.