687 search results - page 13 / 138 » Specification and Verification of Model Transformations Usin... |
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
135
Voted
COLCOM
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
119
click to vote
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
211
Voted
POPL
2004
ACM
16 years 21 days ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
78
Voted
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...