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.
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 | ||
| ||