Translation of Textual Specifications to Automata by Means of Discourse Context Modeling

Leonid Kof. Translation of Textual Specifications to Automata by Means of Discourse Context Modeling. In Martin Glinz, Patrick Heymans, editors, Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings. Volume 5512 of Lecture Notes in Computer Science, pages 197-211, Springer, 2009. [doi]

Abstract

Abstract is missing.