VDM++: a formal specification language for object-oriented designs

Reuse of requirements and specifications: a formal framework

SSR '95 Proceedings of the 1995 Symposium on Software reusability

Annealing and data decomposition in VDM

ACM SIGPLAN Notices

SOFL: A Formal Engineering Methodology for Industrial Applications

IEEE Transactions on Software Engineering

Generation of Execution Sequences for Modular Time Critical Systems

IEEE Transactions on Software Engineering

Temporal logics for real-time system specification

ACM Computing Surveys (CSUR)

An Interval Logic for Real-Time System Specification

IEEE Transactions on Software Engineering

Automated conversion from requirements documentation to an object-oriented formal specification language

Proceedings of the 2002 ACM symposium on Applied computing

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

Automated Software Engineering

Introducing Reference Semantics via Refinement

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

But Who Will Guard the Guardians?

TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)

Hybrid object-oriented real-time software development with VDM/sup ++/

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs