The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/33970
Record Status Checked
Record Id 33970
Title Exploiting formality in software engineering
Abstract There is undoubtedly a huge gap between the level of for­ mality currently in use in mainstream software engineering and the ``best practise'' advocated by academics and practised by a small sector of industry involved in critical applications. This paper presents some re­ sults of recent research which are building bridges between these two ap­ proaches: on the one hand, developing formal methods which are useful to mainstream developers; and on the other, underpinning mainstream methods with formal foundations.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In SOFSEM'99, 26th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'99), November 1999, (1999). SOFSEM99.ps 1999