Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
Requirements and Specification Exemplars
Automated Software Engineering
A Formal Analysis of the CORBA Security Service
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Systems Development Using Z Generics
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
Procedures and parameters in the real-time program refinement calculus
Science of Computer Programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
The Method of Levels of Abstraction
Minds and Machines
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Operation refinement and monotonicity in the schema calculus
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Practical data refinement for the z schema calculus
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A tool for developing correct programs by refinement
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.00 |