Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The confe...
Saved in:
| Format: | Online |
|---|---|
| Language: | English |
| Published: |
Springer Nature
2021
|
| Subjects: | |
| Online Access: | ONIX_20210420_9783030715007_13 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1869518605688766464 |
|---|---|
| collection | Directory of Open Access Books |
| description | This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions. |
| format | Online |
| id | doab-20.500.12854ir-67919 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-679192025-03-12T06:47:43Z Fundamental Approaches to Software Engineering Guerra, Esther Stoelinga, Mariëlle Software Engineering/Programming and Operating Systems Data Structures and Information Theory Natural Language Processing (NLP) Programming Techniques Theory of Computation Software Engineering architecture verification and validation artificial intelligence embedded systems empirical software validation formal logic formal methods model checking model-driven software engineering object-oriented programming parallel processing systems program analysis program compilers signal processing software architecture software performance software selection and adaptation software testing and debugging telecommunication systems verification Operating systems Algorithms & data structures Information theory Natural language & machine translation Computer programming / software engineering Computer science Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions. 2021-04-20T12:47:31Z 2021 book ONIX_20210420_9783030715007_13 OCN: 1244545481 https://library.oapen.org/handle/20.500.12657/48217 9783030715007 https://directory.doabooks.org/handle/20.500.12854/67919 eng Lecture Notes in Computer Science; Theoretical Computer Science and General Issues open access image/png image/jpeg image/jpeg image/jpeg Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/48217/1/9783030715007.pdf https://library.oapen.org/bitstream/20.500.12657/48217/1/9783030715007.pdf https://library.oapen.org/bitstream/20.500.12657/48217/1/9783030715007.pdf https://library.oapen.org/bitstream/20.500.12657/48217/1/9783030715007.pdf Springer Nature Springer 10.1007/978-3-030-71500-7 10.1007/978-3-030-71500-7 9fa3421d-f917-4153-b9ab-fc337c396b5a 78d37288-5df6-4c27-88a4-b5d766b84435 9783030715007 Springer 373 [grantnumber unknown] open access |
| spellingShingle | Software Engineering/Programming and Operating Systems Data Structures and Information Theory Natural Language Processing (NLP) Programming Techniques Theory of Computation Software Engineering architecture verification and validation artificial intelligence embedded systems empirical software validation formal logic formal methods model checking model-driven software engineering object-oriented programming parallel processing systems program analysis program compilers signal processing software architecture software performance software selection and adaptation software testing and debugging telecommunication systems verification Operating systems Algorithms & data structures Information theory Natural language & machine translation Computer programming / software engineering Computer science Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science Fundamental Approaches to Software Engineering |
| title | Fundamental Approaches to Software Engineering |
| title_full | Fundamental Approaches to Software Engineering |
| title_fullStr | Fundamental Approaches to Software Engineering |
| title_full_unstemmed | Fundamental Approaches to Software Engineering |
| title_short | Fundamental Approaches to Software Engineering |
| title_sort | fundamental approaches to software engineering |
| topic | Software Engineering/Programming and Operating Systems Data Structures and Information Theory Natural Language Processing (NLP) Programming Techniques Theory of Computation Software Engineering architecture verification and validation artificial intelligence embedded systems empirical software validation formal logic formal methods model checking model-driven software engineering object-oriented programming parallel processing systems program analysis program compilers signal processing software architecture software performance software selection and adaptation software testing and debugging telecommunication systems verification Operating systems Algorithms & data structures Information theory Natural language & machine translation Computer programming / software engineering Computer science Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science |
| topic_facet | Software Engineering/Programming and Operating Systems Data Structures and Information Theory Natural Language Processing (NLP) Programming Techniques Theory of Computation Software Engineering architecture verification and validation artificial intelligence embedded systems empirical software validation formal logic formal methods model checking model-driven software engineering object-oriented programming parallel processing systems program analysis program compilers signal processing software architecture software performance software selection and adaptation software testing and debugging telecommunication systems verification Operating systems Algorithms & data structures Information theory Natural language & machine translation Computer programming / software engineering Computer science Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science |
| url | ONIX_20210420_9783030715007_13 |