Formal Verification of Annotated Textual Use-Cases - Simko, Viliam; Hauzar, David; Hnetynka, Petr; Bures, Tomas; Plasil, Frantisek (Computer journal, 2015)
Keywords: Annotations; Computer programs; Foams; Invariants; Natural language (computers); Semantics; Software; Software development; Users