6348 search results - page 802 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
180
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Several solutions exist to bridge the last-mile gap in rural telecom. These extend a point of presence from a town to kiosks in surrounding villages. In this paper, we deal wit...
201
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
166
click to vote
SIGADA
2005
Springer
16 years 9 days ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
257
click to vote
ISSE
2010
15 years 5 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
203
click to vote
ISSTA
2004
ACM
16 years 8 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...