6348 search results - page 285 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
120
Voted
WER
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
118
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...
126
Voted
EWSPT
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes a prototype for supporting distributed, mobile software processes. The prototype allows instantiated process models to be distributed in different workspaces, ...
162
click to vote
PROFES
2000
Springer
15 years 8 months ago
2000
Springer
This paper proposes a model of successful maintenance that can represent how maintainability of each software module changes as it ages. We found that some of the metrics, measured...
121
Voted
ICSR
2009
Springer
15 years 2 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...