Programming and Software Engineering

Dalpiaz / Spoletini

Requirements Engineering: Foundation for Software Quality

Requirements Engineering: Foundation for Software Quality

Requirements Engineering: Foundation for Software Quality

27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings

27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-73127-4

1st ed. 2021

Bhalachandra / Wienke / Chandrasekaran / Juckeland

Accelerator Programming Using Directives

Accelerator Programming Using Directives

Accelerator Programming Using Directives

7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-74223-2

1st ed. 2021

Hacid / Outay / Paik / Alloum / Petrocchi / Bouadjenek / Beheshti / Liu / Maaradji

Service-Oriented Computing - ICSOC 2020 Workshops

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

AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-76351-0

1st ed. 2021

Dutle / Moscato / Titolo / Muñoz / Perez

NASA Formal Methods

NASA Formal Methods

NASA Formal Methods

13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-76383-1

1st ed. 2021

Bowles / Broccia / Nanni

From Data to Models and Back

From Data to Models and Back

From Data to Models and Back

9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-70649-4

1st ed. 2021

Peters / Willemse

Formal Techniques for Distributed Objects, Components, and Systems

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

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

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-78088-3

1st ed. 2021

Damiani / Dardha

Coordination Models and Languages

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

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

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-78141-5

1st ed. 2021

Lin / Hou / Mahony

Formal Methods and Software Engineering

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

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

Fachbuch 1st ed. 2020 2020 Buch Springer ISBN 978-3-030-63405-6

1st ed. 2020

Cleophas / Massink

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

1st ed. 2021 2021 Buch Springer ISBN 978-3-030-67219-5

1st ed. 2021

Morales / Orchard

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

1st ed. 2021 2021 Buch Springer ISBN 978-3-030-67437-3

1st ed. 2021

Pichardie / Sighireanu

Static Analysis

Static Analysis

Static Analysis

27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings

27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings

1st ed. 2020 2021 Buch Springer ISBN 978-3-030-65473-3

1st ed. 2020

ter Beek / Nickovic

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Fachbuch 1st ed. 2020 2020 Buch Springer ISBN 978-3-030-58297-5

1st ed. 2020

Lee / Jha / Mavridou / Giannakopoulou

NASA Formal Methods

NASA Formal Methods

NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings

12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings

Fachbuch 1st ed. 2020 2020 Buch Springer ISBN 978-3-030-55753-9

1st ed. 2020

Grossmann / Ram

Advances in Conceptual Modeling

Advances in Conceptual Modeling

Advances in Conceptual Modeling

ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

1st ed. 2020 2020 Buch Springer ISBN 978-3-030-65846-5

1st ed. 2020

Ahrendt / Beckert / Bubel / Hähnle / Ulbrich

Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Reflections on the Occasion of 20 Years of KeY

1st ed. 2020 2020 Buch Springer ISBN 978-3-030-64353-9

1st ed. 2020

Kafeza / Benatallah / Martinelli / Hacid / Bouguettaya / Motahari

Service-Oriented Computing

Service-Oriented Computing

Service-Oriented Computing

18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

1st ed. 2020 2020 Buch Springer ISBN 978-3-030-65309-5

1st ed. 2020

Christakis / Polikarpova / Duggirala / Schrammel

Software Verification

Software Verification

Software Verification

12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

1st ed. 2020 2020 Buch Springer ISBN 978-3-030-63617-3

1st ed. 2020

Ben Sassi / Ducasse / Mili

Reuse in Emerging Software Engineering Practices

Reuse in Emerging Software Engineering Practices

Reuse in Emerging Software Engineering Practices

19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings

19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings

1st ed. 2020 2020 Buch Springer ISBN 978-3-030-64693-6

1st ed. 2020

Bernhaupt / Ardito / Sauer

Human-Centered Software Engineering

Human-Centered Software Engineering

Human-Centered Software Engineering

8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 - December 2, 2020, Proceedings

8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 - December 2, 2020, Proceedings

1st ed. 2020 2020 Buch Springer ISBN 978-3-030-64265-5

1st ed. 2020

Oliveira

Programming Languages and Systems

Programming Languages and Systems

Programming Languages and Systems

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

1st ed. 2020 2020 Buch Springer ISBN 978-3-030-64436-9

1st ed. 2020