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...

Full description

Bibliographic Details

Main Author:	Liu, Shaoying
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Subjects:	Computer science. Software engineering. Logic design. Computer simulation. Information systems. Electronic books.
Online Access:	Connect to the full text of this electronic book