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 Maximilian Irlbeck, Doron Peled and Alexander Pretschner
| Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2015 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 005.14 |
| Collana | NATO Science for Peace and Security Series - D: Information and Communication Security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| ISBN | 1-61499-495-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing""
""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index"" |
| Record Nr. | UNINA-9910826845203321 |
| Amsterdam, Netherlands : , : IOS Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design for six sigma / / Samuel Keene
| Design for six sigma / / Samuel Keene |
| Autore | Keene Samuel |
| Pubbl/distr/stampa | [United States] : , : IEEE, , 2007 |
| Descrizione fisica | 1 online resource (1 video file, 60 mins) : color illustrations |
| Disciplina | 005.14 |
| Altri autori (Persone) |
SalemMohamed A
El-HadidiMahmoud T |
| Soggetto topico | Software measurement |
| ISBN | 1-5090-8927-6 |
| Formato | Videoregistrazioni  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910144963303321 |
Keene Samuel
|
||
| [United States] : , : IEEE, , 2007 | ||
| Videoregistrazioni | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design for six sigma / / Samuel Keene
| Design for six sigma / / Samuel Keene |
| Autore | Keene Samuel |
| Pubbl/distr/stampa | [United States] : , : IEEE, , 2007 |
| Descrizione fisica | 1 online resource (1 video file, 60 mins) : color illustrations |
| Disciplina | 005.14 |
| Altri autori (Persone) |
SalemMohamed A
El-HadidiMahmoud T |
| Soggetto topico | Software measurement |
| ISBN | 1-5090-8927-6 |
| Formato | Videoregistrazioni |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996215958603316 |
|
Keene Samuel
|
||
| [United States] : , : IEEE, , 2007 | ||
| Videoregistrazioni | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Effective methods for software testing / William E. Perry
| Effective methods for software testing / William E. Perry |
| Autore | Perry, William E. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York [etc.], : Wiley, c2000 |
| Descrizione fisica | XX, 812 p. ; 25 cm |
| Disciplina |
005.1
005.14 |
| Collana | Wiley computer publishing |
| Soggetto topico |
Programmi per elaboratori - Verifica
Elaboratori elettronici - Programmi - Verifica |
| ISBN | 047135418X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0402128 |
|
Perry, William E.
|
||
| New York [etc.], : Wiley, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Embedded Software Verification and Debugging [[electronic resource] /] / edited by Djones Lettnin, Markus Winterholer
| Embedded Software Verification and Debugging [[electronic resource] /] / edited by Djones Lettnin, Markus Winterholer |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVI, 208 p. 80 illus., 62 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Embedded Systems |
| Soggetto topico |
Electronic circuits
Microprocessors Electronics Microelectronics Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation |
| ISBN | 1-4614-2266-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Overview about Debugging and Verification Techniques for Embedded Software -- Embedded Software Debug in Simulation and Emulation Environments for Interface IP -- The Use of Dynamic Temporal Assertions for Debugging -- Automated Reproduction and Analysis of Bugs in Embedded Software -- Model-Based Debugging of Embedded Software Systems -- A Mechanism for Monitoring Driver-Device Communication -- Model Checking Embedded C Software using k-Induction and Invariants -- Scalable and Optimized Hybrid Verification of Embedded Software -- . |
| Record Nr. | UNINA-9910254333503321 |
| New York, NY : , : Springer New York : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essential spectrum-based fault localization / / Xiaoyuan Xie, Baowen Xu
| Essential spectrum-based fault localization / / Xiaoyuan Xie, Baowen Xu |
| Autore | Xie Xiaoyuan |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XII, 172 p. 17 illus.) |
| Disciplina | 005.14 |
| Soggetto topico |
Debugging in computer science
Computer software - Testing Software engineering |
| ISBN | 981-336-179-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization -- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas -- Chapter 4. On the Maximality of Spectrum-based Fault Localization -- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization -- Chapter 6. Practicality of the Theoretical Frameworks -- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization -- Chapter 8. Spectrum-based Fault Localization for Multiple Faults -- Chapter 9. Conclusion. |
| Record Nr. | UNINA-9910482958703321 |
|
Xie Xiaoyuan
|
||
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essential spectrum-based fault localization / / Xiaoyuan Xie, Baowen Xu
| Essential spectrum-based fault localization / / Xiaoyuan Xie, Baowen Xu |
| Autore | Xie Xiaoyuan |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XII, 172 p. 17 illus.) |
| Disciplina | 005.14 |
| Soggetto topico |
Debugging in computer science
Computer software - Testing Software engineering |
| ISBN | 981-336-179-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization -- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas -- Chapter 4. On the Maximality of Spectrum-based Fault Localization -- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization -- Chapter 6. Practicality of the Theoretical Frameworks -- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization -- Chapter 8. Spectrum-based Fault Localization for Multiple Faults -- Chapter 9. Conclusion. |
| Record Nr. | UNISA-996464486203316 |
|
Xie Xiaoyuan
|
||
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Function point analysis / J. Brian Dreger
| Function point analysis / J. Brian Dreger |
| Autore | Dreger, J. Brian <1951- > |
| Pubbl/distr/stampa | Englewood Cliffs (NJ), : Prentice Hall, c1989 |
| Descrizione fisica | XVIII, 185 p. : ill. ; 24 cm |
| Disciplina |
005.1
005.14 |
| Collana | Prentice hall advanced reference series |
| Soggetto topico | Programmi per elaboratori - Verifica |
| ISBN | 0133323218 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0403285 |
|
Dreger, J. Brian <1951- >
|
||
| Englewood Cliffs (NJ), : Prentice Hall, c1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Future Internet Testing [[electronic resource] ] : First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers / / edited by Tanja E.J. Vos, Kiran Lakhotia, Sebastian Bauersfeld
| Future Internet Testing [[electronic resource] ] : First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers / / edited by Tanja E.J. Vos, Kiran Lakhotia, Sebastian Bauersfeld |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (IX, 111 p. 28 illus.) |
| Disciplina | 005.14 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Software engineering Management information systems Computer science Information Systems Applications (incl. Internet) Software Engineering Management of Computing and Information Systems |
| ISBN | 3-319-07785-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The FITTEST Tool Suite for Testing Future Internet Applications -- Assessing the Impact of Firewalls and Database Proxies on SQL Injection Testing -- Logging to Facilitate Combinatorial System Testing -- N-Gram Based Test Sequence Generation from Finite State Models -- Unit Testing Tool Competitions – Lessons Learned -- EvoSuite at the Second Unit Testing Tool Competition -- T3, a Combinator-Based Random Testing Tool for Java: Benchmarking. |
| Record Nr. | UNISA-996199996003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Future Internet Testing [[electronic resource] ] : First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers / / edited by Tanja E.J. Vos, Kiran Lakhotia, Sebastian Bauersfeld
| Future Internet Testing [[electronic resource] ] : First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers / / edited by Tanja E.J. Vos, Kiran Lakhotia, Sebastian Bauersfeld |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (IX, 111 p. 28 illus.) |
| Disciplina | 005.14 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Software engineering Management information systems Computer science Information Systems Applications (incl. Internet) Software Engineering Management of Computing and Information Systems |
| ISBN | 3-319-07785-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The FITTEST Tool Suite for Testing Future Internet Applications -- Assessing the Impact of Firewalls and Database Proxies on SQL Injection Testing -- Logging to Facilitate Combinatorial System Testing -- N-Gram Based Test Sequence Generation from Finite State Models -- Unit Testing Tool Competitions – Lessons Learned -- EvoSuite at the Second Unit Testing Tool Competition -- T3, a Combinator-Based Random Testing Tool for Java: Benchmarking. |
| Record Nr. | UNINA-9910483417603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
