Synthesis from Requirements

Citation: Vincenzo Gervasi, "Synthesizing ASMs from Natural Language Requirements". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 212-215.
Summary: A report on the automatic synthesis of ASM models from natural language descriptions of a system.
Subjects: Software Engineering
Download: From Vincenzo Gervasi's home page in PostScript.