Algebraic Foundations Of Systems Specification
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | August 19, 1999 |
| Editors | Hans-Jörg Kreowski |
| Bernd Krieg-Brueckner | |
| Egidio Astesiano | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2036622 |
About Algebraic Foundations Of Systems Specification
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. . . .