Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth International Conference on / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2014 |
Descrizione fisica | 1 online resource (441 pages) |
Disciplina | 005 |
Soggetto topico | Computer software - Reliability |
ISBN | 1-4799-5843-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
2014 IEEE Eighth International Conference on Software Security and Reliability-Companion
Software Security and Reliability-Companion |
Record Nr. | UNISA-996279401803316 |
Piscataway, New Jersey : , : IEEE, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth International Conference on / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2014 |
Descrizione fisica | 1 online resource (441 pages) |
Disciplina | 005 |
Soggetto topico | Computer software - Reliability |
ISBN | 1-4799-5843-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
2014 IEEE Eighth International Conference on Software Security and Reliability-Companion
Software Security and Reliability-Companion |
Record Nr. | UNINA-9910135625303321 |
Piscataway, New Jersey : , : IEEE, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software system reliability and security [[electronic resource] /] / edited by Manfred Broy, Johannes Grünbauer and Tony Hoare |
Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2007 |
Descrizione fisica | 1 online resource (428 p.) |
Disciplina | 005.8 |
Altri autori (Persone) |
BroyM. <1949->
GrünbauerJohannes HoareC. A. R <1934-> (Charles Antony Richard) |
Collana | NATO security through science series. Sub-series D, Information and communication security |
Soggetto topico |
Computer software - Reliability
Computer security |
Soggetto genere / forma | Electronic books. |
ISBN |
6610934835
1-280-93483-2 9786610934836 1-4294-9223-6 1-60750-236-4 600-00-0561-X 1-4337-0874-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title page; Preface; Contents; Logics and Automata for Software Model-Checking; Specifying, Relating and Composing Object Oriented Interfaces, Components and Architectures; Using Invariants to Reason About Cryptographic Protocols; Verified Interoperable Implementations of Security Protocols; Compensable Transactions; Automata on Infinite Words and Their Applications in Formal Verification; Practical Principles for Computer Security; Engineering Requirements for System Reliability and Security; Pervasive Verification of Distributed Real-Time Systems
Verification and Synthesis of Reactive ProgramsSecurity, Privacy, Usability and Reliability (SPUR) in Mobile Networked Embedded Systems: The Case of Modern Automobiles; A Verifying Compiler for a Multi-Threaded Object-Oriented Language; Author Index |
Record Nr. | UNINA-9910450859103321 |
Amsterdam ; ; Washington, DC, : IOS Press, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software system reliability and security [[electronic resource] /] / edited by Manfred Broy, Johannes Grünbauer and Tony Hoare |
Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2007 |
Descrizione fisica | 1 online resource (428 p.) |
Disciplina | 005.8 |
Altri autori (Persone) |
BroyM. <1949->
GrünbauerJohannes HoareC. A. R <1934-> (Charles Antony Richard) |
Collana | NATO security through science series. Sub-series D, Information and communication security |
Soggetto topico |
Computer software - Reliability
Computer security |
ISBN |
6610934835
1-280-93483-2 9786610934836 1-4294-9223-6 1-60750-236-4 600-00-0561-X 1-4337-0874-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title page; Preface; Contents; Logics and Automata for Software Model-Checking; Specifying, Relating and Composing Object Oriented Interfaces, Components and Architectures; Using Invariants to Reason About Cryptographic Protocols; Verified Interoperable Implementations of Security Protocols; Compensable Transactions; Automata on Infinite Words and Their Applications in Formal Verification; Practical Principles for Computer Security; Engineering Requirements for System Reliability and Security; Pervasive Verification of Distributed Real-Time Systems
Verification and Synthesis of Reactive ProgramsSecurity, Privacy, Usability and Reliability (SPUR) in Mobile Networked Embedded Systems: The Case of Modern Automobiles; A Verifying Compiler for a Multi-Threaded Object-Oriented Language; Author Index |
Record Nr. | UNINA-9910784255703321 |
Amsterdam ; ; Washington, DC, : IOS Press, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software system reliability and security [[electronic resource] /] / edited by Manfred Broy, Johannes Grünbauer and Tony Hoare |
Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2007 |
Descrizione fisica | 1 online resource (428 p.) |
Disciplina | 005.8 |
Altri autori (Persone) |
BroyM. <1949->
GrünbauerJohannes HoareC. A. R <1934-> (Charles Antony Richard) |
Collana | NATO security through science series. Sub-series D, Information and communication security |
Soggetto topico |
Computer software - Reliability
Computer security |
ISBN |
6610934835
1-280-93483-2 9786610934836 1-4294-9223-6 1-60750-236-4 600-00-0561-X 1-4337-0874-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title page; Preface; Contents; Logics and Automata for Software Model-Checking; Specifying, Relating and Composing Object Oriented Interfaces, Components and Architectures; Using Invariants to Reason About Cryptographic Protocols; Verified Interoperable Implementations of Security Protocols; Compensable Transactions; Automata on Infinite Words and Their Applications in Formal Verification; Practical Principles for Computer Security; Engineering Requirements for System Reliability and Security; Pervasive Verification of Distributed Real-Time Systems
Verification and Synthesis of Reactive ProgramsSecurity, Privacy, Usability and Reliability (SPUR) in Mobile Networked Embedded Systems: The Case of Modern Automobiles; A Verifying Compiler for a Multi-Threaded Object-Oriented Language; Author Index |
Record Nr. | UNINA-9910806173403321 |
Amsterdam ; ; Washington, DC, : IOS Press, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software testing, verification & reliability |
Pubbl/distr/stampa | [Chichester, Sussex, England], : John Wiley & Sons |
Descrizione fisica | 1 online resource |
Disciplina | 005 |
Soggetto topico |
Computer software - Testing
Computer software - Verification Computer software - Reliability Logiciels - Essais Logiciels - Vérification Logiciels - Fiabilité |
Soggetto genere / forma | Periodicals. |
Soggetto non controllato | Computing, mathematics and information systems |
ISSN | 1099-1689 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Software testing, verification and reliability
STVR Software |
Record Nr. | UNISA-996211934303316 |
[Chichester, Sussex, England], : John Wiley & Sons | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software testing, verification & reliability |
Pubbl/distr/stampa | [Chichester, Sussex, England], : John Wiley & Sons |
Descrizione fisica | 1 online resource |
Disciplina | 005 |
Soggetto topico |
Computer software - Testing
Computer software - Verification Computer software - Reliability Logiciels - Essais Logiciels - Vérification Logiciels - Fiabilité |
Soggetto genere / forma | Periodicals. |
Soggetto non controllato | Computing, mathematics and information systems |
ISSN | 1099-1689 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Software testing, verification and reliability
STVR Software |
Record Nr. | UNINA-9910139251003321 |
[Chichester, Sussex, England], : John Wiley & Sons | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
SSIRI 2009 : proceedings : 2009 third IEEE International Conference on Secure Integration and Reliability Improvement : 8-10 July 2009, Shanghai, China |
Pubbl/distr/stampa | New York : , : IEEE, , 2009 |
Descrizione fisica | 1 online resource (xvi, 455 pages) |
Soggetto topico |
Computer software - Reliability
Computer systems Intelligent agents (Computer software) |
ISBN | 1-5090-6870-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996201315003316 |
New York : , : IEEE, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
SSIRI 2009 : proceedings : 2009 third IEEE International Conference on Secure Integration and Reliability Improvement : 8-10 July 2009, Shanghai, China |
Pubbl/distr/stampa | New York : , : IEEE, , 2009 |
Descrizione fisica | 1 online resource (xvi, 455 pages) |
Soggetto topico |
Computer software - Reliability
Computer systems Intelligent agents (Computer software) |
ISBN | 1-5090-6870-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910138919903321 |
New York : , : IEEE, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Systems and software engineering with applications / / Norman F. Schneidewind |
Autore | Schneidewind Norman |
Pubbl/distr/stampa | New York, NY : , : Institute of Electrical and Electronics Engineers, , 2009 |
Descrizione fisica | 1 PDF (xix, 443 pages) : illustrations |
Disciplina | 005.3 |
Soggetto topico |
Computer software - Reliability
Software engineering Systems engineering Engineering & Applied Sciences Computer Science |
ISBN |
1-118-12810-9
1-118-09892-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface xix -- Part 1 : Systems and Software Engineering Models, Methods, Tools, and Standards -- Chapter 1: Quantitative Methods to Ensure the Reliability, Maintainability, and Availability of Computer Hardware and Software 1 -- Chapter 2: Overview of Software Reliability Engineering 45 -- Chapter 3: Statistical Quality Control 63 -- Chapter 4: Risk, Reliability, and Testing Case Study 77 -- Chapter 5: Models for Systems and Software Engineering 103 -- Chapter 6: Software Reliability Metrics 129 -- Chapter 7: Software Reliability and Metrics Tools 153 -- Chapter 8: Integrating Testing with Reliability 187 -- Chapter 9: Architecture, Performance, Reliability, and Availability 211 -- Chapter 10: Internet Fault Tree Analysis for Reliability Estimation 227 -- Chapter 11 : Standard for Software Reliability 245 -- Part 2: Applications of Systems and Software Engineering -- Chapter 12: Simulation and Analytical Models: A Comparison 263 -- Chapter 13: Object-Oriented Methods for Modeling Software Reliability 289 -- Chapter 14: Cyber Security Prediction Models 305 -- Part 3: Systems and Software Engineering in the Workplace -- Chapter 15: Ergonomics and Safety in the Workplace 333 -- Chapter 16: Facility Layout and Location Models 345 -- Chapter 17: Inventory Control 375 -- Part 4: Scheduling and Cost Control in Systems and Software -- Chapter 18: Scheduling 389 -- Chapter 19: Forecasting Models 405 -- Chapter 20: Cost Analysis 415 -- Index 431 |
Record Nr. | UNINA-9910140954203321 |
Schneidewind Norman
![]() |
||
New York, NY : , : Institute of Electrical and Electronics Engineers, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|