Del i serien Lecture Notes in Computer Science

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

Häftad, Engelska, 2019

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2019-04-04
Mått155 x 235 x 25 mm
Vikt692 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor446
FörlagSpringer Nature Switzerland AG
ISBN9783030167219

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och IT
Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

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.

Du kanske också är intresserad av

Fundamental Approaches to Software Engineering

Wil Van Der Aalst, Reiner Hähnle

Häftad, 2020

959 kr

Fundamental Approaches to Software Engineering

Wil Van Der Aalst, Reiner Hähnle

Inbunden, 2020

1 049 kr

Business Process Management

Wil van der Aalst, Arthur ter Hofstede, Mathias Weske

Häftad, 2003

1 409 kr

Del 10258

Application and Theory of Petri Nets and Concurrency

Wil van der Aalst, Eike Best

Häftad, 2017

749 kr

Internet of Production

Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg

Häftad, 2023

579 kr

Applications and Theory of Petri Nets 2003

Wil van der Aalst, Eike Best

Häftad, 2003

729 kr

Internet of Production

Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg

Inbunden, 2023

729 kr

Del 12345

Deductive Software Verification: Future Perspectives

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

Häftad, 2020

749 kr

Jenseits von Text und Bild - Generative KI für vielfältige Datenwelten

Nicolas Bach, Varun Gowtham, Jan Hamaekers, Dirk Hecker, Sonja Holl-Supra, Maximilian Hörstrup, Bjarne Huuck, Wilhelm Jaspers, Wolfgang Kratsch, Christopher Krauss, Jonathan Krauß, Christian Beecks, Christian Kühnert, André Kummerow, Matthis Leicht, Pascal Nicolai Linden, Miriam Mock, Christopher Mutschler, Jonathan Ott, Felix Ott, Gerhard Paass, Gyunam Pak, Gesa Benndorf, Janko Petereit, Christian Pionzewski, Andrej Plenne, Florian Rippstein, Maximilian Röglinger, Daniel Scherer, Daniel Schulz, Maximilian Stahlke, Ina Steinmetz, Florian Strohm, Julia Burr, Ljiljana Stojanovic, Niklas Uhl, Christian Ufrecht, Wil Van Der Aalst, Angelika Voß, Andreas Wilde, Tim Wirtz, Alper Yaman, Mathias Ziebarth, Alexander Zorn, Franziska Dechert, Frederik Diederichs, Hartmut Eigenbrod, Georg Fuchs, Alexander Graß, Fraunhofer-Allianz Big Data und Künstliche Intelligenz

Häftad, 2025

749 kr

Handbook of Research on Business Process Modeling

Jorge Cardoso, Wil Van Der Aalst

Inbunden, 2009

4 499 kr

Del i serien Lecture Notes in Computer Science

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

Häftad, Engelska, 2019

AvReiner Hähnle,Wil van der Aalst

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2019-04-04
Mått155 x 235 x 25 mm
Vikt692 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor446
FörlagSpringer Nature Switzerland AG
ISBN9783030167219

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och IT
Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT

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.