12670 search results - page 66 / 2534 » Requirements Modeling |
CLEIEJ
2006
13 years 10 months ago
2006
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
BIRTHDAY
2009
Springer
14 years 4 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
We address a Kalman-like estimator for solving universally the problems of filtering (p = 0), prediction (p > 0), and smoothing (p < 0) of discrete time-varying state-space...
FASE
2009
Springer
14 years 4 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
RE
2002
Springer
13 years 9 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...