Sciweavers

5333 search results - page 839 / 1067
» Evolution of the
Sort
View
ICSE
2000
IEEE-ACM
15 years 11 months ago
Quickly detecting relevant program invariants
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
Michael D. Ernst, Adam Czeisler, William G. Griswo...
ICSE
2000
IEEE-ACM
15 years 11 months ago
Requirements engineering in the year 00: a research perspective
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
Axel van Lamsweerde
ICSE
2000
IEEE-ACM
15 years 11 months ago
Reverse engineering: a roadmap
By the early 1990s the need for reengineering legacy systems was already acute, but recently the demand has increased significantly with the shift toward web-based user interfaces...
Hausi A. Müller, Jens H. Jahnke, Dennis B. Sm...
SRDS
1998
IEEE
15 years 11 months ago
A Metaobject Protocol for Fault-Tolerant CORBA Applications
Abstract: The use of meta-level architectures for the implementation of faulttolerant systems is today very appealing. Nevertheless, all existing fault-tolerant systems based on th...
Marc-Olivier Killijian, Jean-Charles Fabre, Juan-C...
MICCAI
2000
Springer
15 years 11 months ago
Segmentation by Adaptive Geodesic Active Contours
This paper introduces the use of spatially adaptive components into the geodesic active contour segmentation method for application to volumetric medical images. These components a...
Carl-Fredrik Westin, Liana M. Lorigo, Olivier D. F...