Vai al contenuto principale della pagina
Titolo: |
Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare
![]() |
Pubblicazione: | Washington, DC, : IOS Press, 2009 |
Descrizione fisica: | 1 online resource (344 p.) |
Disciplina: | 005.8 |
Soggetto topico: | Engineering - Data processing |
Engineering - Methodology | |
Soggetto genere / forma: | Electronic books. |
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. |
Titolo autorizzato: | Engineering methods and tools for software safety and security ![]() |
ISBN: | 1-4416-1613-6 |
1-60750-410-3 | |
600-00-1467-8 | |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910455512603321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |