University of Surrey

Test tubes in the lab Research in the ATI Dance Research

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

[img]
Preview
PDF (licence)
SRI_deposit_agreement.pdf

Download (33kB)
[img]
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 :
AuthorsEmailORCID
Moschoyiannis, SUNSPECIFIEDUNSPECIFIED
Küster-Filipe, JUNSPECIFIEDUNSPECIFIED
Shields, MWUNSPECIFIEDUNSPECIFIED
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 View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800