Programming and Software Engineering
De Nicola / Calinescu / Rumpe
Software Engineering and Formal Methods
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
1st ed. 2015
Dragoi / Mukherjee / Namjoshi
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
Hou / Ganesh
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
Salaün / Wijs
Formal Aspects of Component Software
Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
Biffl / Navarro / Löwe / Sirjani / Mirandola / Weyns
15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings
Loulergue / Wotawa
15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings
Yamashita / Yokoyama
13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings
Fogli / Tetteroo / Barricelli / Borsci / Markopoulos / Papadopoulos
8th International Symposium, IS-EUD 2021, Virtual Event, July 6-8, 2021, Proceedings
Cristea / Troussas
17th International Conference, ITS 2021, Virtual Event, June 7-11, 2021, Proceedings
McIntosh-Smith / De Supinski / Klinkenberg
OpenMP: Enabling Massive Node-Level Parallelism
OpenMP: Enabling Massive Node-Level Parallelism
17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, Proceedings
Reinhartz-Berger / Sadiq
Advances in Conceptual Modeling
Advances in Conceptual Modeling
ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings
Oh
Programming Languages and Systems
Programming Languages and Systems
19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings
Raschke / Riccobene / Schewe
Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Hacid / Outay / Paik / Alloum / Petrocchi / Bouadjenek / Beheshti / Liu / Maaradji
Service-Oriented Computing - ICSOC 2020 Workshops
Service-Oriented Computing - ICSOC 2020 Workshops
AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings
Peters / Willemse
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
Damiani / Dardha
Coordination Models and Languages
Coordination Models and Languages
23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
Attiogbé / Ben Yahia
10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings
Lluch Lafuente / Mavridou
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
Feng / Fisman
21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings
Hojjat / Massink
Fundamentals of Software Engineering
Fundamentals of Software Engineering
9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers