000 04613nam a22005535i 4500
001 978-3-662-49665-7
003 DE-He213
005 20200421111159.0
007 cr nn 008mamaa
008 160330s2016 gw | s |||| 0|eng d
020 _a9783662496657
_9978-3-662-49665-7
024 7 _a10.1007/978-3-662-49665-7
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aFundamental Approaches to Software Engineering
_h[electronic resource] :
_b19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
_cedited by Perdita Stevens, Andrzej Wąsowski.
250 _a1st ed. 2016.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2016.
300 _aXIII, 436 p. 127 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9633
505 0 _aThe Death of Object-Oriented Programming -- Concurrent and Distributed Systems Automated Choreography Repair -- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs -- ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters -- Integrated environment for verifying and running distributed components -- Model-Driven Development -- Iterative and incremental model generation by logic solvers -- Automated Model Merge by Design Space Exploration -- RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules -- Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories -- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models -- Analysis and Bug Triaging -- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices -- The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs -- Modeling and Abstraction of Memory Management in a Hypervisor -- Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment -- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems -- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems -- Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat -- Statistical model checking of e-Motions domain-specific modeling languages -- Proof and Theorem Proving -- Towards Formal Proof Metrics -- Reduction Rules for Colored Workflow Nets -- Many-valued Institutions for Constraint Specification -- CafeInMaude: a CafeOBJ interpreter in Maude -- Verification -- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique -- Hybrid Session Verification through Endpoint API Generation -- PVAIR: Partial Variable Assignment InterpolatoR. .
520 _aThis book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification. .
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputer logic.
650 0 _aMathematical logic.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aStevens, Perdita.
_eeditor.
700 1 _aWąsowski, Andrzej.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783662496640
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9633
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-662-49665-7
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c53714
_d53714