5433 search results - page 636 / 1087 » Tool Support for Traceability-Adaptation |
205
click to vote
UML
2005
Springer
16 years 17 days ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
168
click to vote
UML
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
128
click to vote
WDAG
2005
Springer
16 years 17 days ago
2005
Springer
We introduce a new object, BH, and prove that a system with one BH object and single-writer Registers has the same computational power as a system with countably many commutative a...
191
click to vote
CHI
2004
ACM
16 years 16 days ago
2004
ACM
MetaCrystal visualizes the degree of overlap between the top results returned by different search engines. Linked overview tools support rapid exploration, facilitate advanced fil...
184
click to vote
ECLIPSE
2004
ACM
16 years 16 days ago
2004
ACM
Software engineering education is most often complemented by a software engineering project where a team of students has to develop a large software system. At a distance teaching...