Formal Methods Applied to a Floating-Point Number System
IEEE Transactions on Software Engineering
Formal Specifications as Reusable Frameworks
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Formal Methods Reality Check: Industrial Usage
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Verification of proofs for the B formal development process
ACM SIGPLAN Notices
Science and Substance: A Challenge to Software Engineers
IEEE Software
Experience with Formal Methods in Critical Systems
IEEE Software
Formal Methods Reality Check: Industrial Usage
IEEE Transactions on Software Engineering
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Choosing a testing method to deliver reliability
ICSE '97 Proceedings of the 19th international conference on Software engineering
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Formal Methods Adoption: What's Working, What's Not!
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes
Investigating a new formal model for autonomous virtual organisation using RAISE method
International Journal of Networking and Virtual Organisations
Large-scale formal verification in practice: a process perspective
Proceedings of the 34th International Conference on Software Engineering
Formal specifications better than function points for code sizing
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |