|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910455512603321 |
|
|
Titolo |
Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, DC, : IOS Press, 2009 |
|
|
|
|
|
|
|
ISBN |
|
1-4416-1613-6 |
1-60750-410-3 |
600-00-1467-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (344 p.) |
|
|
|
|
|
|
Collana |
|
NATO science for peace and security series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Engineering - Data processing |
Engineering - Methodology |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
A Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching AlgorithmAn Introduction to Separation Logic; Unifying Theories of Undefinedness; Subject Index; Author Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|