553 search results - page 86 / 111 » A Perspective on Component Refinement |
ER
2005
Springer
14 years 2 months ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
An important characteristic of ubiquitous computing is that the computational services in our environment are envisioned to be far more interconnectable than today. This means it ...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...
METAINFORMATICS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...