5433 search results - page 337 / 1087 » Tool Support for Traceability-Adaptation |
179
click to vote
ECEASST
2006
15 years 6 months ago
2006
This paper discusses the integration of the Dresden OCL Toolkit into the Fujaba Tool Suite. The integration not only adds OCL support for class diagrams but also makes OCL usable i...
235
click to vote
ENTCS
2006
15 years 6 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
162
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Programs encounter increasingly complex and fragile mappings to computing platforms, resulting in performance characteristics that are often mysterious to students, practitioners,...
159
click to vote
CLEIEJ
2004
15 years 6 months ago
2004
Small computing devices are everywhere changing the way people communicate and interact, however applications for these devices are developed more or less with the same tools used...
179
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
This article presents a case study that investigates the effectiveness of virtual artifacts in the teaching of classical art to first-year university students. It was expected tha...