Making inconsistency respectable in software development

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

Automated consistency checking of requirements specifications

Constance Heitmeyer, Ralph D. Jeffords, B. Labaw · ACM Transactions on Software Engineering and Methodology · 1996 · 603 citations

Engineering, Computer Science, Formal Methods +16

A framework for expressing the relationships between multiple views in requirements specification

Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein · IEEE Transactions on Software Engineering · 1994 · 544 citations · Full text

Engineering, Systems Engineering, Requirements Engineering +14

Inconsistency handling in multiperspective specifications

Anthony Finkelstein, Anthony Hunter, Jeff Kramer et al. · IEEE Transactions on Software Engineering · 1994 · 536 citations

Computing, Systems Engineering, Formal Methods +11

Tolerating inconsistency

Robert Balzer · International Conference on Software Engineering · 1991 · 241 citations

Computing, Computer Science, Computer Systems +14