Software safety in embedded computer systems
Communications of the ACM
A manager's guide to software engineering
A manager's guide to software engineering
Experience with Formal Methods in Critical Systems
IEEE Software
Case Study: Darlington Nuclear Generating Station
IEEE Software
Strategies for incorporating formal specifications in software development
Communications of the ACM
Ten Commandments of Formal Methods
Computer
IEEE Software
Capability Maturity Model, Version 1.1
IEEE Software
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
A validation framework for a maturity measurement model for safety-critical software systems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Journal of Systems and Software
Situational maturity models as instrumental artifacts for organizational design
Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology
| Hi-index | 48.22 |