ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
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
Contributors
JC Bicarregui (STFC Rutherford Appleton Lab.)
,
J Dick
,
E Wods
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar