Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, revised selected papers / / Hossein Hojjat and Mieke Massink

• Autore: Hojjat Hossein
• Pubblicazione: Cham, Switzerland : , : Springer International Publishing, , [2021]; ©2021
• Descrizione fisica: 1 online resource (235 pages)
• Disciplina: 005.1
• Soggetto topico: Software engineering; Software engineering - Data processing
• Persona (resp. second.): MassinkMieke
• Nota di contenuto: Intro -- Preface -- Organization -- Contents -- Coordination -- Protocol Scheduling -- 1 Introduction -- 2 Work Automata -- 3 Graph Games -- 4 Scheduling Game -- 5 Protocol Restriction -- 6 Conclusion -- References -- Automated Replication of Tuple Spaces via Static Analysis -- 1 Introduction -- 2 Preliminaries -- 3 Programming Interface Extension for Replication -- 4 Static Analysis and Program Transformation -- 5 Implementation and Experimental Evaluation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Incremental Refinement of Goal Models with Contracts -- 1 Introduction -- 2 Background -- 3 Running Example: Vehicle Platooning -- 4 The CoGoMo Approach -- 4.1 Goal Formalization -- 4.2 Goal Manipulation via Composition and Refinement -- 4.3 Goal Manipulation via Conjunction -- 5 CGT Extension -- 6 Related Work -- 7 Conclusions -- A Distribution of Composition over Conjunction -- References -- Logic -- Adding Proof Calculi to Epistemic Logics with Structured Knowledge -- 1 Introduction -- 2 Overview on Parametric Construction of Epistemic Logics with Structured States -- 2.1 The Parameter -- 2.2 The Method -- 3 Proof Calculus -- 3.1 Completeness -- 4 Model Checking and Satisfiability Problem -- 5 Conclusion -- References -- Introducing Interval Differential Dynamic Logic -- 1 Introduction -- 2 Interval Paradigm -- 3 Interval Functions for dL -- 4 Conclusions and Future Work -- References -- A Program Logic for Fresh Name Generation -- 1 Introduction -- 2 Programming Language -- 3 Logical Language -- 4 Model -- 4.1 Semantics -- 5 Axioms -- 6 Rules -- 7 Reasoning Examples -- 8 Conclusion -- References -- Event-Driven Temporal Logic Pattern for Control Software Requirements Specification -- 1 Introduction -- 2 Syntax and Definition of EDTL-Requirements -- 3 Semantics of EDTL-Requirements -- 3.1 Definitions for the Semantics. ; 3.2 The First Order Logic Semantics -- 3.3 The Linear Temporal Logic Semantics -- 4 Case Study -- 5 Related Work -- 6 Conclusion and Future Work -- A Bounded Checking of EDTL-requirements -- References -- Extending OCL with Map and Function Types -- 1 Introduction -- 2 Map Types -- 2.1 Map Type Semantics -- 2.2 Operations on Maps -- 2.3 Implementation -- 3 Function Types -- 3.1 Function Type Semantics -- 3.2 Operations on Functions -- 3.3 Implementation -- 4 Related Work -- A Additional Map Type Operators -- References -- Networks -- Deadlock in Packet Switching Networks -- 1 Introduction -- 2 Preliminaries -- 2.1 Packet Switching Network -- 2.2 Semantics of Packet Switching Networks -- 3 Deadlocks -- 3.1 Global Deadlock -- 3.2 Local Deadlock -- 3.3 Weak Deadlock -- 4 Expressivity of Different Notions of Deadlock -- 4.1 Comparing Global Deadlocks to Local and Weak Deadlocks -- 4.2 Comparing Local Deadlocks to Weak Deadlocks -- 5 Proof of Concept Implementation -- 5.1 An SMV Model for Packet Switching Networks -- 5.2 Deadlock Formulas in CTL -- 5.3 Experiments -- 6 Conclusions -- References -- Runtime Monitoring Processes Across Blockchains -- 1 Introduction -- 2 Challenges of Full Decentralisation for Monitoring Business Processes -- 3 Monitoring Business Processes Across Blockchains -- 3.1 Business Process Monitoring Through Smart Contracts -- 3.2 Communication Across Blockchains -- 4 Case Study -- 5 Related Work -- 6 Remaining Challenges -- 7 Conclusions -- References -- Solving Systems of Bilinear Equations for Transition Rate Reconstruction -- 1 Introduction -- 2 Background -- 3 Special Cases Leading to Complete System -- 3.1 Synchronising Action -- 3.2 Non-synchronising Action -- 4 Iterative Algorithm to Solve System of Equations -- 5 Case Study: Tandem Queueing Network -- 5.1 System Definition -- 5.2 Runtime Comparison -- 6 Conclusion. ; References -- Parallel Computation -- Term Rewriting on GPUs -- 1 Introduction -- 2 Preliminaries -- 3 A GPU Algorithm for Term Rewriting -- 4 Evaluation -- References -- Promise Plus: Flexible Synchronization for Parallel Computations on Arrays -- 1 Introduction -- 2 Context -- 3 PromisePlus: Flexible Synchronization for Arrays -- 4 Benchmarks -- 5 Related Work -- 6 Future Work and Conclusion -- A Algorithms of get and set -- References -- Testing -- Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications -- 1 Introduction -- 2 Background -- 2.1 Running Example: Matching Limit Orders -- 3 Functional Specification -- 3.1 Basic Specification Patterns -- 3.2 Verifying Properties on Specification -- 4 Test Case Generation -- 4.1 Fitness Function -- 4.2 Local Search -- 4.3 Global Search -- 5 Evaluation -- 5.1 Test Execution -- 5.2 Code Coverage Analysis -- 5.3 Mutation Analysis -- 6 Related Work -- 7 Conclusion -- References -- Compressing Automatically Generated Unit Test Suites Through Test Parameterization -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 4 Evaluation -- 5 Conclusion -- References -- Systematic Extraction of Tests from Object-Oriented Programs -- 1 Introduction -- 2 Related Works -- 3 The Proposed Approach -- 3.1 Model Extractor Component -- 3.2 Test Machine Component -- 3.3 Test Case Generator Component -- 4 Evaluation -- 4.1 Effectiveness of Tests in Revealing Errors -- 4.2 Revealing Real Error -- 5 Conclusion -- References -- Author Index.
• Titolo autorizzato: Fundamentals of software engineering
• ISBN: 3-030-89247-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996464416503316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science