93 search results - page 6 / 19 » Formal Models for Architecture Aspects and Their Weaving |
ECMDAFA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
PUK
2003
13 years 11 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
APSEC
2001
IEEE
14 years 1 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...