2274 search results - page 159 / 455 » Qualitative Modeling for Requirements Engineering |
128
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
141
click to vote
DEXAW
2008
IEEE
16 years 24 days ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
156
click to vote
WSC
2008
15 years 8 months ago
2008
Simulation study of complex production facilities can be a challenging task for manufacturing engineers as it requires skills to build the models and to conduct experiments. Accur...
184
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
154
click to vote
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...