990 search results - page 61 / 198 » A Static Analysis Technique for Graph Transformation Systems |
ISIM
2007
13 years 10 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
WCRE
2008
IEEE
14 years 3 months ago
2008
IEEE
Applying program comprehension techniques may render software maintenance and evolution easier. Understanding a software system typically requires a combination of static and dyna...
WCRE
2006
IEEE
14 years 3 months ago
2006
IEEE
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
CIKM
2006
Springer
14 years 23 days ago
2006
Springer
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon an improved...
IFM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...