Search results: Found 5

Listing 1 - 5 of 5
Sort by
Fundamental Approaches to Software Engineering

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452346 Year: Pages: 552 DOI: 10.1007/978-3-030-45234-6 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:29:57
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

Reversible Computation: Extending Horizons of Computing

Authors: --- --- ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030473617 Year: Pages: 237 DOI: 10.1007/978-3-030-47361-7 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-06-17 00:00:03
License:

Loading...
Export citation

Choose an application

Abstract

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030451905 Year: Pages: 501 DOI: 10.1007/978-3-030-45190-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:00
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452377 Year: Pages: 425 DOI: 10.1007/978-3-030-45237-7 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:03
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

The Impact of Digital Technologies on Public Health in Developed and Developing Countries

Authors: --- --- --- --- et al.
Book Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI ISBN: 9783030515171 Year: Pages: 442 DOI: 10.1007/978-3-030-51517-1 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-07-15 23:58:35
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.

Listing 1 - 5 of 5
Sort by
Narrow your search

Publisher

Springer Nature (5)


License

CC by (5)


Language

english (5)


Year
From To Submit

2020 (5)