[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- MIke Hinchey & Michael A Jackson & Patrick Cousot & Byron Cook & Jonathen P Bowen & Tiziana
- Software Engineering and Formal Methods
- Commun ACM V51n9(Sep 2008)pp54-59
[ 1378727.1378742 ]
- =SURVEY FORMAL MATHEMATICAL LOGICAL METHODS TOOLS QUALITIES RELIABLE COST
- Summary of three key note speeches from ICSE&FM 2007.
- Describes history: increasing dependability of hardware, more intensive use of software, more ubiquitous computing, no increase in software dependability.
- Formal methods can increase dependability.
- Jackson notes that good engineering stays within the
normal design discipline
associated with a given application domain.
leaves the normal and always decreases the dependability of the result.
Therefore the need to develop special purpose disciplines for each domain.
Compare with Henry Petrosky's work.
- Patrick Cousot defines formal methods and the idea of abstraction. Mentions Astree.
- Byron Cook notes the explosion of complexity when there is concurrency and the attempts to overcome it.
- Conclusion reviews the history, describes
and states that the quest continues...
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]