Multifunctional software systems: Structured modeling and specification of functional requirements

On the criteria to be used in decomposing systems into modules

David Lorge Parnas · Communications of the ACM · 1972 · 4.6K citations · Full text

Engineering, Software Systems, Computer Architecture +26

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Formal Specification, Engineering, Automated Reasoning +15

On visual formalisms

David Harel · Communications of the ACM · 1988 · 1.3K citations · Full text

Directed Graph, Engineering, Visual Formalisms +19

Writing effective use cases

Mordechai Ben-Menachem · ACM SIGSOFT Software Engineering Notes · 2001 · 1K citations

Empirical Case Study, Engineering, Design +8

Four dark corners of requirements engineering

Pamela Zave, Michael Jackson · ACM Transactions on Software Engineering and Methodology · 1997 · 724 citations

Software Maintenance, Engineering, Requirement Modeling +18