803 search results - page 99 / 161 » Building Formal Models for Software Requirements |
120
click to vote
IWPC
2002
IEEE
15 years 8 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
135
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
123
click to vote
EDBTW
2010
Springer
15 years 7 months ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
122
click to vote
CBSE
2009
Springer
15 years 8 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
147
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...