4074 search results - page 434 / 815 » Abstract Graph Transformation |
189
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
242
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
215
click to vote
HCI
2007
15 years 8 months ago
2007
Abstract. The Multimedia Modeling Language (MML) is a platformindependent modeling language for model-driven development of interactive multimedia applications. Using models provid...
170
click to vote
ICSOFT
2007
15 years 8 months ago
2007
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...
291
click to vote
LISP
2006
15 years 6 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...