Info
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [[electronic resource] ] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
| Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [[electronic resource] ] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (363 pages) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| Soggetto non controllato |
Computer Programming
Computer Software Computers |
| ISBN |
9783031314766
9783031314759 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Strategies in Conditional Narrowing Modulo SMT Plus Axioms -- Optimizing Maude Programs via Program Specialization -- Automated Synthesis of Software Contracts with KindSpec -- Abstract Interpretation of Graphs -- Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming -- Grammar Induction for Under-resourced Languages: The Case of Ch'ol -- Answer Set Programming Made Easy -- The role of Abstraction in Model Checking -- Justifications and a Reconstruction of Parity Game Solving Algorithms -- SMT-based Test-Case Generation and Validation for Programs with Complex Specifications -- Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation -- Modularization of Logic Programs -- Proof-theoretic Foundations of Normal Logic Programs -- A Discourse on Guessing and Reasoning -- Reversible Debugging in Logic Programming -- Towards Systematically Engineering Autonomous Systems using Reinforcement Learning and Planning -- Strand Spaces with Choice via a Process Algebra Semantics. |
| Record Nr. | UNISA-996534466503316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial intelligence and software testing : building systems you can trust / / Adam Leon Smith [and five others]
| Artificial intelligence and software testing : building systems you can trust / / Adam Leon Smith [and five others] |
| Autore | Smith Adam Leon |
| Pubbl/distr/stampa | Swindon, UK : , : BCS Learning and Development Ltd, , [2022] |
| Descrizione fisica | 1 online resource (194 pages) |
| Disciplina | 006.3 |
| Soggetto topico | Artificial intelligence |
| Soggetto non controllato |
Computer Software
Artificial Intelligence Machine Learning Computers |
| ISBN | 1-78017-578-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover -- Half-Title Page -- Bcs, The Chartered Institute For It -- Title Page -- Copyright Page -- Contents -- List of figures and tables -- About the authors -- Abbreviations -- Glossary -- Preface -- 1. Introduction -- The challenges of testing AI -- Summary -- 2. AI Trustworthiness and Quality -- Trustworthiness -- AI quality problems -- A model for measuring AI quality -- Regulation of AI quality -- Summary -- 3. Quality and Bias -- Consequences of the bias definition -- Bias in everyday life -- Unintended bias -- Simpson's paradox -- Summary -- 4. Testing Machine Learning Systems -- The role of a tester -- The nature of ML -- Testing metrics -- Testing techniques -- Testing AI-specific characteristics -- Non-deterministic systems -- Transparency, explainability and interpretability -- Summary -- 5. AI-based Test Automation -- Quality assurance -- Testing versus test automation -- AI in unit test automation -- AI in UI level test automation -- Applying AI to other tasks in software quality assurance -- Evaluating tool support for testing -- Tasks that will likely remain challenging for AI -- Summary -- 6. Ontologies for Software Testing -- About ontologies -- Using ontologies for software testing -- Trends in ontology-driven software testing -- Summary -- 7. Shifting Right into the Metaverse with Digital Twin Testing -- The shift-right approach to testing -- Cognitive engineering principles -- Digital twin concept in shifting right -- Case study: helping the community stay safe during the pandemic -- Case study: Smart City Data Exchange - testing in the metaverse -- Shifting right into the metaverse -- Evolution, over revolution -- Summary -- References -- Index. |
| Record Nr. | UNINA-9910795666703321 |
Smith Adam Leon
|
||
| Swindon, UK : , : BCS Learning and Development Ltd, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial intelligence and software testing : building systems you can trust / / Adam Leon Smith [and five others]
| Artificial intelligence and software testing : building systems you can trust / / Adam Leon Smith [and five others] |
| Autore | Smith Adam Leon |
| Pubbl/distr/stampa | Swindon, UK : , : BCS Learning and Development Ltd, , [2022] |
| Descrizione fisica | 1 online resource (194 pages) |
| Disciplina | 006.3 |
| Soggetto topico | Artificial intelligence |
| Soggetto non controllato |
Computer Software
Artificial Intelligence Machine Learning Computers |
| ISBN | 1-78017-578-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover -- Half-Title Page -- Bcs, The Chartered Institute For It -- Title Page -- Copyright Page -- Contents -- List of figures and tables -- About the authors -- Abbreviations -- Glossary -- Preface -- 1. Introduction -- The challenges of testing AI -- Summary -- 2. AI Trustworthiness and Quality -- Trustworthiness -- AI quality problems -- A model for measuring AI quality -- Regulation of AI quality -- Summary -- 3. Quality and Bias -- Consequences of the bias definition -- Bias in everyday life -- Unintended bias -- Simpson's paradox -- Summary -- 4. Testing Machine Learning Systems -- The role of a tester -- The nature of ML -- Testing metrics -- Testing techniques -- Testing AI-specific characteristics -- Non-deterministic systems -- Transparency, explainability and interpretability -- Summary -- 5. AI-based Test Automation -- Quality assurance -- Testing versus test automation -- AI in unit test automation -- AI in UI level test automation -- Applying AI to other tasks in software quality assurance -- Evaluating tool support for testing -- Tasks that will likely remain challenging for AI -- Summary -- 6. Ontologies for Software Testing -- About ontologies -- Using ontologies for software testing -- Trends in ontology-driven software testing -- Summary -- 7. Shifting Right into the Metaverse with Digital Twin Testing -- The shift-right approach to testing -- Cognitive engineering principles -- Digital twin concept in shifting right -- Case study: helping the community stay safe during the pandemic -- Case study: Smart City Data Exchange - testing in the metaverse -- Shifting right into the metaverse -- Evolution, over revolution -- Summary -- References -- Index. |
| Record Nr. | UNINA-9910808154903321 |
|
Smith Adam Leon
|
||
| Swindon, UK : , : BCS Learning and Development Ltd, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence Applications and Innovations. AIAI 2023 IFIP WG 12.5 International Workshops [[electronic resource] ] : MHDW 2023, 5G-PINE 2023, ΑΙBMG 2023, and VAA-CP-EB 2023, León, Spain, June 14–17, 2023, Proceedings / / edited by Ilias Maglogiannis, Lazaros Iliadis, Antonios Papaleonidas, Ioannis Chochliouros
| Artificial Intelligence Applications and Innovations. AIAI 2023 IFIP WG 12.5 International Workshops [[electronic resource] ] : MHDW 2023, 5G-PINE 2023, ΑΙBMG 2023, and VAA-CP-EB 2023, León, Spain, June 14–17, 2023, Proceedings / / edited by Ilias Maglogiannis, Lazaros Iliadis, Antonios Papaleonidas, Ioannis Chochliouros |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (490 pages) |
| Disciplina | 006.3 |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Software engineering Social sciences - Data processing Artificial Intelligence Computer Engineering and Networks Computer Communication Networks Software Engineering Computer Application in Social and Behavioral Sciences |
| Soggetto non controllato |
Computer Networks
Computer Software Artificial Intelligence Computers |
| ISBN | 3-031-34171-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 8th Workshop on 5G–Putting Intelligence to the Network Edge (5G-PINE 2023) -- Second Workshop on AI in Energy, Buildings and Micro-Grids (AIBMG 2023) -- 12th Workshop on Mining Humanistic Data (MHDW 2023) -- First Workshop on Visual Analytics Approaches for Complex Problems in Engineering and Biomedicine" (VAA-CP-EB 2023). |
| Record Nr. | UNISA-996546834503316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A common case study for aspect-oriented modeling [[electronic resource] /] / Shmuel Katz, Mira Mezini, Joerg Kienzle (eds.)
| A common case study for aspect-oriented modeling [[electronic resource] /] / Shmuel Katz, Mira Mezini, Joerg Kienzle (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XV, 423 p. 234 illus.) |
| Disciplina | 005.1 |
| Collana |
Lecture notes in computer science
Transactions on aspect-oriented software development |
| Soggetto topico |
Computer software - Development
Object-oriented programming (Computer science) Aspect-oriented programming |
| Soggetto non controllato |
Object-Oriented Programming (Computer Science)
Computer Software Aspect-Oriented Programming Computers |
| ISBN |
1-280-38943-5
9786613567352 3-642-16086-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Crisis Management Systems: A Case Study for Aspect-Oriented Modeling -- Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study -- Relating Feature Models to Other Models of a Software Product Line -- Aspect-Oriented Development Using Protocol Modeling -- Using VCL as an Aspect-Oriented Approach to Requirements Modelling -- Workflow Design Using Fragment Composition -- Modeling the Car Crash Crisis Management System Using HiLA -- Aspect-Oriented Design with Reusable Aspect Models -- A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models -- Discovery of Stable Abstractions for Aspect-Oriented Composition in the Car Crash Management Domain. |
| Record Nr. | UNISA-996465981403316 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Foundations of Software Engineering : A Practical Guide to Essentials / / Gerard O'Regan
| Mathematical Foundations of Software Engineering : A Practical Guide to Essentials / / Gerard O'Regan |
| Autore | O'Regan Gerard |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (XXXVII, 519 p. 152 illus., 96 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Texts in Computer Science Series |
| Soggetto topico |
Software engineering
Software engineering - Mathematics |
| Soggetto non controllato |
Computer Software
Computer Programming Computers |
| ISBN | 3-031-26212-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Fundamentals of Software Engineering -- 2. Software Engineering Mathematics -- 3. Mathematical Prerequisites -- 4. Introduction to Algorithms -- 5 -- Algebra -- 6. Mathematical Induction and Recursion -- 7. Graph Theory -- 8. Sequences, Series and Permutations and Combinations -- 9. A Short History of Logic -- 10. Propositional and Predicate Logic -- 11. Advanced Topics in Logic -- 12. Language Theory and Semantics -- 13. Automata Theory -- 14. Computability and Decidability -- 15. Software Reliability and Dependability. |
| Record Nr. | UNISA-996547962803316 |
|
O'Regan Gerard
|
||
| Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Quality: Higher Software Quality through Zero Waste Development [[electronic resource] ] : 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings / / edited by Daniel Mendez, Dietmar Winkler, Johannes Kross, Stefan Biffl, Johannes Bergsmann
| Software Quality: Higher Software Quality through Zero Waste Development [[electronic resource] ] : 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings / / edited by Daniel Mendez, Dietmar Winkler, Johannes Kross, Stefan Biffl, Johannes Bergsmann |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (139 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Software engineering
Software engineering - Management Artificial intelligence Software Engineering Software Management Artificial Intelligence |
| Soggetto non controllato |
Artificial Intelligence
Computer Software Computers |
| ISBN |
9783031314889
9783031314872 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Social Aspects in Software Engineering -- Conflicting Interests in the Hybrid Workplace: Five Perspectives to Consider -- Requirements Engineering -- Requirements Quality vs. Process and Stakeholders’ Well-being: A Case of a Nordic Bank -- Software Defect Prediction -- Outlier Mining Techniques for Software Defect Prediction -- Software Testing -- Applying a Genetic Algorithm for Test Suite Reduction in Industry -- Software Metrics -- A catalog of source code metrics – a tertiary study -- Software Quality Assurance -- Software quality assessment: defect life cycle, software defect profile, its types and misalignments -- Comparing Anomaly Detection and Classification Algorithms: A Case Study in Two Domain. |
| Record Nr. | UNISA-996547964103316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Aspect-Oriented Software Development V [[electronic resource] /] / Awais Rashid, Harold Ossher (eds.)
| Transactions on Aspect-Oriented Software Development V [[electronic resource] /] / Awais Rashid, Harold Ossher (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (IX, 265 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
RashidAwais
OssherHarold |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Aspect-oriented programming
Computer software - Development |
| Soggetto non controllato |
Computer Software
Object-Oriented Programming (Computer Science) Aspect-Oriented Programming Computers |
| ISBN | 3-642-02059-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Application-Level Scheduling Using AOP -- Application-Level Scheduling Using AOP -- An Exploratory Study for Identifying and Implementing Concerns in Integer Programming -- Open Bisimulation for Aspects -- Focus: Dependencies and Interactions with Aspects -- Editorial for Special Section on Dependencies and Interactions with Aspects -- Detection and Resolution of Weaving Interactions -- AspectOptima: A Case Study on Aspect Dependencies and Interactions -- Analysis of Aspect-Oriented Model Weaving. |
| Record Nr. | UNISA-996465592103316 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||