772 search results - page 2 / 155 » From Graph Transformation to Software Engineering and Back |
VSTTE
2005
Springer
13 years 9 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
FASE
2010
Springer
13 years 11 months ago
2010
Springer
FOSSACS
2000
Springer
13 years 8 months ago
2000
Springer
EUROMICRO
1996
IEEE
13 years 8 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
ICSM
2003
IEEE
13 years 9 months ago
2003
IEEE
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...