Sciweavers

2969 search results - page 457 / 594
» The Case for User-Centered CASE Tools
Sort
View
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 11 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
ICS
2001
Tsinghua U.
15 years 11 months ago
Computer aided hand tuning (CAHT): "applying case-based reasoning to performance tuning"
For most parallel and high performance systems, tuning guides provide the users with advices to optimize the execution time of their programs. Execution time may be very sensitive...
Antoine Monsifrot, François Bodin
ICSE
2001
IEEE-ACM
15 years 11 months ago
A Scenario-Driven Approach to Traceability
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
Alexander Egyed
INCDM
2001
Springer
109views Data Mining» more  INCDM 2001»
15 years 11 months ago
Experience Management: The Fraunhofer IESE Experience Factory
: Experience Management (EM) is an area that is increasingly gaining importance. Its roots lie in Experimental Software Engineering ("Experience Factory"), in Artificial ...
Klaus-Dieter Althoff, Björn Decker, Susanne H...
MASA
2001
Springer
15 years 11 months ago
Motivated Agent Behaviour and Requirements Applied to Virtual Emergencies
Virtual environments provide a rich and varied domain for intelligent agents, but questions of design and development in this context are still to be answered. An agent with multip...
Sorabain Wolfheart de Lioncourt, Michael Luck