Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Model checking

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

The vision of autonomic computing

Jeffrey O. Kephart, David M. Chess · Computer · 2003 · 6.4K citations

Computing, Computer Science, Computer Systems +10

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

Towards modelling and reasoning support for early-phase requirements engineering

Eric Yu · 2002 · 1.6K citations

Engineering, Computer Science, Knowledge Representation +11

Models@ run.time

Gordon S. Blair, Nelly Bencomo, Robert B. France · Computer · 2009 · 646 citations

Computing, Computer Science, Systems Engineering +13