Computing refactorings of state machines

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra · Communications of the ACM · 1975 · 1.9K citations · Full text

Computing, Computer Science, Algorithms +14

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

Computing, Computer Science, Mathematics +17

A survey of software refactoring

Tom Mens, Tom Tourwé · IEEE Transactions on Software Engineering · 2004 · 1.2K citations · Full text

Computing, Computer Science, Knowledge Reuse +13

Hierarchical correctness proofs for distributed algorithms

Nancy Lynch, Mark R. Tuttle · 1987 · 767 citations · Full text

Computing, Computer Science, Algorithms +11

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