Defining the meaning of tabular mathematical expressions

Specifying Software Requirements for Complex Systems: New Techniques and Their Application

Kathryn L. Heninger · IEEE Transactions on Software Engineering · 1980 · 502 citations

Engineering, Computer Science, Systems Engineering +17

Functional documents for computer systems

David Lorge Parnas, Jan Madey · Science of Computer Programming · 1995 · 413 citations

Computing, Computer Science, Computer Systems +13

Software Requirements for the A-7E Aircraft.

Thomas A. Alspaugh, Stuart Faulk, Kathryn Heninger Britton et al. · Defense Technical Information Center (DTIC) · 1992 · 227 citations

Engineering, Computer Science, Systems Engineering +12

International Conference On Information Technology: Coding And Computing

2001 · 211 citations

Computing, Computer Science, Information Technology +12

Using test oracles generated from program documentation

Dennis Peters, David Lorge Parnas · IEEE Transactions on Software Engineering · 1998 · 168 citations

Computing, Computer Science, Computer Systems +15