1926 search results - page 225 / 386 » Modeling and Model Checking Software Product Lines |
141
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
120
click to vote
MODELLIERUNG
2004
15 years 5 months ago
2004
: We consider socio-technical processes, i.e. processes where machines as well as humans participate. Typical examples occur in sales processes in e-commerce. Three modeling tasks ...
131
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
119
click to vote
RE
2005
Springer
15 years 10 months ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
134
click to vote
TROB
2002
15 years 4 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...