Fundamental 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

This 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...

Full description

Saved in:
Bibliographic Details
Main Authors: Alessandra Russo, Andy Schürr
Format: eBook
Language:English
Published: Springer Nature 2018
Series:Theoretical Computer Science and General Issues
Subjects:
Book Industry Communication
Computer science
computer software maintenance
computer software selection and evaluation
Computing & information technology
formal logic
formal methods
formal specification
programming languages
QA75.5-76.95
semantics
software engineering
specifications
verification
ISBN:3319893629, 9783319893624, 3319893637, 9783319893631
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract This 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.
AbstractList This 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.
Author Alessandra Russo
Andy Schürr
Author_xml – sequence: 1
  fullname: Alessandra Russo
– sequence: 2
  fullname: Andy Schürr
BookMark eNpNkN1q20AQhQVtoM3PE-RmHkCG3ZVkaXsnjJ0fAjHYuQ7j3dlYjTojdjeUPnTfoQp1IFdzc77vHOa8-MrC9KU4ryptO1stjf1WXKX0UymlrbVtrb4Xfzdv7PEXccYR-mmKgu5ICbLATkL-jZFgzS8DE8WBX36A0SnDHWeKjHkQnrGVcKBI7KiETb9bg1G6K-GWRg-YYIsxgwTIx1n1FmUiZLiXgfMnMoEw7I8k8Q8ge9hGdHlw9A5-DClhve-3u5N-DqeEo_DwOpRwE4ne-_spDiPoemFUeQpuozgiP69Pl8VZwDHR1eleFE-b9X51u3h4vLlb9Q8Lb2prFqjboJrWz3xoGu0atWzReBtaY6h22vu6Vkt90LZtwsHZNmDXBe-xw4OvG1ddFNf_vYIT8bMXPIi8pue6mx9f_QNXC31s
ContentType eBook
DBID V1H
DatabaseName DOAB: Directory of Open Access Books
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 Computer Science
ExternalDocumentID 48199
GrantInformation_xml – fundername: ETAPS e.V.
GroupedDBID 0D6
0DA
38.
A7I
AABBV
AAKKN
AALJR
AAQKC
ABEEZ
ACBYE
ACOUV
ADOGT
AEDXK
AEJLV
AEKFX
AEZAY
AGWHU
AIQUZ
ALMA_UNASSIGNED_HOLDINGS
ALNDD
ANXHU
AZZ
BBABE
BIANM
BICGV
BJAWL
BUBNW
CVGDX
CZZ
EDOXC
EIXGO
FOYMO
I4C
IEZ
NQNQZ
OEBZI
PYIOH
SBO
TPJZQ
TSXQS
V1H
YSPEL
Z5O
Z7R
Z7S
Z7U
Z7W
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z85
Z87
Z88
ID FETCH-LOGICAL-d2492-a17f057d201f551c5067a2d9f722e4c1dd44061b1975fbc97fa88fdda8abd45c3
IEDL.DBID V1H
ISBN 3319893629
9783319893624
3319893637
9783319893631
IngestDate Tue Oct 07 22:34:05 EDT 2025
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident QA75.5-76.95
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-d2492-a17f057d201f551c5067a2d9f722e4c1dd44061b1975fbc97fa88fdda8abd45c3
OpenAccessLink https://directory.doabooks.org/handle/20.500.12854/48199
PageCount 357
ParticipantIDs oapen_doabooks_48199
PublicationCentury 2000
PublicationDate 2018
PublicationDateYYYYMMDD 2018-01-01
PublicationDate_xml – year: 2018
  text: 2018
PublicationDecade 2010
PublicationSeriesTitle Theoretical Computer Science and General Issues
PublicationYear 2018
Publisher Springer Nature
Publisher_xml – name: Springer Nature
SSID ssj0001999740
Score 2.1508775
Snippet This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in...
SourceID oapen
SourceType Publisher
SubjectTerms Book Industry Communication
Computer science
computer software maintenance
computer software selection and evaluation
Computing & information technology
formal logic
formal methods
formal specification
programming languages
QA75.5-76.95
semantics
software engineering
specifications
verification
Title Fundamental 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
URI https://directory.doabooks.org/handle/20.500.12854/48199
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT9wwELYo20NPPLZVaSmaA8ekXSd2bPe2qnYFHFaRdqm4ISe2pVVRgtaB_mr-A-M8lkXixC1O7MSW7ZlvJp5vCDnXWvBEFDZWFm0T5hzHKyNilknBHE9dmuk22YRYLOTNjcr3iBxiYTpBXodTzbUOONO3v_M7ygG01H_ySWBEkJz9YqjM1AcyQgsnC0kb_tKLF-8K4h7BJiGYIw2nglBMq51CKjrune1D9rocUs6Nan1vqx1lMz94fzcPyciG4IUjsmerY3IwpGyAfgePydM8RH50hP4w7fnErYemhiUK5P96Y2GHovA3JNQ38MptCC9BghHMp8sZoHaXEaACM6A95LgYoXaAyBIGXz9c1euq2Wnpoa6g4wUAHA3kfbBWaDh0JILZapov-9djZe_1HYqgf-sIwnGh8P3p_WZ9B5ThNoz6ivlWJfvP5Ho-W_25iPuMD7EJzIWxpsIhgDRY3yGUKznqUp0Y5USSWFZSY1gAIAVVgruiVMJpKZ0xWurCMF6mX8h-VVf2KwHjaJkVikuTGeZoJgtJbWkyZwrFJjY7IeN2gm-HCbxtJ-rb27e_k09hDJ3v5ZTsN5sH-4N8LB-btd-cISAXl2ftCnwGmMLX5g
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%3A+21st+International+Conference%2C+FASE+2018%2C+Held+as+Part+of+the+European+Joint+Conferences+on+Theory+and+Practice+of+Software%2C+ETAPS+2018%2C+Thessaloniki%2C+Greece%2C+April+14-20%2C+2018%2C+Proceedings&rft.au=Alessandra+Russo&rft.au=Andy+Sch%C3%BCrr&rft.series=Theoretical+Computer+Science+and+General+Issues&rft.date=2018-01-01&rft.pub=Springer+Nature&rft.isbn=9783319893624&rft.externalDBID=V1H&rft.externalDocID=48199
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783319893624/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783319893624/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783319893624/sc.gif&client=summon&freeimage=true