LEADER 00000cam 2200673Ii 4500
001 on1096283513
003 OCoLC
005 20200419060738.6
006 m o d
007 cr cnu|||unuuu
008 190410s2019 sz a o 101 0 eng d
015 GBB973443|2bnb
016 7 019361065|2Uk
020 9783030167226|q(electronic book)
020 3030167224|q(electronic book)
020 |z9783030167219|q(print)
024 7 10.1007/978-3-030-16722-6|2doi
035 (OCoLC)1096283513
037 com.springer.onix.9783030167226|bSpringer Nature
040 GW5XE|beng|erda|epn|cGW5XE|dYDX|dUKMGB|dOCLCF|dOCLCO|dDKU
049 STJJ
050 4 QA76.758|b.F37 2019eb
082 04 005.1|223
111 2 FASE (Conference)|n(22nd :|d2019 :|cPrague, Czech
Republic)
245 10 Fundamental approaches to software engineering :|b22nd
International Conference, FASE 2019, held as part of the
European Joint Conferences on Theory and Practice of
Software, ETAPS 2019, Prague, Czech Republic, April 6-11,
2019, Proceedings /|cReiner Hähnle, Wil van der Aalst
(eds.).
246 3 FASE 2019
264 1 Cham, Switzerland :|bSpringer Open,|c2019.
300 1 online resource (xiii, 446 pages) :|billustrations (some
color).
336 text|btxt|2rdacontent
337 computer|bc|2rdamedia
338 online resource|bcr|2rdacarrier
490 1 Lecture notes in computer science ;|v11424
490 1 Advanced research in computing and software science
490 1 LNCS sublibrary. SL 1, Theoretical computer science and
general issues
500 Includes author index.
505 00 |g[I].|tFASE invited talk:|g1.|tSoftware assurance in an
uncertain world /|rMarsha Chechik, Rick Salay, Torin Viger,
Sahar Kokaly, and Mona Rahimi.
506 0 Open access.|5GW5XE
505 80 |g[II].|tSoftware verification I:|g2.|tTool support for
correctness-by-construction /|rTobias Runge, Ina Schaefer,
Loek Cleophas, Thomas Thüm, Derrick Kourie, and Bruce W.
Watson --|g3.|tAutomatic modeling of opaque code for
JavaScript static analysis /|rJoonyoung Park, Alexander
Jordan, and Sukyoung Ryu --|g4.|tSMT-based bounded
schedulability analysis of the clock constraint
specification language /|rMin Zhang, Fu Song, Frédéric
Mallet, and Xiaohong Chen --|g5.|tA hybrid dynamic logic
for event/data-based systems /|rRolf Hennicker, Alexandre
Madeira, and Alexander Knapp.
505 80 |g[III].|tModel-driven development and model
transformation:|g6.|tPyro : generating domain-specific
collaborative online modeling environments /|rPhilip
Zweihoff, Stefan Naujokat, and Bernhard Steffen --|g7.
|tEfficient model synchronization by automatically
constructed repair processes /|rLars Fritsche, Jens Kosiol,
Andy Schürr, and Gabriele Taentzer --|g8.|tOffline Delta-
driven model transformation with dependency injection /
|rArtur Boronat --|g9.|tA logic-based incremental approach
to graph repair /|rSven Schneider, Leen Lambers, and
Fernando Orejas .
505 80 |g[IV].|tSoftware verification II:|g10.|tDeepFault : fault
localization for deep neural networks /|rHasan Ferit
Eniser, Simos Gerasimou, and Alper Sen --|g11.
|tVariability abstraction and refinement for game-based
lifted model checking of full CTL /|rAleksandar S.
Dimovski, Axel Legay, and Andrzej Wasowski --|g12.|tFormal
verification of safety & security related timing
constraints for a cooperative automotive system /|rLi
Huang and Eun-Young Kang --|g13.|tChecking observational
purity of procedures /|rHimanshu Arora, Raghavan Komondoor,
and G. Ramalingam.
505 80 |g[V].|tSoftware evolution and requirements engineering:
|g14.|tStructural and nominal cross-language clone
detection /|rLawton Nichols, Mehmet Emre, and Ben
Hardekopf --|g15.|tSL2SF : refactoring Simulink to
Stateflow /|rStephen Wynn-Williams, Zinovy Diskin, Vera
Pantelic, Mark Lawford, Gehan Selim, Curtis Milo,
Moustapha Diab, and Feisel Weslati --|g16.|tMetric
temporal graph logic over typed attributed graphs /
|rHolger Giese, Maria Maximova, Lucas Sakizloglou, and
Sven Schneider --|g17.|tKUPC : a formal tool for modeling
and verifying dynamic updating of C programs /|rJiaqi Qian,
Min Zhang, Yi Wang, and Kazuhiro Ogata --|g18.|tBusiness
process privacy analysis in PLEAK /|rAivo Toots, Reedik
Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-
Bañuelos, Peeter Laud, Raimundas Matulevičius, Alisa
Pankova, Martin Pettai, Pille Pullonen, and Jake Tom.
505 80 |g[VI].|tSpecification, design, and implementation of
particular classes of systems:|g19.|tCLTestCheck :
measuring test effectiveness for GPU kernels /|rChao Peng
and Ajitha Rajan --|g20.|tImplementing SOS with active
objects : a case study of a multicore memory system /
|rNikolaos Bezirgiannis, Frank de Boer, Einar Broch
Johnsen, Ka I Pun, and S. Lizeth Tapia Tarifa --|g21.
|tOptimal and automated deployment for microservices /
|rMario Bravetti, Saverio Giallorenzo, Jacopo Mauro,
Iacopo Talevi, and Gianluigi Zavattaro --|g22.|tA data
flow model with frequency arithmetic /|rPaul Dubrulle,
Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, and
Stéphane Louise.
505 80 |g[VII].|tSoftware testing:|g23.|tCoVeriTest : cooperative
verifier-based testing /|rDirk Beyer and Marie-Christine
Jakobs --|g24.|tPARDIS : priority aware test case
reduction /|rGolnaz Gharachorlu and Nick Sumner --|g25.
|tAutomatically identifying sufficient object builders
from module APIs /|rPablo Ponzio, Valeria S. Bengolea,
Mariano Politano, Nazareno Aguirre, and Marcelo F. Frias.
520 This book is Open Access under a CC BY licence. This book
constitutes the proceedings of the 22nd International
Conference on Fundamental Approaches to Software
Engineering, FASE 2019, which took place in Prague, Czech
Republic in April 2019, held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS
2019.The 24 papers presented in this volume were carefully
reviewed and selected from 94 submissions. The papers are
organized in topical sections named: software
verification; model-driven development and model
transformation; software evolution and requirements
engineering; specification, design, and implementation of
particular classes of systems; and software testing. --
|cProvided by publisher.
588 0 Online resource; title from PDF title page (SpringerLink,
viewed April 10, 2019).
590 SpringerLink|bSpringer Nature Open Access eBooks
650 0 Software engineering|vCongresses.
650 7 Software engineering.|2fast|0(OCoLC)fst01124185
655 7 Conference papers and proceedings.|2fast
|0(OCoLC)fst01423772
700 1 Hähnle, Reiner,|eeditor.
700 1 Aalst, Wil van der,|eeditor.
711 2 ETAPS (Conference)|n(22nd :|d2019 :|cPrague, Czech
Republic)
830 0 Lecture notes in computer science ;|v11424.
830 0 Lecture notes in computer science.|pAdvanced research in
computing and software science.
830 0 LNCS sublibrary.|nSL 1,|pTheoretical computer science and
general issues.
914 on1096283513
994 92|bSTJ
