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
Nambiar / Poess
Performance Evaluation and Benchmarking
Performance Evaluation and Benchmarking
13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers
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
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
Bhalachandra / Daley / Melesse Vergara
Accelerator Programming Using Directives
Accelerator Programming Using Directives
8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings
Serhani / Zhang
17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 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
Moschoyiannis / Peñaloza / Vanthienen / Soylu / Roman
5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 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
Huisman / Pasareanu / Zhan
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
Katangur / Zhang
18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 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
Bloem / Dimitrova / Fan / Sharygina
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
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
Hacid / Kao / Mecella / Moha / Paik
19th International Conference, ICSOC 2021, Virtual Event, November 22-25, 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
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
Lin / Hou / Mahony
Formal Methods and Software Engineering
Formal Methods and Software Engineering
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Dongol / Troubitsyna
16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings