Categories for Software Engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
اقرأ المزيد
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
اقرأ المزيد
Dependable Computing
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
اقرأ المزيد
Formal Methods in Software and Systems Modeling
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
اقرأ المزيد
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
اقرأ المزيد
Model Driven Architecture
Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
اقرأ المزيد
SDL 2005: Model Driven
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
اقرأ المزيد
SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
اقرأ المزيد
Satellite Events at the MoDELS 2005 Conference
This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
اقرأ المزيد
Software Engineering for Multi-Agent Systems III
This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...
اقرأ المزيد
System Analysis and Modeling
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
اقرأ المزيد
Systems Modeling and Simulation: Theory and Applications
This book constitutes the refereed post-proceedings of the third Asian Simulation Conference, AsiaSim 2004, held in Jeju ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)
This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Transactions on Computational Systems Biology I
The recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...
اقرأ المزيد
UML Modeling Languages and Applications
This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...
اقرأ المزيد
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
اقرأ المزيد
Water Resource Systems Planning and Management
This revised, updated textbook presents a systems approach to the planning, management, and operation of water resources ...
اقرأ المزيد
