238 search results - page 9 / 48 » Modification analysis support at the requirements level |
TAMODIA
2004
13 years 9 months ago
2004
This paper takes a pragmatic approach to the design of a task analysis support tool. Instead of proposing a new approach to analysis, it looks at the common requirements for provi...
ICMENS
2003
IEEE
14 years 29 days ago
2003
IEEE
The search for existing or past life in the Universe is one of the most important objectives of NASA’s mission. In support of this objective, an ultrasonic/sonic mechanism is cu...
ICCD
1996
IEEE
13 years 11 months ago
1996
IEEE
The Multi-Level Decomposition Diagrams (MLDDs) of this paper are a canonical representation of Boolean functions expliciting disjoint-support decompositions. MLDDs allow the reduc...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we present a generic interconnect fabric for transaction level modelling tackeling three major aspects. First, a review of the bus and IO structures that we have ana...
RE
2004
Springer
14 years 1 months ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...