000 02271naaaa2200397uu 4500
001 https://directory.doabooks.org/handle/20.500.12854/48199
005 20220220084435.0
020 _a/doi.org/10.1007/978-3-319-89363-1
020 _a9783319893624
020 _a9783319893631
024 7 _ahttps://doi.org/10.1007/978-3-319-89363-1
_cdoi
041 0 _aEnglish
042 _adc
100 1 _aAlessandra Russo
_4auth
700 1 _aAndy Schürr
_4auth
245 1 0 _aFundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
260 _bSpringer Nature
_c2018
300 _a1 electronic resource (357 p.)
506 0 _aOpen Access
_2star
_fUnrestricted online access
520 _aThis book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
536 _aETAPS e.V.
540 _aCreative Commons
_fhttps://creativecommons.org/licenses/by/4.0/
_2cc
_4https://creativecommons.org/licenses/by/4.0/
546 _aEnglish
653 _aformal logic
653 _acomputer software maintenance
653 _aformal methods
653 _asoftware engineering
653 _asemantics
653 _aprogramming languages
653 _acomputer software selection and evaluation
653 _aformal specification
653 _aspecifications
653 _averification
856 4 0 _awww.oapen.org
_uhttps://link.springer.com/book/10.1007/978-3-319-89363-1
_70
_zDOAB: download the publication
856 4 0 _awww.oapen.org
_uhttps://directory.doabooks.org/handle/20.500.12854/48199
_70
_zDOAB: description of the publication
999 _c76684
_d76684