Formal Aspects of Component Software by Jinyun Xue
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.-
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
-
Computer Vision – ECCV 2026
-
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
-
Computational Logistics
- Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
-
Software and Systems Reuse, Product Lines, and Configuration
-
OpenMP: Adaptability for Heterogeneous Multi‑Device Systems
-
Logic Programming and Nonmonotonic Reasoning
-
Theoretical Aspects of Computing – ICTAC 2025
-
Foundations of Health Informatics Engineering and Systems
-
Engineering Trustworthy Software 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 | 9783319076010 |
| ISBN 10 | 3319076019 |
| Title | Formal Aspects of Component Software |
| Author | Zhiming Liu |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2014-07-30 |
| Number of pages | 385 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |