Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers von Fiadeiro, Jose Luiz, Tutu, Ionut

Volltext

Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings von Cavalheiro, Simone, Fiadeiro, Jose

Volltext

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017) von Cavalheiro, Simone, Fiadeiro, José Luiz

Volltext

An abstract model of service discovery and binding von Fiadeiro, José Luiz, Lopes, Antónia, Bocchi, Laura

Volltext

A Formal Approach to Service Component Architecture von Fiadeiro, José Luiz, Lopes, Antónia, Bocchi, Laura

Volltext

An interface theory for service-oriented design von Fiadeiro, José Luiz, Lopes, Antónia

Volltext

A Full Operational Semantics for Asynchronous Relational Networks von Vissani, Ignacio, Pombo, Carlos Gustavo Lopez, Ţuţu, Ionuţ, Fiadeiro, José Luiz

Volltext

A model for dynamic reconfiguration in service-oriented architectures von Fiadeiro, José Luiz, Lopes, Antónia

Volltext

From conventional to institution-independent logic programming von  u u, I., Fiadeiro, J. L.

Volltext

Formal Aspects of Component Software (FACS 2013) von Fiadeiro, José Luiz, Liu, Zhiming

Volltext

Logics for Actor Networks: A two-stage constrained-hybridisation approach von Fiadeiro, José Luiz, Ţuţu, Ionuţ, Lopes, Antónia, Pavlovic, Dusko

Volltext

Designing for software's social complexity von Fiadeiro, J.L.

Volltext

Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers von Fiadeiro, José Luiz, Liu, Zhiming, Xue, Jinyun

Volltext

Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...

Volltext

Guest Editors' Introduction: Evolving Critical Systems von Coyle, Lorcan, Hinchey, Mike, Nuseibeh, Bashar, Fiadeiro, José Luiz

Volltext

Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : Revised Selected Papers von Hutchison, David, Kanade, Takeo, Kittler, Josef

Volltext

Service-Oriented Logic Programming von Tutu, Ionut, Fiadeiro, Jose Luiz

Volltext

Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings von Fiadeiro, José Luis, Harman, Neil, Roggenbach, Markus, Rutten, Jan

Volltext

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers von Fiadeiro, José Luiz, Mosses, Peter, Orejas, Fernando

Volltext

Dynamic Reconfiguration via Typed Modalities von Ţuţu, Ionuţ, Chiriţă, Claudia Elena, Fiadeiro, José Luiz

Volltext