1613 search results - page 167 / 323 » Model-Driven Constraint Engineering |
119
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
143
click to vote
E4MAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
128
Voted
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
128
click to vote
WADT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
110
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...