Fundamentals of Software Engineering

9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers

Häftad, Engelska, 2021

1 019 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions.

Produktinformation

Utgivningsdatum2021-10-17
Mått155 x 235 x 19 mm
Vikt376 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor229
FörlagSpringer Nature Switzerland AG
ISBN9783030892463

Tillhör följande kategorier

Coordination.- Protocol Scheduling.- Automated Replication of Tuple Spaces via Static Analysis.- Incremental Refinement of Goal Models with Contracts.- Logic.- Proof Calculi for Epistemic Logics with Structured Knowledge.- Introducing Intervalar differential dynamic logic.- A Program Logic for Fresh Name Generation.- Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.- Extending OCL with map and function types.- Networks.- Deadlock in packet switching networks.- Runtime Monitoring Processes Across Blockchains.- Solving Systems of Bilinear Equations for Transition Rate Reconstruction.- Parallel Computation.- Term Rewriting on GPUs.- Promise Plus: Flexible Synchronization for Parallel Computations on Arrays.- Testing.- Towards Test Case Generation for Industrial Software Systems Based on Functional Specifications.- Compressing Automatically Generated Unit Test Suites through Test Parameterization.- Systematic Extractionof Test Cases from Object-oriented Programs.