The Journal of Logic and Algebraic Programming · 2012 · 52 citations · 20 references
Mathematical ProgrammingSpecification LanguageFormal SpecificationEngineeringConstraint SolvingAutomated ReasoningFormal ApproachConstraintsVerificationSystem SpecificationFormal MethodsSystems EngineeringComputer ScienceSoftware AnalysisSoftware DesignFormal VerificationConstraint Programming
20
On the unification power of models
Jean Bézivín · Software & Systems Modeling · 2005 · 749 citations
Classification of Model Transformation Approaches
Krzysztof Czarnecki, Simon Helsen · 2003 · 699 citations
Thomas Kühne · Software & Systems Modeling · 2006 · 390 citations