Electronic Notes in Theoretical Computer Science · 2004 · 63 citations · 8 references
ComputingComputer ScienceSoftware EngineeringSystems ArchitectureSystems ModelingModel-driven Software EngineeringObject-oriented DesignReverse EngineeringSoftware ArchitectureSoftware DesignSoftware ModelingArchitecture MetamodelMeta-modeling LanguagesModel-driven DesignModel-driven EngineeringProgram LevelSoftware Architecture ModelingSoftware Reverse EngineeringStatic Models
The Dagstuhl Middle Metamodel (DMM) is an extensible schema for static models of software. It is a middle-level metamodel since it captures program level entities and their relationships, rather than a full abstract syntax graph (lower level), or architectural abstractions (higher level). DMM can be used to represent models extracted from software written in most common object-oriented and procedural languages. This paper presents the main features of DMM.
8
Constructing Induction Rules for Deductive Synthesis Proofs
Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text
GXL: toward a standard exchange format
Richard C. Holt, Andreas Winter, Andy Schürr · 2002 · 235 citations
Columbus - reverse engineering tool and schema for C++
Rudolf Ferenć, Árpád Beszédes, Mikko Tarkiainen et al. · 2003 · 186 citations
Sander Tichelaar, Sté́phane Ducasse, Serge Demeyer · 2002 · 48 citations