Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. Th...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | 13241 |
| creator | Johnsen, Einar Broch Wimmer, Manuel |
| description | This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. |
| doi_str_mv | 10.1007/978-3-030-99429-7 |
| format | Book |
| fullrecord | <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783030994297</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC6941355</sourcerecordid><originalsourceid>FETCH-LOGICAL-a32507-42e1486ef170beea76012b673878cbe42ad2b6a19c5e75d35d51cf72cbef52793</originalsourceid><addsrcrecordid>eNpNj81LxDAQxSOi-PkHiJfFi3ioTpKm0xw8rMv6AYIHxWuYtulutdvUpCr-92atiKeZx_vN8B5jRxzOOQBeaMwTmYCEROtU6AQ32J6M8kepzf9im-1xCblGiZjusMMQXgBAoATgapedX793Fa1sN1A7mfa9d1QubZgMbvLo6uGTvJ3Mu0XTWeubbnHAtmpqgz38nfvs-Xr-NLtN7h9u7mbT-4SkUIBJKixP88zWHKGwljADLooMZY55WdhUUBUlcV0qi6qSqlK8rFFEr1YCtdxnZ-NjCq_2MyxdOwTz0drCuddgYv-_hhjZ05GN6d_ebRjMD1bGUp5aM7-aZTrlUqlIXo6ko952pvfNivyXcdSYtin8uK8d5xdGgFEAhotMoVEpiHWq4__3laMxT84zuc5xMrolBWqbrjEr17mFp34Z4gMBmdLyGykogRY</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC6941355</pqid></control><display><type>book</type><title>Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings</title><source>Springer Books</source><source>SpringerLink Fully Open Access Books</source><source>OAPEN</source><source>DOAB: Directory of Open Access Books</source><creator>Johnsen, Einar Broch ; Wimmer, Manuel</creator><contributor>Wimmer, Manuel ; Johnsen, Einar Broch</contributor><creatorcontrib>Johnsen, Einar Broch ; Wimmer, Manuel ; Wimmer, Manuel ; Johnsen, Einar Broch</creatorcontrib><description>This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.</description><edition>1st Edition 2022</edition><identifier>ISBN: 3030994295</identifier><identifier>ISBN: 9783030994297</identifier><identifier>ISBN: 9783030994280</identifier><identifier>ISBN: 3030994287</identifier><identifier>EISBN: 3030994295</identifier><identifier>EISBN: 9783030994297</identifier><identifier>DOI: 10.1007/978-3-030-99429-7</identifier><identifier>OCLC: 1308973774</identifier><language>eng</language><publisher>Cham: Springer Nature</publisher><subject>Algorithms & data structures ; Algorithms and data structures ; architecture verification and validation ; Artificial intelligence ; Book Industry Communication ; Computer programming / software development ; Computer programming / software engineering ; Computer programming, programs, data ; Computer science ; Computing & information technology ; Computing and Information Technology ; distributed computer systems ; embedded systems ; empirical software validation ; formal methods ; model checking ; model-driven software engineering ; Natural language & machine translation ; Natural language and machine translation ; object-oriented programming ; program analysis ; Software Engineering ; software performance ; software quality ; software testing and debugging ; Systems analysis & design ; Systems analysis and design ; thema EDItEUR</subject><creationdate>2022</creationdate><tpages>347</tpages><format>347</format><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>306,780,784,786,27925,55310,62651</link.rule.ids></links><search><contributor>Wimmer, Manuel</contributor><contributor>Johnsen, Einar Broch</contributor><creatorcontrib>Johnsen, Einar Broch</creatorcontrib><creatorcontrib>Wimmer, Manuel</creatorcontrib><title>Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings</title><description>This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.</description><subject>Algorithms & data structures</subject><subject>Algorithms and data structures</subject><subject>architecture verification and validation</subject><subject>Artificial intelligence</subject><subject>Book Industry Communication</subject><subject>Computer programming / software development</subject><subject>Computer programming / software engineering</subject><subject>Computer programming, programs, data</subject><subject>Computer science</subject><subject>Computing & information technology</subject><subject>Computing and Information Technology</subject><subject>distributed computer systems</subject><subject>embedded systems</subject><subject>empirical software validation</subject><subject>formal methods</subject><subject>model checking</subject><subject>model-driven software engineering</subject><subject>Natural language & machine translation</subject><subject>Natural language and machine translation</subject><subject>object-oriented programming</subject><subject>program analysis</subject><subject>Software Engineering</subject><subject>software performance</subject><subject>software quality</subject><subject>software testing and debugging</subject><subject>Systems analysis & design</subject><subject>Systems analysis and design</subject><subject>thema EDItEUR</subject><isbn>3030994295</isbn><isbn>9783030994297</isbn><isbn>9783030994280</isbn><isbn>3030994287</isbn><isbn>3030994295</isbn><isbn>9783030994297</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2022</creationdate><recordtype>book</recordtype><sourceid>I4C</sourceid><sourceid>V1H</sourceid><sourceid>A7I</sourceid><recordid>eNpNj81LxDAQxSOi-PkHiJfFi3ioTpKm0xw8rMv6AYIHxWuYtulutdvUpCr-92atiKeZx_vN8B5jRxzOOQBeaMwTmYCEROtU6AQ32J6M8kepzf9im-1xCblGiZjusMMQXgBAoATgapedX793Fa1sN1A7mfa9d1QubZgMbvLo6uGTvJ3Mu0XTWeubbnHAtmpqgz38nfvs-Xr-NLtN7h9u7mbT-4SkUIBJKixP88zWHKGwljADLooMZY55WdhUUBUlcV0qi6qSqlK8rFFEr1YCtdxnZ-NjCq_2MyxdOwTz0drCuddgYv-_hhjZ05GN6d_ebRjMD1bGUp5aM7-aZTrlUqlIXo6ko952pvfNivyXcdSYtin8uK8d5xdGgFEAhotMoVEpiHWq4__3laMxT84zuc5xMrolBWqbrjEr17mFp34Z4gMBmdLyGykogRY</recordid><startdate>2022</startdate><enddate>2022</enddate><creator>Johnsen, Einar Broch</creator><creator>Wimmer, Manuel</creator><general>Springer Nature</general><general>Springer International Publishing AG</general><general>ETAPS Society</general><scope>I4C</scope><scope>V1H</scope><scope>A7I</scope></search><sort><creationdate>2022</creationdate><title>Fundamental Approaches to Software Engineering</title><author>Johnsen, Einar Broch ; Wimmer, Manuel</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a32507-42e1486ef170beea76012b673878cbe42ad2b6a19c5e75d35d51cf72cbef52793</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Algorithms & data structures</topic><topic>Algorithms and data structures</topic><topic>architecture verification and validation</topic><topic>Artificial intelligence</topic><topic>Book Industry Communication</topic><topic>Computer programming / software development</topic><topic>Computer programming / software engineering</topic><topic>Computer programming, programs, data</topic><topic>Computer science</topic><topic>Computing & information technology</topic><topic>Computing and Information Technology</topic><topic>distributed computer systems</topic><topic>embedded systems</topic><topic>empirical software validation</topic><topic>formal methods</topic><topic>model checking</topic><topic>model-driven software engineering</topic><topic>Natural language & machine translation</topic><topic>Natural language and machine translation</topic><topic>object-oriented programming</topic><topic>program analysis</topic><topic>Software Engineering</topic><topic>software performance</topic><topic>software quality</topic><topic>software testing and debugging</topic><topic>Systems analysis & design</topic><topic>Systems analysis and design</topic><topic>thema EDItEUR</topic><toplevel>online_resources</toplevel><creatorcontrib>Johnsen, Einar Broch</creatorcontrib><creatorcontrib>Wimmer, Manuel</creatorcontrib><collection>Casalini Torrossa eBook Single Purchase</collection><collection>DOAB: Directory of Open Access Books</collection><collection>OAPEN</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Johnsen, Einar Broch</au><au>Wimmer, Manuel</au><au>Wimmer, Manuel</au><au>Johnsen, Einar Broch</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2022</date><risdate>2022</risdate><volume>13241</volume><isbn>3030994295</isbn><isbn>9783030994297</isbn><isbn>9783030994280</isbn><isbn>3030994287</isbn><eisbn>3030994295</eisbn><eisbn>9783030994297</eisbn><abstract>This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.</abstract><cop>Cham</cop><pub>Springer Nature</pub><doi>10.1007/978-3-030-99429-7</doi><oclcid>1308973774</oclcid><tpages>347</tpages><edition>1st Edition 2022</edition><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISBN: 3030994295 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_askewsholts_vlebooks_9783030994297 |
| source | Springer Books; SpringerLink Fully Open Access Books; OAPEN; DOAB: Directory of Open Access Books |
| subjects | Algorithms & data structures Algorithms and data structures architecture verification and validation Artificial intelligence Book Industry Communication Computer programming / software development Computer programming / software engineering Computer programming, programs, data Computer science Computing & information technology Computing and Information Technology distributed computer systems embedded systems empirical software validation formal methods model checking model-driven software engineering Natural language & machine translation Natural language and machine translation object-oriented programming program analysis Software Engineering software performance software quality software testing and debugging Systems analysis & design Systems analysis and design thema EDItEUR |
| title | Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T16%3A10%3A42IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Fundamental%20Approaches%20to%20Software%20Engineering:%2025th%20International%20Conference,%20FASE%202022,%20Held%20as%20Part%20of%20the%20European%20Joint%20Conferences%20on%20Theory%20and%20Practice%20of%20Software,%20ETAPS%202022,%20Munich,%20Germany,%20April%202-7,%202022,%20Proceedings&rft.au=Johnsen,%20Einar%20Broch&rft.date=2022&rft.volume=13241&rft.isbn=3030994295&rft.isbn_list=9783030994297&rft.isbn_list=9783030994280&rft.isbn_list=3030994287&rft_id=info:doi/10.1007/978-3-030-99429-7&rft_dat=%3Cproquest_askew%3EEBC6941355%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=3030994295&rft.eisbn_list=9783030994297&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC6941355&rft_id=info:pmid/&rfr_iscdi=true |