From VDM specifications to functional prototypes
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Using ABC to prototype VDM specifications
ACM SIGPLAN Notices
Proof in VDM: a practitioner's guide
Proof in VDM: a practitioner's guide
Elements of style: analyzing a software design feature with a counterexample detector
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
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
Formal specification and validation at work: a case study using VDM-SL
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Proceedings of the 2001 ACM symposium on Applied computing
A graphical user interface for executing formal specifications
Proceedings of the 2001 ACM symposium on Applied computing
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Applying Formal Specification in Industry
IEEE Software
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Automatic Construction of Validated B Components from Structured Developments
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A Lightweight Approach to Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Exploiting Formality in Software Engineering
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
A graphical user interface for editing formal specification objects
Journal of Computing Sciences in Colleges
Plug-in proof support for formal development environments
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
The overture initiative integrating tools for VDM
ACM SIGSOFT Software Engineering Notes
Connecting UML and VDM++ with Open Tool Support
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Towards dynamic population management of abstract machines in the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Collaborative modelling and co-simulation in the development of dependable embedded systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Proof obligation generation and discharging for recursive definitions in VDM
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
On the integration of formal methods: events and Scenarios in PVS and VDM
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
The role of proof in a formal specification of the speedway rulebook
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
The formal development of a windows interface
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Design support and tooling for dependable embedded control software
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Hi-index | 0.00 |