|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910813007503321 |
|
|
Titolo |
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, The Netherlands, : IOS Press, 2011 |
|
|
|
|
|
|
|
ISBN |
|
6613289604 |
1-283-28960-1 |
9786613289605 |
1-60750-711-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (296 p.) |
|
|
|
|
|
|
Collana |
|
NATO science for peace and security series. Sub-series D, Information and communication security, , 1874-6268 ; ; v. 30 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
BroyM. <1949-> |
LeuxnerChristian |
HoareC. A. R <1934-> (Charles Antony Richard) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software protection |
Computer software - Reliability |
Software engineering |
Computer security |
System safety |
|
|
|
|
|
|
|
|
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 indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct |
|
|
|
|