Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021
- Jos'e Proencca, A. Paskevich
- Computer ScienceF-IDE@NFM
- 5 August 2021
This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part of NFM'21, the…
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019
- Rosemary Monahan, V. Prevosto, Jos'e Proencca
- Computer ScienceF-IDE@FM
- 20 December 2019
This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portugal, as part of…
Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
- Jos'e Proencca, M. Tivoli
- Computer Science
- 22 December 2015
This volume contains the proceedings of FOCLASA 2015, the 14th International Workshop on the Foundations of Coordination Languages and Self-Adaptive Systems. FOCLASA 2015 was held in Madrid, Spain,…
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
- Javier C'amara, Jos'e Proencca
- Computer Science
- 11 February 2015
This volume contains the proceedings of FOCLASA 2014, the 13th International Workshop on the Foundations of Coordination Languages and Self-Adaptive Systems. FOCLASA 2014 was held in Rome, Italy, on…