Assisting Requirement Formalization by Means of Natural Language Translation

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini. Assisting Requirement Formalization by Means of Natural Language Translation. Formal Methods in System Design, 4(3):243-263, 1994.

Abstract

Abstract is missing.