Publications
Export 4 results:
Filters: Author is Lopes, Antónia [Clear All Filters]
Specifying and Monitoring Java Classes,
: DI-FCUL, 2009.
"Formal modelling of service-oriented systems",
Model and Data Engineering: Springer Berlin Heidelberg, pp. 3–3, 2011.
"A graph-based design framework for services",
Graph Transformations: Springer Berlin Heidelberg, pp. 1–19, 2012.
Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings,
, vol. 10475: Springer, 2017.

