Software technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised selected papers /: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised selected papers. (2020)

• Record Type: Book
• Other Titles: ICSOFT 2019
• Further Information: Note: Marten van Sinderen, Leszek A. Maciaszek (eds.).
• Editors: Sinderen, Marten J. van, 1958-; Maciaszek, Leszek
• Other Names: ICSOFT (Conference), 14th
• Contents: Intro -- Preface -- Organization -- Contents -- I Software Engineering and Systems Development -- Equivalence Class Definitionpg for Automated Testing of Satellite On-Board Image Processing -- 1 Introduction -- 2 Preliminaries -- 2.1 Equivalence Class Partition Testing -- 2.2 Context: PLATO Mission -- 3 Related Work -- 4 Equivalence Class Partitioning for Automated Test Generation -- 4.1 Assumptions and Limitations -- 4.2 Input Parameter Partitioning -- 4.3 Multidimensional Coverage Criteria -- 4.4 Automated Test Generation -- 5 Evaluation -- 5.1 Implementation -- 5.2 Experimental Results 6 Conclusion -- References -- What We Know About Software Architecture Styles in Continuous Delivery and DevOps? -- Abstract -- 1 Introduction -- 2 Definitions of Terms -- 3 Purpose -- 4 Research Questions and Method -- 5 Demographics, Themes and Trends -- 5.1 Software Architecture Characteristics and the Context in Which They Were Deemed Important (RQ1) -- 5.2 Application Domains (RQ2) -- 5.3 Research Methods Being Used (RQ3) -- 6 Reflection on the Results -- 7 Reflection on Bias in This SLR -- 8 Related Systematic Literature Reviews -- 9 Summary and Implications -- References Analysing the Performance of Mobile Cross-platform Development Approaches Using UI Interaction Scenarios -- 1 Introduction -- 2 Background -- 2.1 Mobile Cross-platform Development Approaches -- 2.2 User-Perceived Performance -- 2.3 Resource Usage Measurements -- 3 Research Method -- 3.1 Selection of Approaches -- 3.2 UI Interaction Scenarios -- 3.3 Implementation Details -- 3.4 Test Cases -- 3.5 Measurement Tools and Metrics -- 3.6 Test Devices -- 4 Results -- 4.1 CPU Usage -- 4.2 Main Memory Usage -- 4.3 Janky Frames -- 4.4 GPU Memory Usage -- 5 Discussion -- 6 Conclusion -- References Quantitative Analysis of Mutant Equivalence -- 1 Mutation Equivalence: The Bane of Mutation Testing -- 2 A Quantitative Approach -- 3 Redundancy Metrics -- 3.1 State Redundancy -- 3.2 Non Injectvity -- 3.3 Functional Redundancy -- 3.4 Non Determinacy -- 3.5 A Posteriori Justification -- 4 A Java Compiler -- 4.1 Entropy of the Initial State -- 4.2 Entropy of the Final State -- 5 Estimating the REM -- 5.1 A Regression Model -- 5.2 Mutation Policies -- 6 Uses of the REM -- 6.1 Mutant Equivalence -- 6.2 Mutant Redundancy -- 6.3 Mutation Score, Revisited -- 6.4 Empirical Validation -- 7 Conclusion 7.1 Summary -- 7.2 Assessment and Threats to Validity -- 7.3 Prospects -- References -- Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems -- 1 Introduction -- 2 Problem Frames -- 2.1 Notation -- 2.2 Problem Frames -- 3 Meta Model -- 3.1 Model Elements -- 4 Distributed Frames -- 4.1 Description Format -- 4.2 Frame Specifications -- 4.3 Basic Frames -- 4.4 Additional Frames -- 5 Pattern-Based Requirements Documentation -- 5.1 Step 1: Define Global Context and Subsystems -- 5.2 Step 2: Elicit Functional Requirements for DS
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 005.1; Software engineering -- Congresses; Programming languages (Electronic computers) -- Congresses; Programming languages (Electronic computers); Software engineering; Expert systems / knowledge-based systems; Network hardware; Systems analysis & design; Information retrieval; Software Engineering; Computers -- Expert Systems; Computers -- Hardware -- Network Hardware; Computers -- Information Technology; Computers -- Software Development & Engineering -- General; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030529918; 3030529916
• Related ISBNs: 3030529908; 9783030529901
• Notes: Note: Includes bibliographical references and index.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.