CORNEJO, CESAR; REGIS, GERMAN; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

A Study of the Electrum and DynAlloy Dynamic Behavior Notations

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Año: 2023

MOLINA, FACUNDO; CORNEJO, CÉSAR; DEGIOVANNI, RENZO; REGIS, GERMÁN; CASTRO, PABLO F.; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

An evolutionary approach to translating operational specifications into declarative specifications

SCIENCE OF COMPUTER PROGRAMMING; Año: 2019 vol. 181 p. 47 - 63