LEADER 03308nam  22006253u 450 
001 996464553503316
005 20230221131548.0
010   $a3-030-99429-5
035   $a(CKB)5860000000038015
035   $aEBL6941355
035   $a(AU-PeEL)EBL6941355
035   $a(MiAaPQ)EBC6941355
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81637
035   $a(PPN)261518267
035   $a(EXLCZ)995860000000038015
100   $a20220617d2022||||  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFundamental approaches to software engineering $e25th 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 /$feditors, Einar Broch Johnsen, Manuel Wimmer
210   $aCham $cSpringer International Publishing AG$d2022
215   $a1 online resource (xiv, 347 pages) $cillustrations
225 1 $aLecture notes in computer science$vv.13241
300   $aIncludes author index.
300   $aDescription based upon print version of record.
311 1 $a3-030-99428-7 
330   $aThis 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.
410  0$aLecture notes in computer science$v13241.1
606   $aSoftware engineering$vCongresses
610   $aarchitecture verification and validation
610   $adistributed computer systems
610   $aembedded systems
610   $aempirical software validation
610   $aformal methods
610   $amodel checking
610   $amodel-driven software engineering
610   $aobject-oriented programming
610   $aprogram analysis,
610   $asoftware performance
610   $asoftware quality
610   $asoftware testing and debugging
615  0$aSoftware engineering
700   $aJohnsen$b Einar Broch$4edt$01236514
701   $aJohnsen$b Einar Broch$01236514
701   $aWimmer$b Manuel$01221425
712 12$aFASE (Conference)$d(25th :$f2022 :$eMunich, Germany)
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a996464553503316
996   $aFundamental Approaches to Software Engineering$92871123
997   $aUNISA