Procasor Environment: Interactive Environment for Requirement Specification

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F05%3A00207417" target="_blank" >RIV/00216208:11320/05:00207417 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Procasor Environment: Interactive Environment for Requirement Specification

Original language description

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. Behaviourspecification 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).

Czech name

—

Czech description

—

Type

R - Software

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA201%2F03%2F0911" target="_blank" >GA201/03/0911: Development of advanced software components and models</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Internal product ID

Procasor 2005

Technical parameters

Neuveden

Economical parameters

—

Owner IČO

00216208

Owner name

MFF