Software, System, and Service Engineering [[electronic resource] ] : S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers / / edited by Aleksander Jarzębowicz, Ivan Luković, Adam Przybyłek, Mirosław Staroń, Muhammad Ovais Ahmad, Mirosław Ochodek

• Record Nr.: UNINA9910799487903321
• Pubbl/distr/stampa: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
• ISBN: 3-031-51075-5
• Edizione: [1st ed. 2024.]
• Descrizione fisica: 1 online resource (XIII, 153 p. 54 illus., 34 illus. in color.)
• Collana: Lecture Notes in Business Information Processing, , 1865-1356 ; ; 499
• Disciplina: 005.1
• Soggetti: Software engineering; Programming languages (Electronic computers); Computer programming; Software Engineering; Programming Language; Programming Techniques
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Intro -- Preface -- Organization -- Contents -- 24th Conference on Practical Aspects of and Solutions for Software Engineering (KKIO 2023) -- A Proposal for Functional Software Identification Using Risk-Based Continuous Quality Control -- 1 Introduction -- 2 Background and Related Work -- 2.1 Active Automata Learning -- 2.2 Active Continuous Quality Control (ACQC) -- 2.3 Risk-Based Testing via Active Continuous Quality Control -- 2.4 Software Risk Assessment in Legal Metrology -- 3 Modelling Measuring Systems as Deterministic Finite Automata -- 4 Risk-Based Continuous Quality Control for Measuring Systems -- 5 Developed Learning Algorithm Framework and Implemented Test Case Evaluation -- 6 Exemplary Evaluation -- 6.1 Taximeter as a Complex DFA -- 6.2 Non-critical and Critical Model ; Changes -- 6.3 Necessary Discovery of State Correspondences -- 6.4 Analysis of the Example -- 7 Summary -- 8 Symbols and Notations -- References -- A Reusability-Oriented Use-Case Model: Textual Specification Language -- 1 Introduction -- 2 Language Genesis and Related Work -- 2.1 Use-Case Description Structure -- 2.2 Steps Numbering -- 2.3 Action Specification -- 2.4 Loops -- 2.5 Final States and Post-conditions -- 2.6 Use-Case Relationship Constructs -- 2.7 Interruptions -- 2.8 Overriding Actions -- 2.9 Event-Driven and Action-Driven Support -- 2.10 Complexity Management with Subflows -- 3 UCFL Metamodel -- 3.1 UCFL Containers -- 3.2 UCFL Container Elements -- 3.3 Range -- 3.4 Loop Type -- 3.5 Loop Region -- 3.6 Actions -- 3.7 Interruptible Regions -- 3.8 Use-Case Generalization Relationship -- 4 T-UCFL Informal Description -- 4.1 T-UCFL Containers -- 4.2 T-UCFL Container Elements -- 4.3 Range -- 4.4 Loop Type -- 4.5 Loop Region -- 4.6 Actions -- 4.7 Interruptible Regions -- 5 Example Specification -- 6 Results -- 6.1 Steps Numbering -- 6.2 Use-Case Relationships.; 6.3 Iteration Scope -- 6.4 Subflow -- 6.5 Interruptible Regions -- 6.6 Overriding Action -- 6.7 Triggers -- 6.8 Basic Reusability Mechanisms -- 7 Summary -- References -- Nexus Between Psychological Safety and Non-Technical Debt in Large-Scale Agile Enterprise Resource Planning Systems Development -- 1 Introduction -- 2 Background -- 2.1 Large-Scale Agile -- 2.2 Technical and Non-Technical Debt -- 2.3 Psychological Safety -- 3 Research Settings -- 4 Results -- 4.1 Leadership Role -- 4.2 Cultivating Trusting and Respectful Interpersonal Relationships -- 4.3 Brain Drain -- 4.4 Designing a Team for Learning -- 5 Threats to Validity and Limitations -- 6 Discussion -- 7 Conclusion -- 8 Future Research Directions -- References -- An Association Rule Mining for Selection Requirement Elicitation and Analysis Techniques in IT Projects -- 1 Introduction -- 2 Problem Statement -- 3 The Best Existing Solution -- 4 The Proposed Solution -- 5 Details of the Proposed Solution -- 5.1 Association Rule Mining -- 5.2 Apriori Algorithm -- 5.3 Choosing Hyperparameters -- 5.4 Conditions of the Analysis to Follow -- 6 Analysis -- 6.1 Input Data -- 6.2 (Project Context ⇒ Elicitation Techniques) Rules Analysis -- 6.3 (Project Context⇒Modeling Techniques) Rules Analysis -- 7 Conclusion -- References -- Track on Software, System and Service Engineering (S3E 2023) -- Exploring Relationships Between Data in Enterprise Information Systems by Analysis of Log Contents -- 1 Introduction -- 2 Problem Statement -- 3 Proposed Method -- 3.1 Method Overview -- 3.2 Token Embedding -- 3.3 Embedding Optimization -- 3.4 Token Filtering -- 3.5 Graph Estimate Construction -- 4 Method Evaluation -- 4.1 Dataset Overview -- 4.2 Evaluation Criteria -- 4.3 Results -- 4.4 Suggested Logging Practices for Developers -- 4.5 Threats to Validity -- 5 Related Work -- 6 Conclusions and Future Work.; References -- 8th Workshop on Advances in Programming Languages (WAPL 2023) -- Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant Expressions -- 1 Introduction -- 2 Background -- 3 Compile Time Parallelism -- 3.1 The Parallelisation Process -- 3.2 The Intrinsic Functions -- 3.3 An Example Constexpr Parallel Function -- 4 The C'est Library -- 5 Parallelism Benchmarking -- 5.1 Timing Compile Time Performance -- 5.2 Mandelbrot -- 5.3 BlackScholes -- 5.4 N-Body -- 5.5 Swaptions -- 5.6 SYCL Edge Detection -- 5.7 Benchmark Comparison -- 6 Conclusion -- A Intrinsic Functions Table -- References -- Author Index.
• Sommario/riassunto: This book constitutes the refereed post-proceedings of the S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in ; Programming Languages, WAPL 2023, held in Warsaw, Poland, as part of FedCSIS, during September 17-20, 2023. The total of 6 revised papers presented in this book were carefully reviewed and selected from a total of 55 submissions. They focus on new ideas and developments in practical aspects and solutions for software engineering.