Sciweavers

12670 search results - page 5 / 2534
» Requirements Modeling
Sort
View
APSEC
2005
IEEE
14 years 1 months ago
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
Christian Seybold, Silvio Meier
IASSE
2004
13 years 9 months ago
Execution of A Requirement Model in Software Development
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J....
KBSE
1998
IEEE
13 years 11 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
GI
2005
Springer
14 years 1 months ago
Model-Based Requirements Engineering with AutoRAID
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
Bernhard Schätz, Andreas Fleischmann, Eva Gei...
APCCM
2009
13 years 8 months ago
Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling
A requirements analysis step plays a significant role on the development of information systems, and in this step we various kinds of abstract models of the systems (called requir...
Ryo Hasegawa, Motohiro Kitamura, Haruhiko Kaiya, M...