TY  - BOOK
AU  - Broy,M.
AU  - Sitou,Wassiou
AU  - Hoare,C.A.R.
ED  - NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security
TI  - Engineering methods and tools for software safety and security
T2  - NATO science for peace and security series. D, Information and communication security,
SN  - 9781441616135
AV  - QA76.758 .N3846 2008eb
U1  - 005.1 22
PY  - 2009///
CY  - Amsterdam, Netherlands, Washington, DC
PB  - IOS Press
KW  - Software engineering
KW  - Congresses
KW  - Computer security
KW  - Génie logiciel
KW  - Congrès
KW  - Sécurité informatique
KW  - COMPUTERS
KW  - Programming
KW  - Open Source
KW  - bisacsh
KW  - Software Development & Engineering
KW  - Tools
KW  - General
KW  - fast
KW  - Conference papers and proceedings
N1  - "Proceedings of the NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security, Marktoberdorf, Germany, 5-17 August 2008"--Title page verso; Includes bibliographical references and index; 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
N2  - 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 practice
UR  - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281426
ER  -