Sciweavers

1645 search results - page 223 / 329
» Rationale-Based Use Case Specification
Sort
View
AICCSA
2001
IEEE
103views Hardware» more  AICCSA 2001»
15 years 8 months ago
Seamless Integration of Control Flow and Data Flow in a Visual Language
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
Honitriniela Randriamparany, Bertrand Ibrahim
KBSE
1998
IEEE
15 years 7 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
IFIP
2000
Springer
15 years 7 months ago
Collaborative Practice Research
: This paper reports from a systems development research tradition in which emphasis is put on relating research activities to practice and on establishing fruitful collaboration b...
Lars Mathiassen
MIXER
2004
15 years 5 months ago
FixIt: An Approach towards Assisting Workers in Diagnosing Machine Malfunctions
Augmented Reality (AR) is a newly emerging user interface paradigm that is currently under rapid development. AR is still in its infancy. Only very few cases exist, in which AR te...
Gudrun Klinker, Hesam Najafi, Tobias Sielhorst, Fa...
AIPS
2000
15 years 5 months ago
Plan Generation for GUI Testing
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa