authors Alférez, Mauricio Amálio, Nuno Ciraci, Selim Fleurey, Franck Kienzle, Jörg Klein, Jacques Kramer, Max Mosser, Sebastien Mussbacher, Gunter Roubtsova, Ella Zhang, Gefei
keywords Aspect-oriented modeling Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Science & Technology Technology composition localization of concerns localization of reasoning verification