Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Formal Methods for Embedded Distributed Systems: How to master the complexity eBook
$159.00 Original price was: $159.00.$40.00Current price is: $40.00.
By: Fabrice Kordon; Michel Lemoine
Publisher: Springer
Print ISBN: 9781402079962, 1402079966
eText ISBN: 9781402079979, 1402079974
Edition: 1st
Copyright year: 2004
eText ISBN: 9781402079979
SKU: 9781402079979
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9781402079962
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 integrated support tools. In Computer Science it is now widely accepted that only formal notations can guarantee a perfect de?ned meaning. This becomes a more and more important issue since software systems tend to be distributed in large systems (for instance in safe public transportation systems), and in small ones (for instance numerous processors in luxury cars). Distribution increases the complexity of embedded software while safety criteria get harder to be met. On the other hand, during the past decade Software Engineering techniques have been improved a lot, and are now currently used to conduct systematic and rigorous development of large software systems. UML has become the de facto standard notation for documenting Software Engineering projects. UML is supported by many CASE tools that offer graphical means for the UML notation.
Be the first to review “Formal Methods for Embedded Distributed Systems: How to master the complexity eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9781610395700
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
eText ISBN: 9781466566330
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
eText ISBN: 9781118890868
$76.65 Original price was: $76.65.$47.22Current price is: $47.22.
-38%
eText ISBN: 9781337015783
$51.65 Original price was: $51.65.$31.82Current price is: $31.82.
-38%
Bestsellers
eText ISBN: 9781440336683
$21.65 Original price was: $21.65.$13.34Current price is: $13.34.
-38%
eText ISBN: 9780735642577
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9780735637832
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9781119473879
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
Reviews
There are no reviews yet.