2088 search results - page 98 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
116
click to vote
ZUM
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
149
click to vote
KIVS
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
112
click to vote
DAGSTUHL
2004
15 years 1 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
EWSA
2004
Springer
15 years 5 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
VLSM
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we describe a new framework for the tracking of closed curves described through implicit surface modeling. The approach proposed here enables a continuous tracking al...