DynAlloy: upgrading alloy with actions Conferences

authors

• Frias, MF
• Galeotti, JR
• Pombo, Carlos Gustavo Lopez
• Aguirre, NM

status

• accepted 

publication date

• January 1, 2005

published in

• Proceedings - International Conference on Software Engineering  Journal

presented at event

• 27th International Conference on Software Engineering, 2005. ICSE 2005.  Conference

keywords

• Computer Science
• Computer Science, Software Engineering
• Science & Technology
• Technology
• alloy
• dynamic logic
• software specification
• software validation

Digital Object Identifier (DOI)

• 10.1109/icse.2005.1553587

start page

• 442

end page

• 450