Applications of linguistic techniques for use case analysis

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Engineering, Software Systems, B Method +27

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Specification Language, Formal Specification, Engineering +9

The unified modelling language reference manual

James Rumbaugh, Grady Booch, Ivar Jacobson · Dialnet (Universidad de la Rioja) · 1999 · 543 citations

Engineering, Automated Reasoning, Formal Methods +8

Structuring Use Cases with Goals

Alistair Cockburn · 2000 · 282 citations

Automated analysis of requirement specifications

William Wilson, Linda Rosenberg, Lawrence E. Hyatt · 1997 · 195 citations · Full text