The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/55726
Record Status Checked
Record Id 55726
Title Supporting the length of formal development: From diagrams to VDM to B to C
Abstract This paper reports on the experiences gained in the MaFMeth project which is undertaking a formal development with tool support for several parts of the life cycle from requirements capture through to C code generation. A number of issues arise from the limitations of different notations and tools and from their combination when applied to the development of software components destined to be integrated into a broader system context. We describe the problems we encountered, the mistakes we made, and the solutions we adopted, for the benefit of both those applying formal methods to real product development, and for the creators and designers of methods and tools.
Organisation CCLRC , ESC
Keywords Formal Methods , Formal Specification , VDM
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 7th International Conference on Putting into Practice Method and Tools for Information System Design, Nantes, France, October 1995, (1995). nantes95.ps 1995