6348 search results - page 23 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
TPHOL
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
WCRE
2002
IEEE
14 years 2 months ago
2002
IEEE
As part of a long term project aiming at empowering software maintainers with knowledge based tools we conducted an empirical study on the knowledge they use when doing maintenanc...
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
Academic research sometimes suffers from the “ivory tower” problem: some ideas that sound good in theory do not necessarily work well in practice. An example of research that ...
APSEC
1995
IEEE
1995
IEEE
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures
14 years 1 months ago
WCRE
2000
IEEE
14 years 2 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...