Evolution styles: foundations and models for software architecture evolution

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Foundations for the study of software architecture

Dewayne E. Perry, Alexander L. Wolf · ACM SIGSOFT Software Engineering Notes · 1992 · 2K citations · Full text

Computing, Computer Science, Software Engineering +11

A classification and comparison framework for software architecture description languages

Nenad Medvidović, Richard N. Taylor · IEEE Transactions on Software Engineering · 2000 · 2K citations

Computing, Computer Science, Programming Languages +12

Documenting software architectures: views and beyond

Paul Clements, David Garlan, Reed Little et al. · 25th International Conference on Software Engineering, 2003. Proceedings. · 2003 · 1.4K citations

Computing, Systems Engineering, Software Engineering +16

The complexity of propositional linear temporal logics

A. Prasad Sistla, E. M. Clarke · Journal of the ACM · 1985 · 1.1K citations · Full text

Humanities, Computer Science, Mathematics +12