Formal Engineering for Industrial Software Development : Using the SOFL Method /
In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of math...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1