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
- Title:
- 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)
- Main Title:
- Software technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised selected papers
- 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.2Intro -- 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 … (more)
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.522832
- Ingest File:
- 03_114.xml