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.
Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin
| Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley, , [2018] |
| Descrizione fisica | 1 online resource (573 pages) |
| Disciplina | 005.1/4 |
| Soggetto topico | Computer software - Testing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-5231-2157-2
1-119-35705-5 1-119-48736-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910467001903321 |
| Hoboken, NJ : , : Wiley, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin
| Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley, , [2018] |
| Descrizione fisica | 1 online resource (573 pages) |
| Disciplina | 005.1/4 |
| Soggetto topico | Computer software - Testing |
| ISBN |
1-119-48740-4
1-5231-2157-2 1-119-35705-5 1-119-48736-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910542029203321 |
| Hoboken, NJ : , : Wiley, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin
| Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley, , [2018] |
| Descrizione fisica | 1 online resource (573 pages) |
| Disciplina | 005.1/4 |
| Soggetto topico | Computer software - Testing |
| ISBN |
1-119-48740-4
1-5231-2157-2 1-119-35705-5 1-119-48736-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910825267603321 |
| Hoboken, NJ : , : Wiley, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The art of software testing / / Glenford J. Myers, Tom Badgett, Corey Sandler
| The art of software testing / / Glenford J. Myers, Tom Badgett, Corey Sandler |
| Autore | Myers Glenford J. <1946-> |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Hoboken, N.J. : , : John Wiley & Sons, , [2012] |
| Descrizione fisica | XI, 240 p. : gráf. ; ; 24 cm |
| Disciplina |
005.1/4
005.14 |
| Soggetto topico | Programas y sistemas de programación - Ensayos |
| ISBN |
1-5231-1836-9
1-119-20248-5 1-283-28121-X 9786613281210 1-118-13313-7 |
| Classificazione |
DAT 330f
ST 233 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A self-assessment test -- The psychology and economics of software testing -- Program inspections, walkthroughs, and reviews -- Test-case design |
| Record Nr. | UNINA-9910139602403321 |
Myers Glenford J. <1946->
|
||
| Hoboken, N.J. : , : John Wiley & Sons, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The art of software testing / / Glenford J. Myers, Tom Badgett, Corey Sandler
| The art of software testing / / Glenford J. Myers, Tom Badgett, Corey Sandler |
| Autore | Myers Glenford J. <1946-> |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Hoboken, N.J., : John Wiley & Sons, 2012 |
| Descrizione fisica | XI, 240 p. : gráf. ; ; 24 cm |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
SandlerCorey <1950->
BadgettTom |
| Soggetto topico |
Computer software - Testing
Debugging in computer science |
| ISBN |
1-5231-1836-9
1-119-20248-5 1-283-28121-X 9786613281210 1-118-13313-7 |
| Classificazione |
DAT 330f
ST 233 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A self-assessment test -- The psychology and economics of software testing -- Program inspections, walkthroughs, and reviews -- Test-case design. |
| Record Nr. | UNINA-9910813224703321 |
|
Myers Glenford J. <1946->
|
||
| Hoboken, N.J., : John Wiley & Sons, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated and Algorithmic Debugging [[electronic resource] ] : First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings / / edited by Peter A. Fritzson
| Automated and Algorithmic Debugging [[electronic resource] ] : First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings / / edited by Peter A. Fritzson |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (VIII, 367 p.) |
| Disciplina | 005.1/4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Software engineering Computer Engineering Software Engineering Software Engineering/Programming and Operating Systems |
| ISBN | 3-540-48141-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A pragmatic survey of automated debugging -- Usability criteria for automated debugging systems -- The notions of symptom and error in declarative diagnosis of logic programs -- Debugging by diagnosing assumptions -- Debugging logic programs using specifications -- Model-based diagnosis meets error diagnosis in logic programs -- Towards declarative debugging of concurrent constraint programs -- Hierarchy in testing distributed programs -- Lazy algorithmic debugging: Ideas for practical implementation -- The location of errors in functional programs -- A generalised query minimisation for program debugging -- What's in a trace: The box model revisited -- Declarative debugging of abstract data types in Gödel -- Slicing programs with arbitrary control-flow -- Slicing concurrent programs -- Animators for generated programming environments -- Visualization as debugging: Understanding/debugging the Warren Abstract Machine -- Graphical user interfaces for algorithmic debugging -- Towards a plan calculus based intelligent debugging system -- Trace-based debugging -- Identifying faulty modifications in software maintenance -- The application of formal specifications to software documentation and debugging -- Automatic diagnosis of VLSI digital circuits using algorithmic debugging. |
| Record Nr. | UNISA-996466062503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
| Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
| Autore | Mikhail Rana Farid |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BerndtDonald J
KandelAbraham |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computer software - Testing - Automation
Database design |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-75747-4
9786612757471 981-283-729-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index |
| Record Nr. | UNINA-9910456152703321 |
|
Mikhail Rana Farid
|
||
| Singapore ; ; Hackensack, NJ, : World Scientific, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
| Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
| Autore | Mikhail Rana Farid |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BerndtDonald J
KandelAbraham |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computer software - Testing - Automation
Database design |
| ISBN |
1-282-75747-4
9786612757471 981-283-729-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index |
| Record Nr. | UNINA-9910780890203321 |
|
Mikhail Rana Farid
|
||
| Singapore ; ; Hackensack, NJ, : World Scientific, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated database applications testing : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
| Automated database applications testing : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
| Autore | Mikhail Rana Farid |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BerndtDonald J
KandelAbraham |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computer software - Testing - Automation
Database design |
| ISBN |
1-282-75747-4
9786612757471 981-283-729-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index |
| Record Nr. | UNINA-9910816637103321 |
|
Mikhail Rana Farid
|
||
| Singapore ; ; Hackensack, NJ, : World Scientific, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / / Didier Bert (ed.)
| B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / / Didier Bert (ed.) |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 005.1/4 |
| Altri autori (Persone) | BertDidier |
| Soggetto topico |
B method (Computer science) - Congresses
Debugging in computer science - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466111703316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
