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