Procasor Environment: Interactive Environment for Requirement Specification
The goal of the Procasor Environment project is to develop an interactive environment for writing requirement specifications, where formal behavior specifications are created in paralel with textual use cases. Building upon the transformation proposed in [Mencl04WITSE] and implemented in the original prototype Procasor tool, the interactive environment will employ natural language processing tools to derive behavior specifications from textual use cases.
The Procasor Environment project is a student Software Project at the
Department of Software Engineering, Faculty of Mathematics and Physics,
Charles University. The project specification was approved and the project started on Nov 25, 2004.
The project has been successfully defended in September 2005.
You may obtain the defended Procasor Environment distribution in the
The project is supervised by Vladimir Mencl.
The students participating in the project are:
The Procasor Environment project has been successfully defended in September 2005, and the defended version (with subsequent amendments)
available for download under the terms of the
Research License, provided in Appendix D of the User
Documentation. The released version consists of:
Source and binary distribution, procasor.tar.gz (.tar.gz, 91MB, includes the linguistic tools distribution, and also the User, Developer and API documentation, for convenience also available separately below).
The distribution made available in the Downloads
section includes as an example a fully-fledged project
Marketplace, based on the use cases used throughout the lifespan
of the Procasor project and originally published in the technical report ``Use Cases: Assembling "Whole Picture" Behavior''.