LEADER 03297nam  22007095  450 
001 996655265103316
005 20250430130221.0
010   $a3-031-90900-3
024 7 $a10.1007/978-3-031-90900-9
035   $a(CKB)38672093900041
035   $a(DE-He213)978-3-031-90900-9
035   $a(MiAaPQ)EBC32077045
035   $a(Au-PeEL)EBL32077045
035   $a(EXLCZ)9938672093900041
100   $a20250430d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFundamental Approaches to Software Engineering $e28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3?8, 2025, Proceedings /$fedited by Artur Boronat, Gordon Fraser
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (XIV, 288 p. 109 illus., 67 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15693
311 08$a3-031-90899-6 
330   $aThis open access book constitutes the proceedings of the 28th International Conference on Fundamental Approaches to Software Engineering, FASE 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, in May 2025. The 9 full and 2 short papers included in the proceedings, together with one invited keynote paper and 3 tool competition papers, were carefully reviewed and selected from 31 submissions. They deal with up to date research in software engineering and its applications in, e.g., quality and testing foundations for AI-based systems, requirements engineering, etc. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15693
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aComputer science
606   $aMicroprogramming
606   $aComputer systems
606   $aNatural language processing (Computer science)
606   $aSoftware Engineering
606   $aOperating Systems
606   $aTheory of Computation
606   $aControl Structures and Microprogramming
606   $aComputer System Implementation
606   $aNatural Language Processing (NLP)
615  0$aSoftware engineering.
615  0$aOperating systems (Computers)
615  0$aComputer science.
615  0$aMicroprogramming.
615  0$aComputer systems.
615  0$aNatural language processing (Computer science)
615 14$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aTheory of Computation.
615 24$aControl Structures and Microprogramming.
615 24$aComputer System Implementation.
615 24$aNatural Language Processing (NLP).
676   $a005.1
702   $aBoronat$b Artur$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFraser$b Gordon$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996655265103316
996   $aFundamental Approaches to Software Engineering$9771913
997   $aUNISA