Non-functional properties in the model-driven development of service-oriented systems

Basic concepts and taxonomy of dependable and secure computing

A. Avižienis, J.-C. Laprie, Brian Randell et al. · IEEE Transactions on Dependable and Secure Computing · 2004 · 5.1K citations · Full text

Computing, Computer Science, Computer Systems +17

Model-based performance prediction in software development: a survey

Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi et al. · IEEE Transactions on Software Engineering · 2004 · 765 citations

Computing, Computer Science, Performance Measurement +12

From UML sequence diagrams and statecharts to analysable petri net models

Simona Bernardi, Susanna Donatelli, José Merseguer · 2002 · 281 citations

Computing, Computer Science, Systems Engineering +16

Web Services Security: SOAP Message Security

Alyn Iorwerth · 2017 · 219 citations

Computing, Computer Science, Information Systems +13

Performance by unified model analysis (PUMA)

Murray Woodside, Dorina C. Petriu, Dorin B. Petriu et al. · 2005 · 207 citations · Full text

Engineering, Systems Engineering, Model-based Systems Engineering +11