Loading…

Engineering methods and tools for software safety and security /

Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security Marktoberdorf, Germany
Other Authors: Broy, M., 1949-, Sitou, Wassiou, Hoare, C. A. R. (Charles Antony Richard), 1934-
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009.
Series:NATO science for peace and security series. Information and communication security ; v. 22.
Subjects:
Online Access:Texto completo
Table of Contents:
  • Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination
  • Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software.