04844nam 22007935 450 99646632050331620230329173200.03-030-16722-410.1007/978-3-030-16722-6(CKB)4100000007823543(DE-He213)978-3-030-16722-6(MiAaPQ)EBC5917980(Au-PeEL)EBL5917980(OCoLC)1132419369(oapen)https://directory.doabooks.org/handle/20.500.12854/27030(PPN)235668389(EXLCZ)99410000000782354320190403d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFundamental Approaches to Software Engineering[electronic resource] 22nd 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 /edited by Reiner Hähnle, Wil van der Aalst1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XIII, 446 p. 1202 illus., 85 illus. in color.) Theoretical Computer Science and General Issues,2512-2029 ;114243-030-16721-6 FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.This book is Open Access under a CC BY licence.Theoretical Computer Science and General Issues,2512-2029 ;11424Software engineeringCompilers (Computer programs)Electronic digital computers—EvaluationComputersProfessionsComputer scienceComputer simulationSoftware EngineeringCompilers and InterpretersSystem Performance and EvaluationThe Computing ProfessionTheory of ComputationComputer ModellingSoftware engineering.Compilers (Computer programs).Electronic digital computers—Evaluation.Computers.Professions.Computer science.Computer simulation.Software Engineering.Compilers and Interpreters.System Performance and Evaluation.The Computing Profession.Theory of Computation.Computer Modelling.005.1Hähnle Reineredt1351240Hähnle Reineredthttp://id.loc.gov/vocabulary/relators/edtvan der Aalst Wiledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466320503316Fundamental Approaches to Software Engineering3091237UNISA