Gabor Guta,
"Towards error-free software"
, in IT-Business, Vol. 4, Nummer 38, Vogel Burda Communications, Seite(n) 26-27, 2006, ISSN: 1589-3464
Original Titel:
Towards error-free software
Sprache des Titels:
Englisch
Original Kurzfassung:
Formal Methods represents a field of computer science which promises techniques and methods based on mathematical principles to produce error-free software. In this short overview we will try to point out how Formal Methods could be used in a cost effective manner in enterprise environment and which areas are developed enough to be used on a large scale