Formal Methods for Embedded Distributed Systems How to master the complexity /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kordon, Fabrice (Επιμελητής έκδοσης), Lemoine, Michel (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2004.
• Θέματα: Computer science.; Microprocessors.; Software engineering.; Computers.; Computer-aided engineering.; Computer Science.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Computing Methodologies.; Processor Architectures.; Computer-Aided Engineering (CAD, CAE) and Design.

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

Πίνακας περιεχομένων:

• The BART Case Study
• Formal Specifcation and Refinement of a Safe Train Control Function
• From UML to Z
• Environmental Modeling with UML
• Checking BART Test Scenarios with UML’s Object Constraint Language
• Modeling and verifying behavioral aspects
• Mastering the Complexity of Reactive Systems - The AutoFocusApproach
• Conclusions.