Target oriented relational model finding

Conference object English OPEN
Cunha, Alcino; Macedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel Moreira;
(2014)

Lecture Notes in Computer Science 8411, 2014 Model finders are becoming useful in many software engineering problems. Kodkod is one of the most popular, due to its support for relational logic (a combination of first order logic with relational algebra operators and ... View more
  • References (21)
    21 references, page 1 of 3

    1. As n, R., Nieuwenhuis, R., Oliveras, A., Rodr guez-Carbonell, E.: Cardinality networks: a theoretical and empirical study. Constraints 16(2), 195{221 (2011)

    2. Cha, B., Iwama, K., Kambayashi, Y., Miyazaki, S.: Local search algorithms for partial MAXSAT. In: AAAI'97. pp. 263{268. AAAI (1997)

    3. Czarnecki, K., Foster, J., Hu, Z., Lammel, R., Schurr, A., Terwilliger, J.: Bidirectional transformations: A cross-discipline perspective. In: ICMT'09, LNCS, vol. 5563, pp. 260{283. Springer (2009)

    4. Edwards, J., Jackson, D., Torlak, E.: A type system for object models. In: FSE'04. pp. 189{199. ACM (2004)

    5. Fu, Z., Malik, S.: On solving the partial MAX-SAT problem. In: SAT'06. LNCS, vol. 4121, pp. 252{265. Springer (2006)

    6. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, revised edn. (2012)

    7. Macedo, N., Cunha, A.: Implementing QVT-R bidirectional model transformations using Alloy. In: FASE'13. LNCS, vol. 7793, pp. 297 { 311. Springer (2013)

    8. Macedo, N., Guimar~aes, T., Cunha, A.: Model repair and transformation with Echo. In: ASE'13. pp. 694{697. IEEE (2013)

    9. Maglalang, J.C.: Native cardinality constraints: More expressive, more e cient constraints. Honors Projects, Paper 19, Illinois Wesleyan University (2012)

    10. Milicevic, A., Jackson, D.: Preventing arithmetic over ows in Alloy. In: ABZ'12. LNCS, vol. 7316, pp. 108{121. Springer (2012)

  • Similar Research Results (2)
  • Metrics
Share - Bookmark