383 search results - page 34 / 77 » Reusing Scenario Based Approaches in Requirement Engineering... |
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— The success of NASA’s Mars Exploration Rovers has demonstrated the important benefits that mobility adds to planetary exploration. Very soon, mission requirements will impos...
ER
1994
Springer
14 years 2 days 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...
JUCS
2008
13 years 8 months ago
2008
: Web applications are widely disseminated, but, traditional development methods for this type of application still require a substantial amount of new modeling and programming. Cu...
ICCAD
1999
IEEE
14 years 8 days ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
CAD
2002
Springer
13 years 7 months ago
2002
Springer
Many engineering design applications require geometric modeling and mechanical simulation of thin flexible structures, such as those found in the automotive and aerospace industri...