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	Text (licence) SRI_deposit_agreement.pdf Download (33kB)
Preview	Text 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 :	Name Email ORCID Moschoyiannis, S Küster-Filipe, J Shields, MW
Editors :	Name Email ORCID Liu, Z Jifeng, H
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 :	31 Oct 2017 14:52
URI:	http://epubs.surrey.ac.uk/id/eprint/738616

Actions (login required)

View Item

Downloads