6348 search results - page 342 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
144
click to vote
WER
2001
Springer
15 years 9 months ago
2001
Springer
The development of software systems from already built COTS components has been motivated by the prospect of reduced cost and development time. However, developing COTS-based syst...
130
Voted
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
130
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
Comprehending an unfamiliar code fragment requires an awareness of explicit usage directives that may be present in the documentation of some invoked functions. Since it is not pr...
123
Voted
ER
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
121
Voted
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...