Abstract
Procasor Environment is an interactive environment for writing requirement specifications, where formal behaviour specifications are created in parallel with textual use cases. The application is written in Java language with a Swing-based GUI.
Behaviour specification can be derived in a form of Pro-cases and UML State Machines. It employs natural language processing tools to derive behaviour specifications from text - Collins parser (written in C), MXPost tagger (written in Java), EGYPT toolkit tokenizer (written in Perl) and Morp-a tool (proprietary tool in binary form).