6 papers:
HILT-2014-Seidewitz #execution #modelling #uml- UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
ICSE-2013-Ciccozzi #modelling #uml- From models to code and back: correct-by-construction code from UML and ALF (FC), pp. 1459–1461.
SIGIR-2012-AzzopardiDG #interactive #named #web- ALF: a client side logger and server for capturing user interactions in web applications (LA, MD, RG), p. 1003.
MoDELS-2011-CuccuruGT- Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.
- MoDELS-2011-CuccuruGT
- Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.
PLILP-1991-Hanus- The ALF System (MH), pp. 423–424.
