Sciweavers

2274 search results - page 2 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
ICFEM
2009
Springer
13 years 11 months ago
Qualitative Action Systems
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
Bernhard K. Aichernig, Harald Brandl, Willibald Kr...
IJCAI
1997
13 years 6 months ago
A Causal Time Ontology for Qualitative Reasoning
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizogu...
RTCSA
1997
IEEE
13 years 9 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
AI
2000
Springer
13 years 5 months ago
Model-based reasoning about learner behaviour
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
Kees de Koning, Bert Bredeweg, Joost Breuker, Bob ...
COMPSAC
2002
IEEE
13 years 10 months ago
Quantitative Aspects of Requirements Evolution
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
Stuart Anderson, Massimo Felici