Reprotool 1.0 (Requirements Processing Tool)

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F11%3A10103896" target="_blank" >RIV/00216208:11320/11:10103896 - isvavai.cz</a>

Výsledek na webu

<a href="http://d3s.mff.cuni.cz/software/reprotool" target="_blank" >http://d3s.mff.cuni.cz/software/reprotool</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Reprotool 1.0 (Requirements Processing Tool)

Popis výsledku v původním jazyce

Reprotool is an IDE (Integrated Development Environment) tool for capturing requirements of a developed system and verifying consistency of the system''s specification. In the current version, Reprotool focuses on functional requirements in the form of use-cases. Reprotool users can interactively derive formal specification of the system''s behavior from plain text. This way, both "user-readable" textual specification and precise formal specifications is developed at the same time, only slightly increasing the effort required to create a consistent specification. The developed model can be further processed e.g. verified for consistency or exported to other formats, such as UML diagrams.

Název v anglickém jazyce

Reprotool 1.0 (Requirements Processing Tool)

Popis výsledku anglicky

Reprotool is an IDE (Integrated Development Environment) tool for capturing requirements of a developed system and verifying consistency of the system''s specification. In the current version, Reprotool focuses on functional requirements in the form of use-cases. Reprotool users can interactively derive formal specification of the system''s behavior from plain text. This way, both "user-readable" textual specification and precise formal specifications is developed at the same time, only slightly increasing the effort required to create a consistent specification. The developed model can be further processed e.g. verified for consistency or exported to other formats, such as UML diagrams.

Druh

R - Software

CEP obor

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

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP103%2F11%2F1489" target="_blank" >GAP103/11/1489: Metody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce</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)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2011

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

D3S-SW-2011-03

Technické parametry

podrobně na http://d3s.mff.cuni.cz/software/reprotool

Ekonomické parametry

Jedná se o open source software (BSD licence) bez licenčních poplatků za užití.

IČO vlastníka výsledku

00216208

Název vlastníka

Univerzita Karlova v Praze, Matematicko-fyzikální fakulta