Fabrice (Hrsg.) Kordon
Formal Methods for Embedded Distributed Systems
How to master the complexity
Buch
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 phase…
Mehr
Beschreibung
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.
CHF 192.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Lemoine, Michel (Hrsg.)
- ISBN: 978-1-4419-5459-6
- EAN: 9781441954596
- Produktnummer: 10302249
- Verlag: Springer Us
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 284 S.
- Masse: H23.5 cm x B15.5 cm x D1.5 cm 435 g
- Auflage: Softcover reprint of hardcover 1st ed. 2004
- Abbildungen: Paperback
- Gewicht: 435
27 weitere Werke von Fabrice (Hrsg.) Kordon:
How to master the complexity
Ebook (PDF Format)
CHF 82.50
How to master the complexity
Ebook (PDF Format)
CHF 66.50
How to master the complexity
Ebook (PDF Format)
CHF 93.50
How to master the complexity
Ebook (PDF Format)
CHF 82.50
How to master the complexity
Ebook (PDF Format)
CHF 165.50
How to master the complexity
Ebook (PDF Format)
CHF 116.00
How to master the complexity
Ebook (EPUB Format)
CHF 116.00
How to master the complexity
Ebook (PDF Format)
CHF 93.50
How to master the complexity
Ebook (PDF Format)
CHF 87.00
How to master the complexity
Ebook (PDF Format)
CHF 71.00
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.