Vision paper: make a difference! (semantically)

No abstract is available for this paper.

• Publication year

  2011

• Venue

  ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

• Publication date

  2011-10-16

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-24485-8_36
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Axiomatic Basis for Computer Programming

  2013cited by this paper
• A Manifesto for Semantic Model Differencing

  2010cited by this paper
• Slicing of UML models using model transformations

  2010cited by this paper
• Precise detection of conflicting change operations using process model terms

  2010cited by this paper
• Timed I/O automata: a complete specification theory for real-time systems

  2010cited by this paper
• Reasoning about edits to feature models

  2009cited by this paper
• Modal Contracts for Component-Based Design

  2009cited by this paper
• A Compositional Approach on Modal Specifications for Timed Systems

  2009cited by this paper
• SAT-based analysis of feature models is easy

  2009cited by this paper
• Efficient compilation techniques for large scale feature models

  2008cited by this paper
• Requirements Coverage as an Adequacy Measure for Conformance Testing

  2008cited by this paper
• FAMA Framework

  2008cited by this paper
• Residual for Component Specifications

  2008cited by this paper
• Automated Merging of Feature Models Using Graph Transformations

  2007cited by this paper
• Generative and Transformational Techniques in Software Engineering II

  2007cited by this paper
• Feature Diagrams and Logics: There and Back Again

  2007cited by this paper
• Matching and Merging of Statecharts Specifications

  2007cited by this paper
• Some Examples

  2006cited by this paper
• A manifesto for model merging

  2006cited by this paper
• Synthesis of Synchronous Interfaces

  2006cited by this paper
• Framework-Specific modeling languages with round-trip engineering

  2006cited by this paper
• Feature Models, Grammars, and Propositional Formulas

  2005cited by this paper
• Semantic Diff: a tool for summarizing the effects of modifications

  1994cited by this paper
• Predicate Calculus and Program Semantics

  1989cited by this paper
• Modal Specifications

  1989cited by this paper
• On "Software engineering"

  1985cited by this paper
• Graduate Texts in Mathematics

  1982cited by this paper
• Categories for the Working Mathematician

  1971cited by this paper

• Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences

  2022cites this paper
• Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product Lines

  2022cites this paper
• Semantic Differencing of Use Case Diagrams

  2022cites this paper
• A Methodology for Retrofitting Generative Aspects in Existing Applications.

  2021cites this paper
• Semantic comparisons of Alloy models

  2020cites this paper
• Pre-Study on the Usefulness of Difference Operators for Modeling Languages in Software Development

  2020cites this paper
• Semantic Evolution Analysis of Feature Models

  2019cites this paper
• On Computing Instructions to Repair Failed Model Refinements

  2018influential citation
• Feature-Oriented Evolution of Variant-rich software systems

  2017cites this paper
• Semantic Model Differencing Based on Execution Traces

  2015cites this paper
• A framework for relating syntactic and semantic model differences

  2015cites this paper
• Calculation and propagation of model changes based on user-level edit operations: a foundation for version and variant management in model-driven engineering

  2015cites this paper
• Execution Trace Management to Support Dynamic V&V for Executable DSMLs. (Gestion de traces d'exécution pour permettre la vérification et la validation pour des langages de modélisation dédiés exécutables)

  2015cites this paper
• A tag contract framework for modeling heterogeneous systems

  2014cites this paper
• A Generic Framework for Realizing Semantic Model Differencing Operators

  2014cites this paper
• Sound Merging and Differencing for Class Diagrams

  2014cites this paper
• General quantitative specification theories with modal transition systems

  2014cites this paper
• Semantic Model Differencing Utilizing Behavioral Semantics Specifications

  2014cites this paper
• A Tag Contract Framework for Heterogeneous Systems

  2013cites this paper
• Extraction and evolution of architectural variability models in plugin-based systems

  2013cites this paper
• Customizing the Common Variability Language Semantics for your Domain Models

  2012cites this paper
• General Quantitative Specification Theories with Modalities

  2012cites this paper
• Usage scenarios for feature model synthesis

  2012cites this paper
• An Operational Contract Framework for Heterogeneous Systems

  2012cites this paper
• Matching of service feature diagrams based on linear logic

  2012cites this paper
• Feature Model Differences

  2012influential citation
• Compositional verification of real-time systems using Ecdar

  2012cites this paper