Sciweavers

17 search results - page 2 / 4
» kbse 1998
Sort
View
KBSE
1998
IEEE
13 years 7 months ago
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
Armando Martin Haeberer, T. S. E. Maibaum
KBSE
1998
IEEE
13 years 7 months ago
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
T. L. McCluskey, Margaret Mary West
KBSE
1998
IEEE
13 years 7 months ago
Automating UI Generation by Model Composition
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
Kurt Stirewalt, Spencer Rugaber
KBSE
1998
IEEE
13 years 7 months ago
A Visualization Concept for Hierarchical Object Models
Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
Stefan Berner, Stefan Joos, Martin Glinz, Martin A...
KBSE
1998
IEEE
13 years 7 months ago
An Automated Framework for Structural Test-Data Generation
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
Nigel Tracey, John A. Clark, Keith Mander, John A....