32 search results - page 2 / 7 » Towards a Deep Metamodelling Based Formalization of Componen... |
104
click to vote
ASM
2003
ASM
15 years 6 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
133
click to vote
JUCS
2000
15 years 28 days ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
101
click to vote
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Many databases have become Web-accessible through form-based search interfaces (i.e., HTML forms) that allow users to specify complex and precise queries to access the underlying ...
114
click to vote
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
108
click to vote
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...