An introduction to Z and formal specifications
Software Engineering Journal - Special Section on Z
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Specifications are (preferably) executable
Software Engineering Journal
Software development: two approaches to animation of Z specifications using Prolog
Software Engineering Journal
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
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Practical programming in Tcl and Tk (2nd ed.)
Practical programming in Tcl and Tk (2nd ed.)
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
The class validation system
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
A graphical user interface for editing formal specification objects
Journal of Computing Sciences in Colleges
Hi-index | 0.00 |