1829 search results - page 4 / 366 » Towards Validation of Requirements Models |
76
Voted
RE
2001
Springer
15 years 1 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
ISSE
2008
14 years 9 months ago
2008
82
Voted
VVEIS
2007
14 years 10 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
70
Voted
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
—Data warehouse (DW) systems integrate data from heterogeneous sources and are used by decision makers to analyze the status and the development of an organization. Traditionally...