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...
Call Number: | Libro Electrónico |
---|---|
Corporate Author: | |
Other Authors: | , , |
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.