Finding Models in Model-Based Development

  • Wolfram Schulte
  • Ethan K. Jackson
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6981)


Model-based development focuses on creating and manipulating domain models. We present the formula language and its tool environment for specifying, documenting, and analyzing models.


Complex Space Composition Operator Logic Programming Type Theory Generic Automation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Jackson, E.K., Kang, E., Dahlweid, M., Seifert, D., Santen, T.: Components, Platforms and Possibilities: Towards Generic Automation for MDA. In: EMSOFT, pp. 39–48 (2010)Google Scholar
  2. 2.
    Jackson, E.K., Balasubramanian, D., Levendovszky, T.: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 647–661. Springer, Heidelberg (2011)Google Scholar
  3. 3.
    Jackson, E.K., Bjørner, N., Schulte, W.: Canonical regular types. In: ICLP (Technical Communications), pp. 73–83 (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Wolfram Schulte
    • 1
  • Ethan K. Jackson
    • 1
  1. 1.Microsoft ResearchRedmondUSA

Personalised recommendations