130 search results - page 17 / 26 » A Formal Way from Text to Code Templates |
132
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
100
click to vote
ICFP
2007
ACM
16 years 10 days ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
225
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
93
Voted
SPIESR
2004
15 years 1 months ago
2004
In this paper a novel "Smart Media" concept for semantic-based multimedia security and management is proposed. This concept is based on interactive object segmentation (...
JUCS
2006
15 years 10 days ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...