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