Fundamental Approaches to Software Engineering 28th 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
This 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 f...
Saved in:
| Format: | eBook |
|---|---|
| Language: | English |
| Published: |
Cham
Springer Nature
2025
|
| Series: | Lecture Notes in Computer Science |
| Subjects: | |
| ISBN: | 9783031909009, 3031909003, 3031908996, 9783031908996 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | This 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. |
|---|---|
| AbstractList | This 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. |
| BookMark | eNpNjVFLwzAUhQMqqHU_QPChfyDzJmma3hdhjG0KAx8UX8Ndm9Rql5R0Iv57q_PBp3P4Dnznkp2GGBxj1wLmAsDcoqm44qAER0AAjidsNjE1kV-A52w2jm8AoAohNcoLNl9_hIb2LhyozxfDkCLVr27MDzF_iv7wScnlq9B2wbnUhfaKnXnqRzf7y4y9rFfPy3u-fdw8LBdbTlIYI3ldarVzDVauMFCYukJSdSVcIYuaKkOe0DtlJJUEvtYavAZCTdAYj01DKmN3R3GkwQU7pG5P6ctG6mzf7dKx_ywxtVaC1QBWyFIbK0CU03vGbv4Lmki7GN9HKzQWgOobHKxZjw |
| ContentType | eBook |
| DBID | V1H A7I |
| DOI | 10.1007/978-3-031-90900-9 |
| DatabaseName | DOAB: Directory of Open Access Books OAPEN |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: V1H name: DOAB: Directory of Open Access Books url: https://directory.doabooks.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Architecture Computer Science |
| Editor | Fraser, Gordon Boronat, Artur |
| Editor_xml | – sequence: 1 fullname: Boronat, Artur – sequence: 2 fullname: Fraser, Gordon |
| ExternalDocumentID | oai_library_oapen_org_20_500_12657_101665 159409 |
| GroupedDBID | A7I AABBV AAJRB AALJR AAQKC ABEEZ ADQWV ADRBI AEDXK AEKFX AEOWI AGHUY AGWHU AIQUZ ALMA_UNASSIGNED_HOLDINGS ALNDD BBABE CZZ EIXGO IEZ SBO TPJZQ TSXQS V1H Z5O Z7R Z7S Z7U Z7W Z7X Z7Y Z7Z Z81 Z83 Z84 Z85 Z87 Z88 |
| ID | FETCH-LOGICAL-a21772-c653bed98e47047c89a3c81e424ca87afa9fe372a6a0fc550f50a95a0d7f9dda3 |
| IEDL.DBID | V1H |
| ISBN | 9783031909009 3031909003 3031908996 9783031908996 |
| IngestDate | Wed Dec 10 14:58:52 EST 2025 Sun Nov 16 03:29:46 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a21772-c653bed98e47047c89a3c81e424ca87afa9fe372a6a0fc550f50a95a0d7f9dda3 |
| OpenAccessLink | https://directory.doabooks.org/handle/20.500.12854/159409 |
| PageCount | 288 |
| ParticipantIDs | oapen_primary_oai_library_oapen_org_20_500_12657_101665 oapen_doabooks_159409 |
| PublicationCentury | 2000 |
| PublicationDate | 2025 |
| PublicationDateYYYYMMDD | 2025-01-01 |
| PublicationDate_xml | – year: 2025 text: 2025 |
| PublicationDecade | 2020 |
| PublicationPlace | Cham |
| PublicationPlace_xml | – name: Cham |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationYear | 2025 |
| Publisher | Springer Nature |
| Publisher_xml | – name: Springer Nature |
| SSID | ssj0003412592 |
| Score | 2.443895 |
| Snippet | This open access book constitutes the proceedings of the 28th International Conference on Fundamental Approaches to Software Engineering, FASE 2025, which was... |
| SourceID | oapen |
| SourceType | Publisher |
| SubjectTerms | applications of AI to software engineering architecture Artificial intelligence Computer hardware Computer programming / software engineering Computer science Computing and Information Technology design Mathematical theory of computation model-driven engineering modeling Natural language and machine translation Operating systems processes requirements Software Engineering software engineering of AI-based syste software evoluation software quality Systems analysis and design |
| Subtitle | 28th 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 |
| Title | Fundamental Approaches to Software Engineering |
| URI | https://directory.doabooks.org/handle/20.500.12854/159409 https://library.oapen.org/handle/20.500.12657/101665 |
| Volume | 15693 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8NAEF6k9SAeqrVifZQcvG7dZzZ7LGKpIEVQSm9hstmAl6a0Vf--O0lac_HkcTMQ2CGZmW8e3xByj17ECC0oz52hIf4HCiAtRezstDMMqjzk4sXM58lyaV9bq75qQ15iV3MJGGduq3J-TTkQkPpYM2RESLR6CI5Y4eheN0CcGHHXgs8O6ZVgnENgjzhM4pwOFrfiwwGzdzX5Tlv4ew5yu6-ANiS0kgYJrUQUexdLWPtVyxNNe_-4wxnpehxtOCdHftUnp5NWDaFPevv9DlHzu1-Q8RTHRGr2_2jSkI_7bbQro7dgvb9h46MWn-GALKZP748z2uxXoBCAiBHUxVpmPreJV4Yp4xIL0iXcK6EcJAYKsIWXRkAMrHAByxSagdXAclPYPAd5STqrcuWvSMSNzzIbohnLC6VlkXFnM5Y5qwIg4TIekkGlsnSvkrS--pCY-vm6JtdIke66SWCltSToLhUsDUpLuYi1qbrSYn39xxtvyInAHb1VmuSWdHabT39Hjt3X7mO7GYXY2TyPqm_lB2rNtT4 |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Fundamental+Approaches+to+Software+Engineering&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2025-01-01&rft.pub=Springer+Nature&rft.isbn=9783031908996&rft_id=info:doi/10.1007%2F978-3-031-90900-9&rft.externalDBID=V1H&rft.externalDocID=159409 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031909009/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031909009/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031909009/sc.gif&client=summon&freeimage=true |

