2048 search results - page 18 / 410 » Intelligent search techniques for large software systems |
UM
2001
Springer
15 years 2 months ago
2001
Springer
Browsing- and querying-oriented schemes have long served as the principal techniques for software developers to locate software components from a component repository for reuse. Un...
SIGSOFT
1996
ACM
15 years 2 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
102
click to vote
AOSE
2000
Springer
15 years 2 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
DEXAW
2003
IEEE
15 years 3 months ago
2003
IEEE
The development of large software systems is a typical example for collaborative development efforts. Moreover, software development becomes more and more componentoriented. The s...
IUI
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes SmartCanvas, an intelligent desk system that allows a user to perform freehand drawing on a desk or similar surface with gestures. Our system requires one cam...