Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifications are not (necessarily) executable
Software Engineering Journal
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
| Hi-index | 0.00 |