Software & Systems Modeling · 2011 · 70 citations · 16 references
EngineeringInformation SystemsFormal MethodsModel-based Systems EngineeringSystems ModelingDeductive VerificationGraph TheoryModel CheckingModel FormulationModel TheoryModel TransformationAlgebraic Graph TheoryGraph TransformationModel Transformation CorrectnessModel Transformation LanguagesModel Transformation VerificationTransformation ConsistencyTransformation Correctness
16
Guest Editor's Introduction: Model-Driven Engineering
Douglas C. Schmidt · Computer · 2006 · 2K citations
A survey of software refactoring
Tom Mens, Tom Tourwé · IEEE Transactions on Software Engineering · 2004 · 1.2K citations · Full text
Frédéric Jouault, Ivan Kurtev · 2006 · 459 citations
Engineering, Systems Engineering, Model-based Systems Engineering +7