ePubs

The open archive for STFC research publications

ePubs is undergoing scheduled maintenance on 06/12/2022 between 08:30-09:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/33970
Record Status Checked
Record Id 33970
Title Exploiting formality in software engineering
Contributors
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
Keywords
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