Formal Methods for Embedded Distributed Systems
Broschiertes Buch

Formal Methods for Embedded Distributed Systems

How to master the complexity

Herausgegeben: Kordon, Fabrice; Lemoine, Michel
Versandkostenfrei!
Versandfertig in 6-10 Tagen
75,99 €
inkl. MwSt.
PAYBACK Punkte
38 °P sammeln!
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! The different notations that can be used must all possess at least one property: formality. The development process must also have important properti...