3101 search results - page 124 / 621 » Composing Adaptive Software |
132
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
127
Voted
CLEIEJ
2006
15 years 3 months ago
2006
In this paper, we define a set of metrics for the evaluation of conceptual models of business processes. The proposal supposes the adaptation and extension of the FMESP framework ...
144
Voted
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
119
click to vote
AGILEDC
2005
IEEE
15 years 9 months ago
2005
IEEE
Can government software projects be agile? What do Scrum and XP practices have to offer in this regulated and highly political environment? In this experience report, I will discu...
158
Voted
CIBSE
2009
ACM
15 years 8 months ago
2009
ACM
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...