Skip to main content
main-content

Alle Bücher der Reihe Programming and Software Engineering

2020 | Buch

Practical Aspects of Declarative Languages

22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.

The 10 full and 4 short papers were carefully reviewed and …

2020 | Buch

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers

This book constitutes revised selected papers of the Second International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2019, held at the Château de Villebrumier …

2020 | Buch

Formal Aspects of Component Software

16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.
The 9 full papers presented together with 9 …

2020 | Buch

Measurement, Modelling and Evaluation of Computing Systems

20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings

This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrücken, Germany, in March 2020.
The 16 full papers presented in this volume were …

2020 | Buch

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
The 9 full papers …

2020 | Buch

Requirements Engineering: Foundation for Software Quality

26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings

This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, held in Pisa, Italy, in March 2020.

The 14 full papers and 7 short papers in this volume …

2020 | Buch

Computer Performance Engineering

16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers

This book constitutes the refereed proceedings of the 16th European Workshop on Computer Performance Engineering, EPEW 2019, held in Milan, Italy, in November 2019.

The 10 papers presented in this volume together with one invited talk were …

2020 | Buch

Service-Oriented and Cloud Computing

8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings

This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in September 2020.

The 6 full and 8 short papers presented in this …

2020 | Buch

Service-Oriented Computing – ICSOC 2019 Workshops

WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019.

The …

2020 | Buch

Fields of Logic and Computation III

Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also …

2020 | Buch

Intelligent Tutoring Systems

16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings

This volume constitutes the proceedings of the 16th International Conference on Intelligent Tutoring Systems, ITS 2020, held in Athens, Greece, in June 2020.

The 23 full papers and 31 short papers presented in this volume were carefully reviewed …

2020 | Buch

Coordination Models and Languages

22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference …

2020 | Buch

Formal Techniques for Distributed Objects, Components, and Systems

40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International …

2020 | Buch

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.

The 7 regular papers, 1 short paper and …

2020 | Buch

Accelerator Programming Using Directives

6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.

The 7 full papers presented have been carefully …

2020 | Buch

Reversible Computation

12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 …

2020 | Buch

Performance Evaluation and Benchmarking for the Era of Cloud(s)

11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers

This book constitutes the refereed post-conference proceedings of the 11th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2019, held in conjunction with the 45th International Conference on Very Large Databases (VLDB …

2020 | Buch

Engineering Trustworthy Software Systems

5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.
The five chapters in this volume provide lectures on leading-edge …

2020 | Buch

NASA Formal Methods

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

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*

The 20 full and 5 short papers presented in this volume were carefully reviewed and selected …

2020 | Buch

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following …