Engineering methods and tools for software safety and security /

Show other versions (1)

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:
Software engineering > Congresses.
Computer security > Congresses.
Génie logiciel > Congrès.
Sécurité informatique > Congrès.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > Tools.
COMPUTERS > Software Development & Engineering > General.
Computer security.
Software engineering.
Conference papers and proceedings.
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.

Similar Items