| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910780890203321 |
|
|
Autore |
Mikhail Rana Farid |
|
|
Titolo |
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
|
|
|
|
|
|
|
ISBN |
|
1-282-75747-4 |
9786612757471 |
981-283-729-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (212 p.) |
|
|
|
|
|
|
Collana |
|
Series in machine perception and artificial intelligence ; ; v. 76 |
|
|
|
|
|
|
Altri autori (Persone) |
|
BerndtDonald J |
KandelAbraham |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Testing - Automation |
Database design |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 185-192) and index. |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910887877503321 |
|
|
Titolo |
Climate-Smart and Resilient Food Systems and Security / / edited by Mohamed Behnassi, Abdulmalek A. Al-Shaikh, Riaz Hussain Qureshi, Mirza Barjees Baig, Turki Khalufa A. Faraj |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (571 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Agriculture |
Earth sciences |
Geography |
Climatology |
Water |
Hydrology |
Food science |
Earth and Environmental Sciences |
Climate Sciences |
Food Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Climate Smart and Resilient Food Systems and Security An Introduction -- Bundling Climate Smart Agriculture Systems in Morocco -- Climate Change Challenges and its Preparedness towards Agriculture using Climate Smart Agriculture in Potohar Plateau of Pakistan -- Contribution of Renewable Energy Resources for Food Production and Food Security. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This contributed book, as a part of a series of CERES publications, contributes to the scientific debate about the interlinkages between climate change, environment, and food systems. It highlights the opportunities to accelerate the transformation of such systems within the perspective of sustainable, inclusive, and climate-smart practices. |
|
|
|
|
|
|
|
|
|
|
Most chapters are based on empirical research particularly done in vulnerable and resource-constrained countries from the Global South (such as India, Kenya, Pakistan, South Asia, Sri Lanka, and Vietnam) and provide policy-oriented inputs and recommendations to guide change processes at multiple scales. This project has implications for research, innovation, and policy design. . |
|
|
|
|
|
| |