Cover Image

QR Code

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /

This book is Open Access under a CC BY licence.

Corporate Author:	SpringerLink (Online service)
Other Authors:	Hähnle, Reiner. (Editor, http://id.loc.gov/vocabulary/relators/edt), van der Aalst, Wil. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Theoretical Computer Science and General Issues ; 11424
Subjects:	Software engineering. Programming languages (Electronic computers). Computer system failures. Computers. Computer simulation. Software Engineering. Programming Languages, Compilers, Interpreters. System Performance and Evaluation. The Computing Profession. Theory of Computation. Simulation and Modeling.
Online Access:	https://doi.org/10.1007/978-3-030-16722-6

Similar Items

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Alessandra Russo, Andy Schürr.
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2008)

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / edited by Kim Guldstrand Larsen, Tim Willemse.
Published: (2019)

Data-Driven 3D Facial Animation edited by Zhigang Deng, Ulrich Neumann.
Published: (2008)

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / edited by Jorge A. Pérez, Nobuko Yoshida.
Published: (2019)

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II / edited by Guan Gui, Lin Yun.
Published: (2019)

Machine Learning and Intelligent Communications 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings / edited by Xiangping Bryce Zhai, Bing Chen, Kun Zhu.
Published: (2019)

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / edited by Yamine Ait-Ameur, Shengchao Qin.
Published: (2019)

Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / edited by Maurizio Gabbrielli.
Published: (2020)

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Mikołaj Bojańczyk, Alex Simpson.
Published: (2019)

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy / edited by Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong.
Published: (2008)

Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings / edited by Jun Zheng, Cheng Li, Peter Han Joo Chong, Weixiao Meng, Feng Yan.
Published: (2019)

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
Published: (2016)

History of Nordic Computing 4 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers / edited by Christian Gram, Per Rasmussen, Søren Duus Østergaard.
Published: (2015)

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro.
Published: (2017)

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings / edited by Jérôme Feret, Heinz Koeppl.
Published: (2017)

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / edited by Shuai Han, Liang Ye, Weixiao Meng.
Published: (2019)

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe.
Published: (2014)

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.
Published: (2017)

Computer Aided Systems Theory – EUROCAST 2019 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
Published: (2020)

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / edited by Esther Guerra, Mariëlle Stoelinga.
Published: (2021)

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky.
Published: (2016)

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky.
Published: (2017)

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Björn Franke.
Published: (2015)

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / edited by José Fiadeiro, Paola Inverardi.
Published: (2008)

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / edited by Matthew B. Dwyer, Antonia Lopes.
Published: (2007)

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa.
Published: (2019)

Bio-Inspired Computing -- Theories and Applications 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings / edited by Maoguo Gong, Pan Linqiang, Song Tao, Ke Tang, Xingyi Zhang.
Published: (2015)

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat.
Published: (2018)

Communications and Networking 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings / edited by Xingang Liu, Dai Cheng, Lai Jinfeng.
Published: (2019)

Languages and Compilers for Parallel Computing 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers / edited by Santosh Pande, Vivek Sarkar.
Published: (2021)

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers / edited by Hossein Hojjat, Mieke Massink.
Published: (2019)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Vincent G. Duffy.
Published: (2013)

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.
Published: (2015)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran.
Published: (2019)

Advances in Smalltalk 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers / edited by Wolfgang De Meuter.
Published: (2007)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Stefania Gnesi, Arend Rensink.
Published: (2014)

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Perdita Stevens, Andrzej Wąsowski.
Published: (2016)

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Alexander Egyed, Ina Schaefer.
Published: (2015)

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin.
Published: (2017)