Sciweavers

324 search results - page 5 / 65
» Model Transformations in Practice Workshop
Sort
View
ENTCS
2008
100views more  ENTCS 2008»
13 years 7 months ago
On Challenges for a Graphical Transformation Notation and the UMLX Approach
Freely available experimental transformation languages have begun to stimulate practical usage of textual transformation notations. The forthcoming QVT transformation languages ma...
Edward D. Willink
ICITA
2005
IEEE
14 years 21 days ago
DREAM: A Practical Product Line Engineering Using Model Driven Architecture
Both product line engineering (PLE) and model driven architecture (MDA) are emerging as effective paradigms for building a family of applications in cost effective way. PLE suppor...
Soo Dong Kim, Hyun Gi Min, Jin Sun Her, Soo Ho Cha...
IJMMS
1998
153views more  IJMMS 1998»
13 years 6 months ago
Brahms: simulating practice for work systems design
A continuing problem in business today is the design of human-computer systems that respect how work actually gets done. The overarching context of work consists of activities, wh...
William J. Clancey, Patricia Sachs, Maarten Sierhu...
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 5 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
CANDC
2009
ACM
14 years 1 months ago
Understanding the creative conversation: modeling to engagement
This workshop is aimed at describing the elusive creative process: addressing models and of creative practice, from art to craft, from dance to education. In particular, we wish t...
David A. Shamma, Dan Perkel, Kurt Luther