| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910457752903321 |
|
|
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) |
|
BroyManfred |
LeuxnerChristian |
HoareA. G |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software protection |
Computer software - Reliability |
Software engineering |
Computer security |
System safety |
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 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 and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs. This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Speci |
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991002256299707536 |
|
|
Autore |
Aikawwa, Hiroaki |
|
|
Titolo |
Potential theory - selected topics [e-book] / by Hiroaki Aikawwa, Matts Essén |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (ix, 200 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mathematics, 0075-8434 ; 1633 |
|
|
|
|
|
|
Classificazione |
|
AMS 31B05 |
AMS 31B15 |
AMS 31B25 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematics |
Potential theory (Mathematics) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910142716703321 |
|
|
Titolo |
19th Euromicro Conference on Real-Time Systems (ECRTS 2007): Pisa, Italy 04-06 July 2007 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE Computer Society Press, 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xi, 301 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Real-time control |
Real-time data processing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Sommario/riassunto |
|
Annotation The nineteenth Euromicro Conference on Real-Time Systems covers state-of-the-art research and development in real-time computing. The papers in ECRTS 20007 focus on applications, infrastructure and hardware, software technologies, and system design and analysis. The proceedings explores consumer electronics, process control, communication networks, embedded devices, hardware/software co-design, wireless sensor networks, compiler support, component-based approaches, and middleware and distribution technologies; It also looks at programming languages and operating systems, modelling and formal methods, probabilistic analysis for RT systems, quality of service support, and reliability, security and survivability in real-time systems. Contents: Scheduling and Schedulability Analysis; Multiprocessor Scheduling; Control and Energy Management; Wireless Network Scheduling; Timing Analysis; Quality of Service Management; Scheduling in Networks and Multicore Platforms; Fixed-Priority Scheduling. |
|
|
|
|
|
|
|
| |