Finding Models in Model-Based Development

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

Abstract

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.

References

  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