A Formal Approach to Constructing Well-Behaved Systems using Components

Moschoyiannis, S, 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

Preview	PDF (licence) SRI_deposit_agreement.pdf Download (33kB)
Preview	PDF moschoyiannis-final.pdf Available under License : See the attached licence file. Download (369kB)

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 :	Authors Email ORCID Moschoyiannis, S UNSPECIFIED UNSPECIFIED Küster-Filipe, J UNSPECIFIED UNSPECIFIED Shields, MW UNSPECIFIED UNSPECIFIED
Date :	2006
Uncontrolled Keywords :	Computers, Component-based Software, Concurrency, Behavioural modelling
Additional Information :	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.
Depositing User :	Symplectic Elements
Date Deposited :	25 Jan 2013 09:22
Last Modified :	23 Sep 2013 19:52
URI:	http://epubs.surrey.ac.uk/id/eprint/738616

Actions (login required)

View Item

Downloads