A theory of software product line refinement

Security Policies and Security Models

Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations

Computing, Computer Science, Computer Systems +15

Refactoring improving the design of existing code

Mauricio A. Saca · 2017 · 2.1K citations

Computing, Computer Science, Computer Systems +11

Refactoring object-oriented frameworks

William F. Opdyke · 1992 · 1K citations

Computing, Computer Science, Design Automation +16

Proof of correctness of data representations

C. A. R. Hoare · Acta Informatica · 1972 · 967 citations

Computing, Computer Science, Databases +11

Formalizing cardinality‐based feature models and their specialization

Krzysztof Czarnecki, Simon Helsen, Ulrich W. Eisenecker · Software Process Improvement and Practice · 2005 · 594 citations

Computing, Computer Science, Systems Engineering +15