750 search results - page 51 / 150 » Value-Based Selection of Requirements Engineering Tool Suppo... |
131
Voted
TSE
2010
15 years 1 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
116
Voted
RE
2004
Springer
15 years 9 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...
118
Voted
ER
1994
Springer
15 years 7 months ago
1994
Springer
A logical database schema, e.g. a relational one, is an implementation of a speci cation, e.g. an entity-relationship diagram. Upcoming new data models and the necessity of seamle...
125
Voted
TAMODIA
2004
15 years 4 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...
108
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...