Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods for Embedded Distributed Systems
. Ed(S): Kordon, Fabrice; Lemoine, Michel
€ 127.61
FREE Delivery in Ireland
Description for Formal Methods for Embedded Distributed Systems
Hardback. Presents some techniques to be used in the context of distributed and/or embedded systems. This book makes many connections between 'traditional development approaches' and the developments in formal techniques that are known as the best solution to significantly increase the reliability of such systems. Editor(s): Kordon, Fabrice; Lemoine, Michel. Series: the Kluwer International Series in Engineering & Computer Science. Num Pages: 263 pages, 28 black & white illustrations, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 586.
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 properties: a exha- tive coverage of the development phases, and a set of well ... Read more
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 properties: a exha- tive coverage of the development phases, and a set of well ... Read more
Product Details
Format
Hardback
Publication date
1991
Publisher
Springer-Verlag New York Inc. United States
Number of pages
263
Condition
New
Series
the Kluwer International Series in Engineering & Computer Science
Number of Pages
263
Place of Publication
New York, NY, United States
ISBN
9781402079962
SKU
V9781402079962
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods for Embedded Distributed Systems