Embedded architecture description language

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

System architecture directions for networked sensors

Jason Hill, Robert Szewczyk, Alec Woo et al. · ACM SIGPLAN Notices · 2000 · 3.1K citations · Full text

Engineering, Computer Engineering, Systems Engineering +14

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