4476 search results - page 567 / 896 » A flexible framework for engineering |
187
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
169
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
164
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Impact analysis is needed for the planning and estimation of software maintenance projects. Traditional impact analysis techniques tend to be too expensive for this phase, so ther...
173
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
182
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...