1304 search results - page 73 / 261 » Model-Driven Engineering for Requirements Analysis |
SERA
2010
Springer
14 years 8 months ago
2010
Springer
—Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeli...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Requirements analysis is an important phase in a software project. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the...
ICCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...