Model Driven Engineering

Overview: 

Our research on model-driven engineering develops languages and tools to express complex systems by describing their essential properties, often within a restricted domain, while automating or providing automated assistance to generate or synthesize an efficient implementation of the system.

Topics: 
  • Product Line Engineering
    • Feature Oriented Programming. Program Refinement.
  • Program Synthesis
    • Generic Algorithm Theories. Problem Specification. Automatic Programming.
  • Component Engineering
    • Modularity. Modular Proofs. Design Patterns.
  • Domain-Specific Languages
    • Domain Modeling. Metamodels. Formal Semantics. Language Integration.
  • Optimization
    • Partial Evaluation. Algorithm/Representation Selection.
  • Applications
    • User Interfaces. Security. Data Abstraction. Enterprise Applications. Databases. Physics Simulation.