Formal semantics for SA style data flow diagram specification languages
Proceedings of the 1999 ACM symposium on Applied computing
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
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
Integrating Formal and Informal Specification Techniques. Why? How?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Generating formal specifications from CASE repositories
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A tale of two case studies: using integrated methods to support rigorous requirements specication
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Faithfully formalizing OSEK/VDX operating system specification
Proceedings of the Third Symposium on Information and Communication Technology
Hi-index | 0.00 |