DynAlloy: Upgrading alloy with actions

We present DynAlloy, an extension to the Alloy specification language to describe dynamic properties of systems using actions. Actions allow us to appropriately specify dynamic properties, particularly, properties regarding execution traces, in the style of dynamic logic specifications. We extend Al...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Frias, M.F., Galeotti, J.P., Pombo, C.G.L., Aguirre, N.M.
Formato: CONF
Materias:
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
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_NIS03850_v_n_p442_Frias
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares