DynAlloy: Upgrading Alloy with Actions
Marcelo F. Frias, Juan P. Galeotti, Carlos G. López Pombo, Nazareno M. Aguirre[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 27th International Conference on Software Engineering
ICSE '05
St. Louis, MO, USA
ACM
New York, NY, USA
Pages 442-451
2005
Note(s): Alloy verifier, requirements specification
ICSE '05
St. Louis, MO, USA
ACM
New York, NY, USA
Pages 442-451
2005
Note(s): Alloy verifier, requirements specification