Using Event-B for Critical Device Software Systems

• Κύριος συγγραφέας: Singh, Neeraj Kumar (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2013.
• Θέματα: Computer science.; Health informatics.; Computer programming.; Software engineering.; Mathematical logic.; Computer simulation.; Computer Science.; Mathematical Logic and Formal Languages.; Software Engineering.; Health Informatics.; Simulation and Modeling.; Programming Techniques.

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal  techniques, this book adopts a rigorous safety assessment approach explored via several layers (from  requirements analysis to automatic source c...