Engineering Trustworthy Software Systems by Zhiming Liu
This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China.
The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra.-
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
-
Application and Theory of Petri Nets and Concurrency
-
Medical Image Computing and Computer Assisted Intervention – MICCAI 2026
-
Computer Vision – ECCV 2026
-
Artificial Neural Networks in Pattern Recognition
-
Automated Technology for Verification and Analysis
-
Hybrid Learning and Education
-
Extended Reality
-
Static Analysis
-
Informatics in Schools. Challenges and Opportunities in Informatics Education in the Era of AI
-
Cognitive Computing - ICCC 2026
-
Computer Information Systems and Industrial Management
-
Pattern Recognition. ICPR 2026 International Workshops
-
Theoretical Aspects of Computing – ICTAC 2025
-
Formal Aspects of Component Software
-
Foundations of Health Informatics Engineering and Systems
-
Environmental Catalysis and Air Pollution Control
-
MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS
-
Automated Technology for Verification and Analysis
-
Formal Methods and Software Engineering
-
Theoretical Aspects of Computing - ICTAC 2004
-
Theoretical Aspects of Computing -- ICTAC 2013
-
Theories of Programming and Formal Methods
-
Unifying Theories of Programming and Formal Engineering Methods
Editors: Jonathan P. Bowen, London Southbank University, UK;
Zhiming Liu, Southwest University, Chongqing, China;
Zili Zhang, Southwest University, Chongqing, China
Zhiming Liu, Southwest University, Chongqing, China;
Zili Zhang, Southwest University, Chongqing, China
| SKU | Unavailable |
| ISBN 13 | 9783319296272 |
| ISBN 10 | 3319296272 |
| Title | Engineering Trustworthy Software Systems |
| Author | Zhiming Liu |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2016-03-01 |
| Number of pages | 325 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |