Sciweavers

2274 search results - page 28 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
ASWEC
2004
IEEE
15 years 1 months ago
Linking UML Models of Design and Requirement
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
AAAI
1996
14 years 11 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy
IJCAI
2007
14 years 11 months ago
A Size-Based Qualitative Approach to the Representation of Spatial Granularity
A local spatial context is an area currently under consideration in a spatial reasoning process. The boundary between this area and the surrounding space together with the spatial...
Hedda Rahel Schmidtke, Woontack Woo
AAAI
1998
14 years 11 months ago
Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
Christopher Bailey-Kellogg, Feng Zhao
RE
2010
Springer
14 years 4 months ago
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
Leonid Kof