Engineering methods and tools for software safety and security /
Engineering methods and tools for software safety and security /
edited by Manfred Broy, Wassiou Sitou and Tony Hoare.
- Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009.
- 1 online resource (ix, 333 pages) : illustrations
- NATO science for peace and security series. D, Information and communication security, v. 22 1874-6268 ; .
- NATO science for peace and security series. Sub-series D, Information and communication security ; v. 22. .
"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.
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.
9781441616135 (electronic bk.) 1441616136 (electronic bk.) 9781607504108 1607504103 9781586039769 1586039768
978-1-58603-976-9 IOS Press http://www.iospress.nl
2008944241
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.
Electronic books.
Electronic books.
Conference papers and proceedings.
QA76.758 / .N3846 2008eb
005.1
"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.
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.
9781441616135 (electronic bk.) 1441616136 (electronic bk.) 9781607504108 1607504103 9781586039769 1586039768
978-1-58603-976-9 IOS Press http://www.iospress.nl
2008944241
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.
Electronic books.
Electronic books.
Conference papers and proceedings.
QA76.758 / .N3846 2008eb
005.1