473 search results - page 53 / 95 » Behavioural Models for Hierarchical Components |
JLP
2006
14 years 11 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
WSC
2008
15 years 2 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
EURODAC
1995
IEEE
15 years 3 months ago
1995
IEEE
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
114
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...
108
click to vote
ISPW
1996
IEEE
15 years 4 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...