1099 search results - page 140 / 220 » A tool for assisting the understanding and formal developmen... |
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...
SDL
2001
13 years 10 months ago
2001
In this paper we describe our experiences in building tools for accelerating maintenance of existing large telecommunications software. We discuss how various maintenance activitie...
FAC
2000
13 years 9 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
APSEC
2006
IEEE
14 years 3 months ago
2006
IEEE
Refactoring makes existing source code more understandable and reusable without changing observable behavior. Therefore, applying refactorings to existing source code and reversin...
ICFCA
2004
Springer
14 years 2 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...