Dependable Software Engineering. Theories, Tools, and Applications by Amir Goharshady
This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1–3, 2025.
The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols.
-
To the Ends of the Earth
-
Computational Logic in Multi-Agent Systems
-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Computational and Corpus-Based Phraseology
-
Replication
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Genetic Programming
-
Transactional Agents
-
Computer Safety, Reliability, and Security
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Evolutionary Computation in Combinatorial Optimization
-
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
-
Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI
-
Information and Communications Security
-
The Semantic Web – ISWC 2026
-
Collaboration Technologies and Social Computing
-
Behavioural and Social Computing
-
Web and Wireless Geographical Information Systems
-
Belief Functions: Theory and Applications
-
Discovery Science
-
Advances in Practical Applications of Agentic AI and Multi-Agent Systems, The PAAMS Collection
-
Knowledge Engineering and Knowledge Management
-
Similarity Search and Applications
-
Analysis of Images, Social Networks and Texts
-
Multi-disciplinary Trends in Artificial Intelligence
-
Software and Systems Reuse, Product Lines, and Configuration -- VARIABILITY 2026 Satellite Events
-
Energy Informatics
-
Computer Security – ESORICS 2026
-
Computer Vision – ECCV 2026
-
Medical Image Computing and Computer Assisted Intervention – MICCAI 2026
| SKU | Unavailable |
| ISBN 13 | 9789819578252 |
| ISBN 10 | 9819578256 |
| Title | Dependable Software Engineering. Theories, Tools, and Applications |
| Author | Amir Goharshady |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Verlag, Singapore |
| Year published | 2026-05-02 |
| Number of pages | 367 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |