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
Oh
Programming Languages and Systems
Programming Languages and Systems
19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 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
Huisman / Pasareanu / Zhan
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
Ballarini / Castel / Dimitriou / Iacono / Phung-Duc / Walraevens
Performance Engineering and Stochastic Modeling
Performance Engineering and Stochastic Modeling
17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings
Feng / Fisman
21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings
Bartocci / Falcone / Leucker
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
O'Reilly / Devroey
Search-Based Software Engineering
Search-Based Software Engineering
13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings
Hacid / Kao / Mecella / Moha / Paik
19th International Conference, ICSOC 2021, Virtual Event, November 22-25, 2021, Proceedings
Qin / Woodcock / Zhang
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 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
Ardito / Jedlitschka / Morisio / Torchiano
Product-Focused Software Process Improvement
Product-Focused Software Process Improvement
22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings
Campos / Minea
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
Nambiar / Poess
Performance Evaluation and Benchmarking
Performance Evaluation and Benchmarking
13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers
Moschoyiannis / Peñaloza / Vanthienen / Soylu / Roman
5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings
Xu / Xia / Zhang
28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-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
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
Cheney / Perri
Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings