Proceedings of 6th International Conference in Software Engineering for Defence Applications

Name: Proceedings of 6th International Conference in Software Engineering for Defence Applications | SEDA 2018
Brand: Springer
Price: 149.79 EUR
Availability: OnlineOnly

SEDA 2018

Paolo Ciancarini Manuel Mazzara Angelo Messina Alberto Sillitti Giancarlo Succi(Editor)

Springer (Publisher)

1st Edition

Published on 18. March 2019

XV, 334 pages

E-Book

PDF with digital watermarking

System requirements

978-3-030-14687-0 (ISBN)

€149.79incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Intro
Preface
Acknowledgements
Organization
Programme Committee
Additional Reviewers
Contents
Bi-lingual Intent Classification of Twitter Posts: A Roadmap
Abstract
1 Introduction
1.1 Fake News Detection
1.2 Stance Detection
1.3 Intent Detection
2 Related Work to Intent Classification
2.1 Commercial Intent Classification
2.2 Social Intent Classification
3 Problem Definition
3.1 Proposed Methodology
4 Conclusion
References
Evolving Diverse Cellular Automata Based Level Maps
1 Introduction
2 Background
2.1 Evolutionary Algorithms
2.2 Cellular Automata
3 Experimental Design
3.1 The Quality Measure
4 Experimental Results
5 Discussion
5.1 The Cellular Automata Rule Space
5.2 Extensions of the Work
References
Affordance Theory Applied to Agile Development: A Case Study of LC2EVO
1 Introduction
2 Case Study: An Affordance Theory-Based Analysis of Work Cell Design During the Development of LC2EVO Software
2.1 Land Command and Control EVOlution System (LC2EVO)
2.2 The Visualization of the Work Flow During LC2EVO Development
2.3 Work Cell Design and Interpersonal Space
3 Data Analysis
4 Discussion and Implications of Research
References
Multi-level Security Approach on Weapon Systems
Abstract
1 Introduction
2 Related Works
2.1 Data Confidentiality and Access Control
2.2 Container Based Virtualization
3 Implementing MLS Using Linux Container
3.1 No Read Up/No Write Down Rules
3.2 Linux Container Implementation
3.3 Linux Container Performance
4 Conclusions
References
Procedural Generation for Tabletop Games: User Driven Approacheswith Restrictions on Computational Resources
1 Introduction
2 A Taxonomy of Wargames
2.1 Classification by Qualities
2.2 Classification by Construction
3 Techniques
3.1 Lookup Tables
3.2 Tiles
3.3 Control Structures
4 Conclusions
References
When the Price Is Your Privacy: A Security Analysis of Two Cheap IoT Devices
1 Introduction
1.1 Contribution
1.2 Paper Structure
2 Security of Cheap and Ubiquitous IoT Devices: A Smartwatch Case Study
2.1 Related Works
2.2 The Typical Setting in Which Smartwatches Operate
2.3 Rohs K88h Smartwatch Overview
2.4 The Vulnerability
2.5 Possible Solution
3 Security of Cheap and Ubiquitous IoT Devices: An IP Camera Case Study
3.1 Related Works
3.2 System Overview
3.3 Tools and Set-Up
3.4 The Vulnerabilities
3.5 Possible Solutions
4 Conclusions and Future Works
References
An Open-Source Software Metric Tool for Defect Prediction, Its Case Study and Lessons We Learned
1 Introduction
2 Description of SMD
2.1 Extracting Code Metrics
2.2 Extracting Process Metrics
2.3 Comparison Datasets
3 A Case Study
3.1 Mean Similarity Score
3.2 Results
4 Discussion
5 Related and Future Work
References
Community Targeted Phishing
1 Introduction
2 Natural Language Generation (NLG)
3 Aiming at Groups: Community Targeted Phishing (CTP)
3.1 Case Study: Scientific Community
4 Advanced NLG
5 Conclusion
References
Semantic Query Language for Temporal Genealogical Trees
1 Introduction
2 Related Work
3 Formal Language of Kinship
3.1 Syntax
3.2 Semantics
3.3 Pragmatics
4 Term Reduction
4.1 Pursuing Confluence
5 Incorporating Time
6 KISP Language Specification
6.1 Grammar and Lexical Structure
6.2 Query Examples
7 Conclusion
References
Recruiting Software Developers a Survey of Current Russian Practices
1 Introduction
2 The State of the Art
3 Design of the Survey
3.1 Analysis of Typical IT Recruiting Process
3.2 Design of a Questionnaire: Goal Question Metric
3.3 Collecting Data for the Survey
4 Results of the Survey
4.1 Identification of the Need of the IT Company (An Employer's Need)
4.2 Selection of Recruitment Strategy
4.3 Formation of ``a Long List'' of Candidates
4.4 Dissemination of the Call
4.5 Final Checking of a Candidate and Closing a Position
4.6 Analysis of Difficulties of IT Recruitment
5 Discussion of Results
6 Validity and Generalizability of the Findings
7 Conclusions
References
Comparison of Agile, Quasi-Agile and Traditional Methodologies
1 Introduction
2 Background and Motivation
3 Methodology
4 Analysis of the Results
5 Discussion and Conclusion
References
Innopolis Going Global
1 Introduction
2 Educational Model of IU and Students Recruitment
3 Internationalization Strategy of IU
4 Internationalization Programs
4.1 Recruitment of Foreign Students
4.2 Olympiads and Competitions
5 Faculty Members
6 Conclusion
References
A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks
Abstract
1 Introduction
2 Classification Techniques Used for Data Mining
2.1 Naïve Bayes
2.2 Decision Tree
2.3 Multilayer Perceptron
3 Methodology
3.1 Description of Dataset
4 Results and Discussion
5 Conclusion and Future Work
References
Game Theoretic Framework to Mutation Testing
1 Introduction
2 Related Works
3 Mutation Game
3.1 Strategies
3.2 Nash Equilibrium
4 Discussion
5 Conclusion
References
A Survey on Code Analysis Tools for Software Maintenance Prediction
Abstract
1 Introduction
2 Methodology
2.1 Goal and Research Question
2.2 Research Strategy
2.3 Data Extraction
3 Results
3.1 RQ1. Which Are the Most Commonly Used Tools to Support Software Maintenance?
3.2 RQ2. Have These Tools Been Adopted in Research?
4 Discussion
5 Threats to Validity
6 Conclusions and Future Work
References
Stance Prediction for Russian: Data and Analysis
1 Introduction
2 Data and Resources
2.1 Requirements
2.2 Sources
3 Implementation
3.1 Preprocessing
4 Evaluation and Discussion
4.1 Analysis
5 Related Work
6 Conclusion
References
Software Requirements Complexity Analysis to Support the "ADVISORY NETWORK IN TO THE NATION FORCES BUILD-UP"
Abstract
1 Evolution of the Military Operations
1.1 Trends [1]
1.2 History and Legacy
1.3 Current Operation
1.4 Nato-EU Evolution
1.5 Scenarios Evolution
2 The Scenario Complexity
2.1 Evident Complexity
2.2 Embedded Complexity
3 Emerging Requirements and Their Volatility
3.1 Traditional vs "Agile" Requirements Elicitation
3.2 iAgile for Mission Critical Application: Italian Army LC2Evo Approach [12]
4 Conclusion and Future Work
References
Hybrid Agile Software Development for Smart Farming Application
Abstract
1 Introducing the Innopolis University MTS Master Project
1.1 General Introduction of the MSIT Project
1.2 The MTS Project
1.3 "Agile" at IU
2 The MTS Project
2.1 Initial Definition and Design Choices
2.2 The Requirement Analysis "Crises"
2.3 Solving the Knowledge Gap
3 Re-shaping Scrum for the MTS Pilot Project
3.1 Integration of Non-design Activity and Customer Involvement
3.2 Hybrid Sprints
3.3 Metrics
4 Phases of the Project and Artefacts
4.1 Initial
4.2 Middle
4.3 Final
5 Conclusion and Future Work
References
Detection of Inconsistent Contracts Through Modular Verification
1 Introduction
2 Why Detect?
2.1 Example
2.2 The Basic Idea
3 Class Invariants
4 Postconditions
4.1 Commands
4.2 Functions
5 Preconditions
6 Non-exported Routines
7 Related Work
8 Summary
8.1 Limitations of the Approach
8.2 Future Work
References
Balanced Map Generation Using Genetic Algorithms in the Siphon Board-Game
1 Introduction
2 Background
2.1 Designing Balance
2.2 Using AI for Balance
3 Game Design of Siphon
4 Methods
4.1 Fitness Function
5 Analysis
5.1 Effect of Population Size
5.2 Individual Heuristic Effect
6 Conclusion
References
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains
1 Introduction
2 Setting the Context
2.1 TACTICS
2.2 CHOReVOLUTION
2.3 Tactical Choreographies
3 Case Study
4 Method at Work
5 Related Work
6 Conclusions and Future Work
References
Safety and Security in GNU/Linux Real Time Operating System Domain
Abstract
1 Introduction
2 Recommendations from the International Community
3 Standards for Safety and Security
4 Safety and Security Real-Time Operating Systems
4.1 Linux for Safety Related Systems
4.2 Security-Only Certification for GNU/Linux OS
5 Conclusions
References
Mapping Event-B Machines into Eiffel Programming Language
1 Introduction
2 Preliminaries
2.1 Event-B
2.2 Eiffel
3 Translation
3.1 Translating Event-B Machines
3.2 Hand Translation
4 Conclusion
References
A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project
1 Introduction
2 Architecture Specification Approach
3 Tooling Approach
3.1 Architecture Specification
3.2 Collaborative Model Editing
4 Conclusions
References
The Key Role of Memory in Next-Generation Embedded Systems for Military Applications
1 Introduction
2 Platform Memory Profiling
2.1 Reference Architecture
2.2 Evaluation
3 Software Solution for Seamless Cache Partitioning
3.1 Use Case Architecture
3.2 Use Case Application
3.3 Discussion
4 Conclusion
References
Vulnerabilities and Security Breaches in Cryptocurrencies
1 Introduction
2 Related Work
3 Vulnerabilities and Attacks
3.1 Selfish Mining
3.2 Wallet
3.3 Distributed Denial of Service (DDoS) Attack
3.4 Malleability Attack
3.5 Double Spending Attack
3.6 Dropping Transactions
3.7 51% Attack
3.8 Timejacking Attack
3.9 Sybil Attack
3.10 Spam Transactions
3.11 Segmentation
3.12 Social Engineering
4 Conclusion
References
Question-Answer Nets Objectifying a Conceptual Space in the Design of a System with Software
Abstract
1 Introduction
2 Preliminary Bases
3 Related Works
4 Constructive Views on the Conceptual Space
4.1 Architectural Approach to Objectifying the Conceptual Space
4.2 Basic Components of the Conceptual Space
5 Theorizing the Conceptual Space
6 Conclusion
Acknowledgements
References
On the Time Performance of Automated Fixes
1 Introduction
2 Background: Automated Program Repair
3 Program Repair as a Search Problem
3.1 Search Problem Decomposition
3.2 Search Algorithms for Individual Search Problems
3.3 Generate-And-Validate Approaches
4 Conclusion
References
On the Parcellation of Functional Magnetic Resonance Images
Abstract
1 Introduction
2 Model Formulation
2.1 Related Work
2.2 Hypothesis
2.3 Model Design
3 Conclusion
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Proceedings of 6th International Conference in Software Engineering for Defence Applications

Description

More details

Other editions

Additional editions

Content

System requirements