Formal Verification of Annotated Textual Use-Cases

• Published in: Computer journal Vol. 58; no. 7; pp. 1495 - 1529
• Main Authors: Simko, Viliam, Hauzar, David, Hnetynka, Petr, Bures, Tomas, Plasil, Frantisek
• Format: Journal Article
• Language: English
• Published: Oxford Oxford Publishing Limited (England) 01.07.2015
• Subjects: Annotations; Computer programs; Foams; Invariants; Natural language (computers); Semantics; Software; Software development; Users

Textual use-cases have been traditionally used in the initial stages of the software development process to describe software functionality from the user's perspective. Their advantage is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically r...