DynAlloy: Upgrading alloy with actions

Proceedings - 27th International Conference on Software Engineering, ICSE05

Volumn , Issue , 2005, Pages 442-450

  Frias, Marcelo F ^a,c   Galeotti, Juan P ^a   Pombo, Carlos G López ^a   Aguirre, Nazareno M ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b DEPARTAMENTO DE QUÍMICA   (Argentina)

^c Facultad de Ciencias Naturales e Instituto M Lillo   (Argentina)

Author keywords

Alloy; Dynamic logic; Software specification; Software validation

Indexed keywords

ALLOY; DYNAMIC LOGIC; SOFTWARE SPECIFICATION; SOFTWARE VALIDATION; DYNALLOY; SOFTWARE SPECIFICATIONS;

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; STANDARDS; AUTOMATION; DYNAMIC PROGRAMMING; SEMANTICS; SYNTACTICS;

SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 33244466281     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. E. W. Dijkstra and C. S. Scholten. Predicate calculus and program semantics. Springer-Verlag, 1990.
2. E. Goldberg and Y. Novikov. BerkMin: A fast and robust sat-solver. In Proceedings of the conference on Design, automation and test in Europe, pages 142-149. IEEE Computer Society, 2002.
3. D. Harel, D. Kozen, and J. Tiuryn. Dynamic logic. Foundations of Computing. MIT Press, 2000.
4. D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 2002.
5. D. Jackson. A micromodels of software: Lightweight modelling and analysis with Alloy. MIT Laboratory for Computer Science, Cambridge, MA, 2002.
6. D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proceedings of the 8th European software engineering conference held together with the 9th ACM SIGSOFT international symposium on Foundations of software engineering, pages 62-73, Vienna, Austria, 2001. Association for the Computer Machinery, ACM Press.
7. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: engineering an efficient SAT solver. In J. Rabaey, editor, Proceedings of the 88th conference on Design automation, pages 530-535, Las Vegas, Nevada, United States, 2001. ACM Press.
8. J. M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge University Press, 1988.