The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Faster checking of software specifications by eliminating isomorphs
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
The connection between two ways of reasoning about partial functions
Information Processing Letters
Reasoning about programs via operational semantics: requirements for a support system
Automated Software Engineering
Reasoning About Partial Functions in the Formal Development of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
The user context and formal specification in interactive system design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
A formal basis for modelling process and task management aspects of user interface design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Using LOTOS for the evaluation of design options in the PREMO standard
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.01 |