Software Technologies

Name: Software Technologies | 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers

Enrique Cabello Jorge Cardoso Leszek A. Maciaszek Marten van Sinderen(Editor)

Springer (Publisher)

Published on 7. June 2018

XIV, 309 pages

E-Book

PDF with digital watermarking

System requirements

978-3-319-93641-3 (ISBN)

€53.49incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Intro
Preface
Organization
Contents
Software Engineering
Assessing the User-Perceived Quality of Source Code Components Using Static Analysis Metrics
1 Introduction
2 Related Work
3 Defining Quality
3.1 Benchmark Dataset
3.2 Quality Score Formulation
4 System Design
4.1 System Overview
4.2 Data Preprocessing
4.3 Models Preprocessing
4.4 Models Validation
4.5 Models Construction
5 Evaluation
5.1 One-Class Classifier Evaluation
5.2 Quality Estimation Evaluation
5.3 Example Quality Estimation
5.4 Threats to Validity
6 Conclusions
References
A Technology for Optimizing the Process of Maintaining Software Up-to-Date
1 Introduction
2 Our Proposal
3 System Architecture and Design
3.1 CorpusDownloader
3.2 CorpusReader
3.3 CorpusReader TrainingData
3.4 CorpusTrain SigDetection
3.5 CorpusTrain VerDetection
3.6 SigContext
3.7 NER Version Number
3.8 NER SigComponents
3.9 NER SigDescription
3.10 WebMiner
3.11 OntoManager
4 Experimental Results
5 Related Solutions
6 Additional Applicability
7 Conclusions and Further Work
References
From Specification to Implementation of an Automotive Transport System
Abstract
1 Introduction
2 Background
2.1 System Analysis
2.2 Related Work
2.3 Statecharts
2.4 R-TNCES
2.5 GR-TNCES
3 Specification Approach
4 Test Case: Skid Conveyer
4.1 Functional Requirements
4.1.1 Control
4.1.2 Additional Information
4.2 System Encoding
4.3 System Modeling
4.4 Simulation
5 Test Case: Implementation
5.1 Mechanical Design
5.2 Control System Design
5.3 Software Implementation
6 Discussion
7 Conclusion
Acknowledgement
References
Towards a Goal-Oriented Framework for Partial Agile Adoption
1 Introduction
2 Related Work
3 A Framework for Partial Agile Adoption
3.1 Goal-Oriented Agile Methods Meta-model
3.2 Goal and Social Dependency Representation
3.3 Partial Agile Adoption Process
4 Validation
4.1 Scrum and XP
4.2 Tactical Level Application: Towards Practices Selection
4.3 Operational Level Application: Towards Practices Implementation
5 Conclusion
References
Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts
Abstract
1 Introduction
2 Literature Review
2.1 Traceability Definitions
2.2 Traceability Classifications
3 Taxonomy Requirements
4 Taxonomy Design
4.1 Design Decisions
5 Taxonomy Implementation
6 Taxonomy Validation
6.1 Validation Criteria
6.2 Requirements Validation
6.3 Case Study
7 Conclusion and Future Work
References
A Machine Learning Approach for Game Bot Detection Through Behavioural Features
1 Introduction
2 Related Work
3 Background
4 The Method
5 The Evaluation
5.1 Descriptive Statistics
5.2 Hypothesis Testing
5.3 Classification Analysis
6 Conclusions
References
Genrih, a Runtime State Analysis System for Deciding the Applicability of Dynamic Software Updates
1 Introduction
2 Background
3 A System for Predicting Runtime Phenomena
3.1 State Analysis Engine
3.2 Class Diff Tool
3.3 Changes to Phenomena to Runtime State Queries
3.4 World Stopper
3.5 A Prototype to Enhance JRebel
3.6 Enhancing Rubah
4 Experiment
5 Performance Evaluation
6 Discussion
7 Related Work
8 Conclusion
References
Software Systems and Applications
Identifying Class Integration Test Order Using an Improved Genetic Algorithm-Based Approach
1 Introduction
2 Related Work
3 Methodology
3.1 Stubbing Relationships
3.2 Genetic Algorithms
3.3 The Proposed GA Model
4 Computational Experiments
4.1 Parameters Setting
4.2 Example
4.3 Case Studies
4.4 Results
5 Discussion
5.1 Analysis of Out Approach
5.2 Comparison to Related Work
6 Conclusions and Future Work
References
Application of Fuzzy Logic to Assess the Quality of BPMN Models
1 Introduction
2 Related Work
2.1 Quality Metrics
2.2 Business Process Evaluation
3 Determination of Quality Metrics Thresholds
3.1 Data Collection
3.2 Data Preparation
3.3 Data Mining
3.4 Validation
3.5 Discussions
4 Fuzzy Logic for Business Process Quality-Assessment
4.1 Fuzzification
4.2 Inference
4.3 Defuzzification
5 System Development: BP-FuzzQual
5.1 Architecture
5.2 Experiments
6 Conclusion
References
Solving Multiobjective Knapsack Problem Using Scalarizing Function Based Local Search
1 Introduction
2 Multiobjective Optimization Problems
3 MOMKP Formulation
4 Tchebycheff Functions
4.1 The Weighted Tchebycheff Function
4.2 The Augmented Weighted Tchebycheff Function
5 Our Proposed Approach Min-Max TLS: Min-Max Tchebycheff Based Local Search
5.1 Weight Vectors Generation
5.2 Initial Population Initialization
5.3 Perturbation
5.4 Update Reference Point
5.5 Neighborhood Structure
5.6 Acceptance Criterion and Replacement Function
6 Experimental Results
6.1 Experimental Setup
6.2 Performance Metrics
6.3 Comparison Results
6.4 Discussion
7 Conclusions and Perspectives
References
Monitoring and Control of Vehicles' Carbon Emissions
Abstract
1 Introduction
1.1 A Subsection Sample
2 Related Work
3 EcoLogic General Concept
4 EcoLogic Architecture and Implementation
4.1 EcoLogic Database
4.2 EcoLogic Hardware Module
4.3 Java EE Backend Application
4.4 Analytics Application
4.5 JavaScript Web UI Application
5 EcoLogic Usage Example
6 Conclusions and Future Work
Acknowledgements
References
WOF: Towards Behavior Analysis and Representation of Emotions in Adaptive Systems
1 Introduction
2 Requirements
3 Fundamental Concepts of WOF
3.1 Concept of WO
3.2 Concept of WOS (WO System)
4 Design Models of WO and WOS
4.1 Design Model of WO
4.2 Design Model of WOS
4.3 Design Model of WO Data Analyzers
5 Statistical Analysis and WO Emotions
6 An Illustrating Example ``Home Automation''
7 Discussion and Concluding Remarks
References
Classifying Big Data Analytic Approaches: A Generic Architecture
1 Introduction
2 Preliminaries
2.1 Big Data Programming Models
2.2 A Classification of Big Data Query Languages
3 Generic Architecture for Analytical Approaches
3.1 Architecture for Analytic Processing Classification
3.2 Criteria of Comparison
4 Describing Some Big Data Analytic Systems
4.1 NoSQL Based Architectures
4.2 Relational Parallel Databases Based Architectures
4.3 Graph Based Architectures
4.4 General Discussion
5 Related Work
6 A Decision Support System to Select Big Data Analytics: A Perspective
7 Conclusions
References
Towards a Digital Business Operating System
Abstract
1 Introduction
2 Trends in Industry and Society
2.1 Shifting Nature of Product Innovation
2.2 From Products to Services
2.3 From Technology- to Customer-Driven Innovation
2.4 The Size of Software
2.5 Need for Speed
2.6 Playing Nice with Others
3 Towards a Digital Business Operating System (DiBOS)
3.1 Speed
3.2 Data
3.3 Ecosystems
3.4 Empowerment
4 Operationalizing DiBOS
4.1 Operations
4.2 Development
4.3 Innovation
5 Conclusion
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Software Technologies

Description

More details

Other editions

Additional editions

Content

System requirements