958 search results - page 32 / 192 » Model Transformation Languages and Their Implementation by B... |
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
GTTSE
2007
Springer
15 years 7 months ago
2007
Springer
With the increase of amount of transistors which can be contained on a chip and the constant expectation for more sophisticated applications, the design of Systems-on-Chip (SoC) is...
158
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
104
click to vote
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
101
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...