• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Fundamental Approaches to Software Engineering

    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

    AvReiner Hähnle,Wil van der Aalst

    Häftad, Engelska, 2019

    Del i serien Lecture Notes in Computer Science

    562 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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.

    Produktinformation

    • Utgivningsdatum:2019-04-04
    • Mått:155 x 235 x 25 mm
    • Vikt:692 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:446
    • Förlag:Springer Nature Switzerland AG
    • ISBN:9783030167219

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programvaruutveckling inom Data och IT
    • Informationsteknik: allmänt inom Data och IT

    Innehållsförteckning

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