Sciweavers

6978 search results - page 189 / 1396
» Reframing Requirements Analysis
Sort
View
IEEEICCI
2002
IEEE
15 years 10 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
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
15 years 9 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
ISSRE
2000
IEEE
15 years 9 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
118
Voted
ICRA
1998
IEEE
116views Robotics» more  ICRA 1998»
15 years 9 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
ER
1998
Springer
145views Database» more  ER 1998»
15 years 9 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...