[an error occurred while processing this directive]
[an error occurred while processing this directive]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. |
Notes: |