Sciweavers

6978 search results - page 189 / 1396
» Reframing Requirements Analysis
Sort
View
113
Voted
IEEEICCI
2002
IEEE
15 years 3 months ago
A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
Romi S. Wahono, Behrouz H. Far
95
Voted
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
15 years 2 months ago
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
Frédéric Mesnard, Ulrich Neumerkel
73
Voted
ISSRE
2000
IEEE
15 years 2 months ago
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
Sam K. S. Sze, Michael R. Lyu
ICRA
1998
IEEE
116views Robotics» more  ICRA 1998»
15 years 2 months ago
Dimensional Analysis and Selective Distortion in Scaled Bilateral Telemanipulation
ThiJ puper addresses the issue of dynamic similarity and intensive property invariance in scaled bilateral naunipulation, and ofsers a design methodology bused on these considerat...
Michael Goldfarb
101
Voted
ER
1998
Springer
145views Database» more  ER 1998»
15 years 2 months ago
Design and Analysis of Quality Information for Data Warehouses
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
Manfred A. Jeusfeld, Christoph Quix, Matthias Jark...