Procasor Environment: Interactive Environment for Requirement Specification

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Procasor Environment: Interactive Environment for Requirement Specification

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Procasor Environment: Interactive Environment for Requirement Specification

Popis výsledku anglicky

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

Druh

R - Software

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F03%2F0911" target="_blank" >GA201/03/0911: Vývoj pokročilých softwarových komponent a modelů</a><br>

Návaznosti

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

Rok uplatnění

2005

Kód důvěrnosti údajů

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

Interní identifikační kód produktu

Procasor 2005

Technické parametry

Neuveden

Ekonomické parametry

—

IČO vlastníka výsledku

00216208

Název vlastníka

MFF