Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
ICSE '88 Proceedings of the 10th international conference on Software engineering
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
An example of formal specification as an aid to design and development
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Formal specification for a clinical cyclotron control system
Conference proceedings on Formal methods in software development
IEEE Transactions on Software Engineering
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
A validation framework for a maturity measurement model for safety-critical software systems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |