LEADER 03879nam  22007695  450 
001 9910404119103321
005 20230330052907.0
010   $a3-030-45234-4
024 7 $a10.1007/978-3-030-45234-6
035   $a(CKB)4100000011223247
035   $a(DE-He213)978-3-030-45234-6
035   $a(MiAaPQ)EBC6420117
035   $a(Au-PeEL)EBL6420117
035   $a(OCoLC)1170134309
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/28633
035   $a(PPN)243761066
035   $a(EXLCZ)994100000011223247
100   $a20200420d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFundamental Approaches to Software Engineering $e23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25?30, 2020, Proceedings /$fedited by Heike Wehrheim, Jordi Cabot
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XIII, 552 p. 1 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12076
311   $a3-030-45233-6 
327   $aRequirements 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.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12076
606   $aSoftware engineering
606   $aComputers, Special purpose
606   $aMicroprogramming
606   $aComputer systems
606   $aComputer networks
606   $aArtificial intelligence
606   $aSoftware Engineering
606   $aSpecial Purpose and Application-Based Systems
606   $aControl Structures and Microprogramming
606   $aComputer System Implementation
606   $aComputer Communication Networks
606   $aArtificial Intelligence
615  0$aSoftware engineering.
615  0$aComputers, Special purpose.
615  0$aMicroprogramming.
615  0$aComputer systems.
615  0$aComputer networks.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aControl Structures and Microprogramming.
615 24$aComputer System Implementation.
615 24$aComputer Communication Networks.
615 24$aArtificial Intelligence.
676   $a005.1
700   $aWehrheim$b Heike$4edt$01351239
702   $aWehrheim$b Heike$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCabot$b Jordi$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910404119103321
996   $aFundamental Approaches to Software Engineering$93091236
997   $aUNINA