Complex Systems Design & Management Proceedings of the First International Conference on Complex System Design & Management CSDM 2010 /
This book contains all refereed papers that were accepted to the Complex Systems Design & Management (CSDM 2010) international conference that took place in Paris (France), October 27 29, 2010 (Website: http://www.csdm2010.csdm.fr). These proceedings covers the most recent trends in the emer...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
| Subjects: | |
| Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15654-0 |
Table of Contents:
- Part 1 Elements of Interaction
- Part 2 Enterprise Architecture as Language
- part 3 Real-Time Animation for Formal Specification
- part 4 Using Simulink Design Verifier for proving behavioral properties on a complex safety critical system in the ground transportation domain
- Part 5 SmART: An Application Reconfiguration Framework
- Part 6 Searching the Best (Formulation, Solver, Configuration) for Structured Problems
- Part 7 Information model for model driven safety requirements management of complex systems
- Part 8 Discrete search in design optimization
- Part 9 Software architectures for flexible task-oriented program execution on multicore systems
- Part 10 Optimal technological architecture evolutions of Information Systems
- part 11 Practical Solution of Periodic Filtered Approximation as a Convex Quadratic Integer Program
- Part 12 Enterprise Architecture as Language
- Part 13
- Part 14 Flexibility and Its Relation to Complexity and Architecture
- part 15 Formalization of an integrated system/project design framework: First models and processes.