976 search results - page 45 / 196 » Approach to a Theory of Software Evolution |
MSR
2006
ACM
15 years 3 months ago
2006
ACM
In software evolution research logical coupling has extensively been used to recover the hidden dependencies between source code artifacts. They would otherwise go lost because of...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
127
click to vote
HASE
2002
IEEE
15 years 2 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
118
click to vote
CIKM
1994
Springer
15 years 1 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
IFIP
1993
Springer
15 years 1 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...