01009nam a2200265 i 4500991000894749707536050311s2002 nhu b 000 0 eng 0867095164b13289433-39ule_instSet.Economiaita808.04207121ALT DIS :alternative discourses and the academy /edited by Christopher Schroeder, Helen Fox, Patricia BizzellPortsmouth, NH :Boynton/Cook--Heinemann,c2002x, 196 p. ;23 cmInclude riferimenti bibliograficiLingua ingleseRetoricaStudio e insegnamentoSchroeder, Christopher LFox, HelenBizzell, Patricia.b1328943326-10-1511-03-05991000894749707536LE025 ECO 808 SCH01.0112025000141094le025-E0.00-l- 00000.i1402696x11-03-05ALT DIS1107438UNISALENTOle02511-03-05ma -engnhu0006840nam 2200493 450 99646441650331620231110220647.03-030-89247-6(CKB)4950000000281755(MiAaPQ)EBC6784269(Au-PeEL)EBL6784269(OCoLC)1281960537(PPN)258296372(EXLCZ)99495000000028175520220710d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFundamentals of software engineering 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, revised selected papers /Hossein Hojjat and Mieke MassinkCham, Switzerland :Springer International Publishing,[2021]©20211 online resource (235 pages)Lecture Notes in Computer Science ;v.128183-030-89246-8 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.Lecture Notes in Computer Science Software engineeringCongressesSoftware engineeringData processingSoftware engineeringSoftware engineeringData processing.005.1Hojjat Hossein905425Massink MiekeMiAaPQMiAaPQMiAaPQBOOK996464416503316Fundamentals of software engineering2897772UNISA