A formal structured method for requirement specification construction
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Introducing data decomposition into VDM for tractable development of programs
ACM SIGPLAN Notices
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
A user-friendly formal requirements specification method
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
State-based approaches: from Z to object-Z
Formal methods for distributed processing
Requirements and Specification Exemplars
Automated Software Engineering
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
Information and Software Technology
A new definitional specification language
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Applicative modelling with RAISE
Domain modeling and the duration calculus
Feature interactions: a mixed semantic model approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Theories of Programming and Formal Methods
Hi-index | 0.00 |