𝔖 Scriptorium
✦   LIBER   ✦

📁

Software, System, and Service Engineering (Lecture Notes in Business Information Processing)

✍ Scribed by Aleksander Jarzębowicz (editor), Ivan Luković (editor), Adam Przybyłek (editor), Mirosław Staroń (editor), Muhammad Ovais Ahmad (editor), Mirosław Ochodek (editor)


Publisher
Springer
Year
2024
Tongue
English
Leaves
163
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


This book constitutes the refereed 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, as Part of FedCSIS 2023, held in Warsaw, Poland, during September 17–20, 2023.

The 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.



✦ Table of Contents


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


📜 SIMILAR VOLUMES


Advances in Agile and User-Centred Softw
✍ Adam Przybyłek (editor), Miguel Ehécatl Morales-Trujillo (editor) 📂 Library 📅 2020 🏛 Springer 🌐 English

<span>This book constitutes revised selected papers from the 3</span><span><sup>rd</sup></span><span> International Conference on Lean and Agile Software Development, LASD 2019, and the 7</span><span><sup>th</sup></span><span> Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019,

Enterprise, Business-Process and Informa
✍ Han van der Aa (editor), Dominik Bork (editor), Henderik A. Proper (editor), Rai 📂 Library 📅 2023 🏛 Springer 🌐 English

<p><span>This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling:</span></p><p><span>* the 24th International Conference on Business Process Modeling, Developmen

Enterprise, Business-Process and Informa
✍ Adriano Augusto (editor), Asif Gill (editor), Selmin Nurcan (editor), Iris Reinh 📂 Library 📅 2021 🏛 Springer 🌐 English

<span>This book contains the proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling: </span><p><span>* the 22nd International Conference on Business Process Modeling, Development and Support,

Ontology, Conceptualization and Epistemo
✍ Miguel-Angel Sicilia, Christian Kop, Fabio Sartori 📂 Library 📅 2010 🏛 Springer 🌐 English

This book constitutes the post-conference proceedings of the International Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Sciences (ONTOSE 2010), held at the CAiSE 2010 conference in Hammamet, Tunisia, June, 2010. The 10 papers pre

Process Mining Handbook (Lecture Notes i
✍ Wil M. P. van der Aalst (editor), Josep Carmona (editor) 📂 Library 📅 2022 🏛 Springer 🌐 English

<span>This is an open access book. </span><p><span>This book comprises all the single courses given as part of the First Summer School on Process Mining, PMSS 2022, which was held in Aachen, Germany, during July 4-8, 2022. </span></p><p><span>This volume contains 17 chapters organized into the follo

Data-Driven Process Discovery and Analys
✍ Paolo Ceravolo (editor), Maurice van Keulen (editor), María Teresa Gómez-López ( 📂 Library 📅 2020 🏛 Springer 🌐 English

<p><span>This book constitutes revised selected papers from the 8</span><span><sup>th</sup></span><span> and 9</span><span><sup>th</sup></span><span> IFIP WG 2.6 International Symposium on Data-Driven Process Discovery and Analysis, SIMPDA 2018, held in Seville, Spain, on December 13–14, 2018, and S