12670 search results - page 13 / 2534 » Requirements Modeling |
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
IEAAIE
2004
Springer
14 years 29 days ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
RE
1997
Springer
13 years 11 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
RIVF
2003
13 years 9 months ago
2003
—Our work aims to provide adaptable fault tolerance for component-based systems through frameworks. In order to implement this approach, the underlying component model must fulï¬...
ITRUST
2005
Springer
14 years 1 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...