| Description |
1 online resource (ix, 333 pages) : illustrations |
| Series |
NATO science for peace and security series. D, Information and communication security, 1874-6268 ; v. 22 |
|
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 22.
|
| 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 |
| Summary |
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 |
| Notes |
"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 |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| Subject |
Software engineering -- Congresses
|
|
Computer security -- Congresses
|
|
COMPUTERS -- Programming -- Open Source.
|
|
COMPUTERS -- Software Development & Engineering -- Tools.
|
|
COMPUTERS -- Software Development & Engineering -- General.
|
|
Computer security
|
|
Software engineering
|
| Genre/Form |
Conference papers and proceedings
|
| Form |
Electronic book
|
| Author |
Broy, M., 1949-
|
|
Sitou, Wassiou
|
|
Hoare, C. A. R. (Charles Antony Richard), 1934-
|
| ISBN |
9781441616135 |
|
1441616136 |
|
9781607504108 |
|
1607504103 |
|
9781586039769 |
|
1586039768 |
|
