A formal specifications maturity model
Communications of the ACM
A validation framework for a maturity measurement model for safety-critical software systems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Ten Commandments of Formal Methods
Computer
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Knowledge engineering in the communication of Information for safety critical systems
The Knowledge Engineering Review
Quality, cleanroom and formal methods
3-WoSQ Proceedings of the third workshop on Software quality
| Hi-index | 0.02 |