139 search results - page 4 / 28 » Model Checking Graph Transformations: A Comparison of Two Ap... |
ALENEX
2004
13 years 10 months ago
2004
We consider two approaches that model timetable information in public transportation systems as shortestpath problems in weighted graphs. In the time-expanded approach every event...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
DAGSTUHL
2004
13 years 10 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
ATVA
2009
Springer
14 years 23 days ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
ICWE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...