Programming and Software Engineering

Huisman / Pasareanu / Zhan

Formal Methods

Formal Methods

Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-90869-0

1st ed. 2021

Qin / Woodcock / Zhang

Dependable Software Engineering. Theories, Tools, and Applications

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

7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-91264-2

1st ed. 2021

Hacid / Kao / Mecella / Moha / Paik

Service-Oriented Computing

Service-Oriented Computing

Service-Oriented Computing

19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings

19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-91430-1

1st ed. 2021

Ardito / Jedlitschka / Morisio / Torchiano

Product-Focused Software Process Improvement

Product-Focused Software Process Improvement

Product-Focused Software Process Improvement

22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-91451-6

1st ed. 2021

Salaün / Wijs

Formal Aspects of Component Software

Formal Aspects of Component Software

Formal Aspects of Component Software

17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-90635-1

1st ed. 2021

Ballarini / Castel / Dimitriou / Iacono / Phung-Duc / Walraevens

Performance Engineering and Stochastic Modeling

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

17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-91824-8

1st ed. 2021

Campos / Minea

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-92136-1

1st ed. 2021

Hojjat / Massink

Fundamentals of Software Engineering

Fundamentals of Software Engineering

Fundamentals of Software Engineering

9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers

9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-89246-3

1st ed. 2021

Dragoi / Mukherjee / Namjoshi

Static Analysis

Static Analysis

Static Analysis

28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-88805-3

1st ed. 2021

Hou / Ganesh

Automated Technology for Verification and Analysis

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

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-88884-8

1st ed. 2021

Reinhartz-Berger / Sadiq

Advances in Conceptual Modeling

Advances in Conceptual Modeling

Advances in Conceptual Modeling

ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings

ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-88357-7

1st ed. 2021

Oh

Programming Languages and Systems

Programming Languages and Systems

Programming Languages and Systems

19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-89050-6

1st ed. 2021

Feng / Fisman

Runtime Verification

Runtime Verification

Runtime Verification

21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-88493-2

1st ed. 2021

O'Reilly / Devroey

Search-Based Software Engineering

Search-Based Software Engineering

Search-Based Software Engineering

13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings

13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-88105-4

1st ed. 2021

Bartocci / Falcone / Leucker

Formal Methods in Outer Space

Formal Methods in Outer Space

Formal Methods in Outer Space

Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-87347-9

1st ed. 2021

Moschoyiannis / Peñaloza / Vanthienen / Soylu / Roman

Rules and Reasoning

Rules and Reasoning

Rules and Reasoning

5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings

5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings

Fachbuch1st ed. 20212022BuchSpringerISBN 978-3-030-91166-9

1st ed. 2021

Biffl / Navarro / Löwe / Sirjani / Mirandola / Weyns

Software Architecture

Software Architecture

Software Architecture

15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-86043-1

1st ed. 2021

McIntosh-Smith / de Supinski / Klinkenberg

OpenMP: Enabling Massive Node-Level Parallelism

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

17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-85261-0

1st ed. 2021

Lluch Lafuente / Mavridou

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-85247-4

1st ed. 2021

Habli / Sujan / Bitsch

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings

40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings

Fachbuch1st ed. 20212021BuchSpringerISBN 978-3-030-83902-4

1st ed. 2021