Functional programs as executable specifications
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Research on Knowledge-Based Software Environments at Kestrel Institute
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
Functional programming, formal specification, and rapid prototyping
IEEE Transactions on Software Engineering
Specifications are not (necessarily) executable
Software Engineering Journal
Case studies in systematic software development
Case studies in systematic software development
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Using ABC to prototype VDM specifications
ACM SIGPLAN Notices
Proof in VDM: a practitioner's guide
Proof in VDM: a practitioner's guide
The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
Specification Case Studies
Mural: A Formal Development Support System
Mural: A Formal Development Support System
Software Prototyping, Formal Methods, and VDM
Software Prototyping, Formal Methods, and VDM
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Proof-Based Development of Specifications with KIDS/VDM
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Specification and animation of a bank transfer
KBSE '95 Proceedings of The 10th Knowledge-Based Software Engineering Conference
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
| Hi-index | 0.00 |
KIDS/VDM is an experimental environment that supports the synthesis of executable prototypes from VDM specifications. The development proceeds as a series of correctness preserving transformations under the strict control of the tool. A by-product of this development is the proof of consistency properties of the original specification. Experiments with the tool have shown its ability to handle independently written specifications. It also revealed useful to detect errors in specifications. The environment is based on, technologies of the Kestrel Institute Development System, including the REFINE and REGROUP languages, the design and optimization tactics, and the theorem prover.