English
Software Technologies
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing
-
Altmetric BadgeChapter 2 What We Know About Software Architecture Styles in Continuous Delivery and DevOps?
-
Altmetric BadgeChapter 3 Analysing the Performance of Mobile Cross-platform Development Approaches Using UI Interaction Scenarios
-
Altmetric BadgeChapter 4 Quantitative Analysis of Mutant Equivalence
-
Altmetric BadgeChapter 5 Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems
-
Altmetric BadgeChapter 6 Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids
-
Altmetric BadgeChapter 7 GA-PPI-Net: A Genetic Algorithm for Community Detection in Protein-Protein Interaction Networks
-
Altmetric BadgeChapter 8 From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems
-
Altmetric BadgeChapter 9 Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors
-
Altmetric BadgeChapter 10 Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids
Attention for Chapter 8:
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems