Cover Image

QR Code

Evaluation of Novel Approaches to Software Engineering 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers /

This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020. The 19 revised full papers presented were carefully reviewed and selected from 96 submissions....

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Ali, Raian. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kaindl, Hermann. (Editor, http://id.loc.gov/vocabulary/relators/edt), Maciaszek, Leszek A. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Communications in Computer and Information Science, 1375
Subjects:	Software engineering. Computers. Programming languages (Electronic computers). Architecture, Computer. Computer programming. Special purpose computers. Software Engineering/Programming and Operating Systems. Information Systems and Communication Service. Programming Languages, Compilers, Interpreters. Computer System Implementation. Programming Techniques. Special Purpose and Application-Based Systems.
Online Access:	https://doi.org/10.1007/978-3-030-70006-5

Similar Items

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL’06 / edited by Sorin Alexander Huss.
Published: (2007)

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings / edited by Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro.
Published: (2017)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings / edited by Fernando Rincón, Jesús Barba, Hayden K. H. So, Pedro Diniz, Julián Caba.
Published: (2020)

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers / edited by Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek.
Published: (2019)

Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / edited by Maurice H. ter Beek, Dejan Ničković.
Published: (2020)

Benchmarking, Measuring, and Optimizing Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers / edited by Felix Wolf, Wanling Gao.
Published: (2021)

Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol.
Published: (2007)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.
Published: (2008)

Embedded Systems Specification and Design Languages Selected Contributions from FDL’07 / edited by Eugenio Villar.
Published: (2008)

Cyber Physical Systems. Model-Based Design 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha.
Published: (2020)

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)

Industrial IoT Technologies and Applications 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings / edited by Lourdes Peñalver, Lorena Parra.
Published: (2021)

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
Published: (2017)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
Published: (2016)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann.
Published: (2015)

Advanced Network Programming – Principles and Techniques Network Application Programming with Java / by Bogdan Ciubotaru, Gabriel-Miro Muntean.
by: Ciubotaru, Bogdan., et al.
Published: (2013)

Beginning Application Lifecycle Management by Joachim Rossberg.
by: Rossberg, Joachim., et al.
Published: (2014)

Cloud Computing – CLOUD 2020 13th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / edited by Qi Zhang, Yingwei Wang, Liang-Jie Zhang.
Published: (2020)

Ad Hoc Networks 6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014, Revised Selected Papers / edited by Natalie Mitton, Antoine Gallais, Melike Erol Kantarci, Symeon Papavassiliou.
Published: (2014)

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Automotive Software Architectures An Introduction / by Miroslaw Staron.
by: Staron, Miroslaw., et al.
Published: (2021)

Communication Technologies for Vehicles 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16–17, 2020, Proceedings / edited by Francine Krief, Hasnaâ Aniss, Léo Mendiboure, Serge Chaumette, Marion Berbineau.
Published: (2020)

Ad Hoc Networks 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers / edited by Mostafa Hashem Sherif, Abdelhamid Mellouk, Jun Li, Paolo Bellavista.
Published: (2014)

Industrial Networks and Intelligent Systems 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings / edited by Nguyen-Son Vo, Van-Phuc Hoang, Quoc-Tuan Vien.
Published: (2021)

Financial Cryptography and Data Security 24th International Conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020 Revised Selected Papers / edited by Joseph Bonneau, Nadia Heninger.
Published: (2020)

Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / edited by Michael Hanus, Claudio Sacerdoti Coen.
Published: (2021)

Ingredients for Successful System Level Design Methodology by Hiren D. Patel, Sandeep Kumar Shukla.
by: Patel, Hiren D., et al.
Published: (2008)

5G for Future Wireless Networks Second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019, Proceedings / edited by Victor C. M. Leung, Haijun Zhang, Xiping Hu, Qiang Liu, Zhi Liu.
Published: (2019)

Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008 / edited by Américo Azevedo.
Published: (2008)

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / edited by John P. Gallagher, Martin Sulzmann.
Published: (2018)

Communication Systems and Networks 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers / edited by Subir Biswas, Animesh Mukherjee, Mun Choon Chan, Sandip Chakraborty, Abhinav Kumar, Giridhar Mandyam, Rajeev Shorey.
Published: (2019)

Foundations of 3D Graphics Programming Using JOGL and Java3D / by Jim X. Chen, Chunyang Chen.
by: Chen, Jim X., et al.
Published: (2008)

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / edited by Amy L. Murphy, Jan Vitek.
Published: (2007)

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / edited by Pierre-François Dutot, Denis Trystram.
Published: (2016)

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.
Published: (2008)

Artificial Intelligence and Soft Computing 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
Published: (2020)

AIxIA 2020 – Advances in Artificial Intelligence XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / edited by Matteo Baldoni, Stefania Bandini.
Published: (2021)

HCI International 2020 – Late Breaking Papers: Virtual and Augmented Reality 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / edited by Constantine Stephanidis, Jessie Y. C. Chen, Gino Fragomeni.
Published: (2020)

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / edited by Dalibor Klusáček, Walfredo Cirne, Narayan Desai.
Published: (2018)

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.
Published: (2018)