A Formal Approach to Constructing Well-Behaved Systems using Components
Tools
Moschoyiannis, Sotiris, Küster-Filipe, J and Shields, MW (2006) A Formal Approach to Constructing Well-Behaved Systems using Components In: Mathematical frameworks for component software - Models for Analysis and Synthesis. Series on Component-Based Software Development, 2 . World Scientific Pub Co Inc, pp. 321-349. ISBN 981270017X
![]()
|
Text (licence)
SRI_deposit_agreement.pdf Download (33kB) |
|
![]()
|
Text
moschoyiannis-final.pdf Available under License : See the attached licence file. Download (369kB) |
Official URL: http://www.worldscientific.com/worldscibooks/10.11...
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.
Item Type: | Book Section | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Divisions : | Faculty of Engineering and Physical Sciences > Computing Science | ||||||||||||
Authors : |
|
||||||||||||
Editors : |
|
||||||||||||
Date : | 2006 | ||||||||||||
Copyright Disclaimer : | Moschoyiannis, S. Küster-Filipe, J. Shields, M W. <i>A Formal Approach to Constructing Well-Behaved Systems using Components</i> 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. | ||||||||||||
Uncontrolled Keywords : | Computers, Component-based Software, Concurrency, Behavioural modelling | ||||||||||||
Depositing User : | Symplectic Elements | ||||||||||||
Date Deposited : | 25 Jan 2013 09:22 | ||||||||||||
Last Modified : | 19 Oct 2018 17:22 | ||||||||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/738616 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year