Abstract
The distinct feature of this volume is its focus on mathematical models that identify the "core" concepts as first class modeling elements, and its providing of techniques for integrating and relating them.
- Title
- A Formal Approach to Constructing Well-Behaved Systems using Components
- Creators
- Sotiris MoschoyiannisJ Küster-FilipeMW Shields
- Contributors
- Z Liu (Editor)H Jifeng (Editor)
- Publication Details
- Mathematical frameworks for component software - Models for Analysis and Synthesis, Vol.2, pp.321-349
- Series
- Series on Component-Based Software Development
- Publisher
- World Scientific Pub Co Inc
- Number of pages
- 354
- Date published
- 2006
- Date submitted
- 14/11/2012
- Identifiers
- 99516239902346
- Copyright
- Moschoyiannis, S. Küster-Filipe, J. Shields, M W. A Formal Approach to Constructing Well-Behaved Systems using Components in Mathematical frameworks for component software - Models for Analysis and Synthesis, Eds. Liu, Z. & Jifeng, H. Copyright 2006 World Scientific Pub Co Inc. Posted with permission from World Scientific Publishing Co. Pte. Ltd.
- Academic Unit
- Department of Computer Science
- Resource Type
- Book chapter