2005 |
3 | EE | Artur Zawlocki,
Grzegorz Marczynski,
Piotr Kosiuczenko:
Property Preserving Redesign of Specifications.
CALCO 2005: 439-455 |
2004 |
2 | EE | Artur Zawlocki:
Architectural Specifications for Reactive Systems.
WADT 2004: 252-269 |
2002 |
1 | EE | Luis Filipe Andrade,
Paolo Baldan,
Hubert Baumeister,
Roberto Bruni,
Andrea Corradini,
Rocco De Nicola,
José Luiz Fiadeiro,
Fabio Gadducci,
Stefania Gnesi,
Piotr Hoffman,
Nora Koch,
Piotr Kosiuczenko,
Alessandro Lapadula,
Diego Latella,
Antónia Lopes,
Michele Loreti,
Mieke Massink,
Franco Mazzanti,
Ugo Montanari,
Cristóvão Oliveira,
Rosario Pugliese,
Andrzej Tarlecki,
Michel Wermelinger,
Martin Wirsing,
Artur Zawlocki:
AGILE: Software Architecture for Mobility.
WADT 2002: 1-33 |