Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann
| Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2017 |
| Descrizione fisica | 1 online resource (256 pages) |
| Disciplina | 005.1 |
| Collana | NATO Science for Peace and Security Series-D: Information and Communication Security |
| Soggetto topico |
Software engineering
Computer software - Reliability |
| ISBN | 1-61499-810-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910818306103321 |
| Amsterdam, Netherlands : , : IOS Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Developing safety-critical software : a practical guide for aviation software and do-178c compliance / / by Leanna Rierson
| Developing safety-critical software : a practical guide for aviation software and do-178c compliance / / by Leanna Rierson |
| Autore | Rierson Leanna |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , [2017] |
| Descrizione fisica | 1 online resource (596 p.) |
| Disciplina | 629.1300285/5 |
| Soggetto topico |
Aeronautics - Data processing
Aeronautics - Safety measures Aeronautics - Safety regulations - United States Computer software - Reliability Computer software - Development |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-315-21816-X
1-4398-1369-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; Back Cover |
| Record Nr. | UNINA-9910463563103321 |
Rierson Leanna
|
||
| Boca Raton, FL : , : CRC Press, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Developing safety-critical software : a practical guide for aviation software and do-178c compliance / / by Leanna Rierson
| Developing safety-critical software : a practical guide for aviation software and do-178c compliance / / by Leanna Rierson |
| Autore | Rierson Leanna |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , [2017] |
| Descrizione fisica | 1 online resource (596 p.) |
| Soggetto topico |
Aeronautics - Data processing
Aeronautics - Safety measures Aeronautics - Safety regulations - United States Computer software - Reliability Computer software - Development |
| ISBN |
1-351-83405-3
1-315-21816-X 1-4398-1369-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; Back Cover |
| Record Nr. | UNINA-9910788184103321 |
|
Rierson Leanna
|
||
| Boca Raton, FL : , : CRC Press, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Developing safety-critical software : a practical guide for aviation software and do-178c compliance / / by Leanna Rierson
| Developing safety-critical software : a practical guide for aviation software and do-178c compliance / / by Leanna Rierson |
| Autore | Rierson Leanna |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, , [2017] |
| Descrizione fisica | 1 online resource (596 p.) |
| Soggetto topico |
Aeronautics - Data processing
Aeronautics - Safety measures Aeronautics - Safety regulations - United States Computer software - Reliability Computer software - Development |
| ISBN |
1-351-83405-3
1-315-21816-X 1-4398-1369-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; Back Cover |
| Record Nr. | UNINA-9910818945303321 |
|
Rierson Leanna
|
||
| Boca Raton, FL : , : CRC Press, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development of a statistical testing approach for quantifying safety-related digital system on demand failure probability / / prepared by Tsong-Lun Chu [and nine others]
| Development of a statistical testing approach for quantifying safety-related digital system on demand failure probability / / prepared by Tsong-Lun Chu [and nine others] |
| Autore | Chu Tsong-Lun |
| Pubbl/distr/stampa | Washington, DC : , : United States Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, , May 2017 |
| Descrizione fisica | 1 online resource (various pagings) : illustrations |
| Soggetto topico |
Nuclear power plants - Safety measures
Boiling water reactors - Analysis - Computer programs Nuclear power plants - Computer programs Computer software - Reliability Software failures |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910705784403321 |
|
Chu Tsong-Lun
|
||
| Washington, DC : , : United States Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, , May 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development of quantitative software reliability models for digital protection systems of nuclear power plants [[electronic resource] ] : draft report for comments / / Tsong-Lun Chu ... [and others]
| Development of quantitative software reliability models for digital protection systems of nuclear power plants [[electronic resource] ] : draft report for comments / / Tsong-Lun Chu ... [and others] |
| Autore | Chu Tsong-Lun |
| Pubbl/distr/stampa | Washington, DC : , : U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, , [2011] |
| Descrizione fisica | 1 online resource (112 unnumbered pages) : illustrations |
| Altri autori (Persone) | ChuTsong-Lun |
| Soggetto topico |
Nuclear power plants - Safety measures
Computer software - Reliability Software failures |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Development of quantitative software reliability models for digital protection systems of nuclear power plants |
| Record Nr. | UNINA-9910701499003321 |
|
Chu Tsong-Lun
|
||
| Washington, DC : , : U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Flexible, reliable software : using patterns and agile development / / by Henrik B. Christensen
| Flexible, reliable software : using patterns and agile development / / by Henrik B. Christensen |
| Autore | Christensen Henrik B. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 |
| Descrizione fisica | 1 online resource (523 p.) |
| Disciplina | 005.1 |
| Collana | Chapman & Hall/CRC Textbooks in Computing |
| Soggetto topico |
Computer software - Reliability
Computer software - Development |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-429-19601-6
1-4398-8272-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; Contents; Foreword; Preface; Iteration 1: Basic Terminology; Chapter 1: Agile Development Processes; Chapter 2: Reliability and Testing; Chapter 3: Flexibility and Maintainability; Iteration 2: The Programming Process; Chapter 4: Pay Station Case; Chapter 5: Test-Driven Development; Chapter 6: Build Management; Iteration 3: The First Design Pattern; Chapter 7: Deriving Strategy Pattern; Chapter 8: Refactoring and Integration Testing; Chapter 9: Design Patterns - Part I; Chapter 10: Coupling and Cohesion; Iteration 4: Variability Management and 3-1-2
Chapter 11: Deriving State PatternChapter 12: Test Stubs; Chapter 13: Deriving Abstract Factory; Chapter 14: Pattern Fragility; Iteration 5: Compositional Design; Chapter 15: Roles and Responsibilities; Chapter 16: Compositional Design Principles; Chapter 17: Multi-Dimensional Variance; Iteration 6: A Design Pattern Catalogue; Chapter 19: Facade; Chapter 20: Decorator; Chapter 21: Adapter; Chapter 22: Builder; Chapter 23: Command; Chapter 24: Iterator; Chapter 25: Proxy; Chapter 26:Composite; Chapter 27: Null Object; Chapter 28: Observer; Chapter 29: Model-View-Controller Iteration 7: FrameworksChapter 30: Introducing MiniDraw; Chapter 31: Template Method; Chapter 32: Framework Theory; Iteration 8: Outlook; Chapter 34: Systematic Testing; Part 9: Projects; Chapter 35: The HotGammon Project; Bibliography; Back cover |
| Record Nr. | UNINA-9910460738603321 |
|
Christensen Henrik B.
|
||
| Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Flexible, reliable software : using patterns and agile development / / by Henrik B. Christensen
| Flexible, reliable software : using patterns and agile development / / by Henrik B. Christensen |
| Autore | Christensen Henrik B. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 |
| Descrizione fisica | 1 online resource (523 p.) |
| Disciplina | 005.1 |
| Collana | Chapman & Hall/CRC Textbooks in Computing |
| Soggetto topico |
Computer software - Reliability
Computer software - Development |
| ISBN |
0-429-19601-6
1-4398-8272-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; Contents; Foreword; Preface; Iteration 1: Basic Terminology; Chapter 1: Agile Development Processes; Chapter 2: Reliability and Testing; Chapter 3: Flexibility and Maintainability; Iteration 2: The Programming Process; Chapter 4: Pay Station Case; Chapter 5: Test-Driven Development; Chapter 6: Build Management; Iteration 3: The First Design Pattern; Chapter 7: Deriving Strategy Pattern; Chapter 8: Refactoring and Integration Testing; Chapter 9: Design Patterns - Part I; Chapter 10: Coupling and Cohesion; Iteration 4: Variability Management and 3-1-2
Chapter 11: Deriving State PatternChapter 12: Test Stubs; Chapter 13: Deriving Abstract Factory; Chapter 14: Pattern Fragility; Iteration 5: Compositional Design; Chapter 15: Roles and Responsibilities; Chapter 16: Compositional Design Principles; Chapter 17: Multi-Dimensional Variance; Iteration 6: A Design Pattern Catalogue; Chapter 19: Facade; Chapter 20: Decorator; Chapter 21: Adapter; Chapter 22: Builder; Chapter 23: Command; Chapter 24: Iterator; Chapter 25: Proxy; Chapter 26:Composite; Chapter 27: Null Object; Chapter 28: Observer; Chapter 29: Model-View-Controller Iteration 7: FrameworksChapter 30: Introducing MiniDraw; Chapter 31: Template Method; Chapter 32: Framework Theory; Iteration 8: Outlook; Chapter 34: Systematic Testing; Part 9: Projects; Chapter 35: The HotGammon Project; Bibliography; Back cover |
| Record Nr. | UNINA-9910797026703321 |
|
Christensen Henrik B.
|
||
| Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Flexible, reliable software : using patterns and agile development / / by Henrik B. Christensen
| Flexible, reliable software : using patterns and agile development / / by Henrik B. Christensen |
| Autore | Christensen Henrik B. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 |
| Descrizione fisica | 1 online resource (523 p.) |
| Disciplina | 005.1 |
| Collana | Chapman & Hall/CRC Textbooks in Computing |
| Soggetto topico |
Computer software - Reliability
Computer software - Development |
| ISBN |
0-429-19601-6
1-4398-8272-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; Contents; Foreword; Preface; Iteration 1: Basic Terminology; Chapter 1: Agile Development Processes; Chapter 2: Reliability and Testing; Chapter 3: Flexibility and Maintainability; Iteration 2: The Programming Process; Chapter 4: Pay Station Case; Chapter 5: Test-Driven Development; Chapter 6: Build Management; Iteration 3: The First Design Pattern; Chapter 7: Deriving Strategy Pattern; Chapter 8: Refactoring and Integration Testing; Chapter 9: Design Patterns - Part I; Chapter 10: Coupling and Cohesion; Iteration 4: Variability Management and 3-1-2
Chapter 11: Deriving State PatternChapter 12: Test Stubs; Chapter 13: Deriving Abstract Factory; Chapter 14: Pattern Fragility; Iteration 5: Compositional Design; Chapter 15: Roles and Responsibilities; Chapter 16: Compositional Design Principles; Chapter 17: Multi-Dimensional Variance; Iteration 6: A Design Pattern Catalogue; Chapter 19: Facade; Chapter 20: Decorator; Chapter 21: Adapter; Chapter 22: Builder; Chapter 23: Command; Chapter 24: Iterator; Chapter 25: Proxy; Chapter 26:Composite; Chapter 27: Null Object; Chapter 28: Observer; Chapter 29: Model-View-Controller Iteration 7: FrameworksChapter 30: Introducing MiniDraw; Chapter 31: Template Method; Chapter 32: Framework Theory; Iteration 8: Outlook; Chapter 34: Systematic Testing; Part 9: Projects; Chapter 35: The HotGammon Project; Bibliography; Back cover |
| Record Nr. | UNINA-9910800170803321 |
|
Christensen Henrik B.
|
||
| Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Flexible, reliable software : using patterns and agile development / / by Henrik B. Christensen
| Flexible, reliable software : using patterns and agile development / / by Henrik B. Christensen |
| Autore | Christensen Henrik B. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 |
| Descrizione fisica | 1 online resource (523 p.) |
| Disciplina | 005.1 |
| Collana | Chapman & Hall/CRC Textbooks in Computing |
| Soggetto topico |
Computer software - Reliability
Computer software - Development |
| ISBN |
0-429-19601-6
1-4398-8272-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; Contents; Foreword; Preface; Iteration 1: Basic Terminology; Chapter 1: Agile Development Processes; Chapter 2: Reliability and Testing; Chapter 3: Flexibility and Maintainability; Iteration 2: The Programming Process; Chapter 4: Pay Station Case; Chapter 5: Test-Driven Development; Chapter 6: Build Management; Iteration 3: The First Design Pattern; Chapter 7: Deriving Strategy Pattern; Chapter 8: Refactoring and Integration Testing; Chapter 9: Design Patterns - Part I; Chapter 10: Coupling and Cohesion; Iteration 4: Variability Management and 3-1-2
Chapter 11: Deriving State PatternChapter 12: Test Stubs; Chapter 13: Deriving Abstract Factory; Chapter 14: Pattern Fragility; Iteration 5: Compositional Design; Chapter 15: Roles and Responsibilities; Chapter 16: Compositional Design Principles; Chapter 17: Multi-Dimensional Variance; Iteration 6: A Design Pattern Catalogue; Chapter 19: Facade; Chapter 20: Decorator; Chapter 21: Adapter; Chapter 22: Builder; Chapter 23: Command; Chapter 24: Iterator; Chapter 25: Proxy; Chapter 26:Composite; Chapter 27: Null Object; Chapter 28: Observer; Chapter 29: Model-View-Controller Iteration 7: FrameworksChapter 30: Introducing MiniDraw; Chapter 31: Template Method; Chapter 32: Framework Theory; Iteration 8: Outlook; Chapter 34: Systematic Testing; Part 9: Projects; Chapter 35: The HotGammon Project; Bibliography; Back cover |
| Record Nr. | UNINA-9910827816403321 |
|
Christensen Henrik B.
|
||
| Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
