Proceedings of 5th International Conference in Software Engineering for Defence Applications
SEDA 2016
Published on 2. January 2018
XII, 203 pages
978-3-319-70578-1 (ISBN)
Description
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2016, the 5th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in May 2016. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementing defence-related software development products and processes in a structured and supportable way.
More details
Series
Edition
1st ed. 2018
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Product notice
Reflowable
Illustrations
XII, 203 p. 46 illus.
File size
4,43 MB
ISBN-13
978-3-319-70578-1 (9783319705781)
DOI
10.1007/978-3-319-70578-1
Schweitzer Classification
Other editions
Additional editions
Paolo Ciancarini | Stanislav Litvinov | Angelo Messina
Proceedings of 5th International Conference in Software Engineering for Defence Applications
SEDA 2016
Book
01/2018
Springer
€160.49
Shipment within 10-15 days
Content
- Intro
- Preface
- Contents
- Self-adaptive Node-Based PCA Encodings
- 1 Introduction
- 2 Linear Sensor Encodings
- 3 PCA in Networks
- 3.1 Generalized Hebbian Algorithm
- 3.2 Distributed PCA
- 3.3 Simple Hebbian PCA
- 4 Conclusions
- References
- Microservices Science and Engineering
- 1 Introduction
- 2 What Is a Microservice?
- 3 Jolie: A Language-Based Approach
- 4 Applications in Smart Buildings
- 5 Conclusions
- References
- 3 Evolving In-service Support Models for Secure Weapon Systems
- Abstract
- 1 Introduction
- 2 Weapon Systems Evolution
- 2.1 The Past
- 2.2 The Present
- 2.3 The Future
- 3 Cyber Threats on Weapon Systems
- 3.1 Increasing Interconnection Scope Threats
- 3.2 Increasing COTS Hardware Usage Threats
- 3.3 Increasing COTS Software Usage Threats
- 4 Impacts of Security on the In-service Support Model
- 4.1 Mid-life Update
- 4.2 Continuous Update
- 4.3 Product as a Service
- 5 Future of In-service Support
- 5.1 Evolutionary Solutions
- 5.1.1 Antivirus Update Example
- 5.1.2 OS Flaw Remediation Example
- 5.2 Revolutionary Solutions
- 5.2.1 Cloud Deployment Example
- 5.2.2 Service Thinking Example
- 6 Conclusions
- References
- Initial Steps Towards Assessing the Usability of a Verification Tool
- 1 Introduction
- 2 Eiffel and Autoproof
- 3 Case Study Experience
- 4 Problems Taxonomy
- 4.1 Problems with the Tool
- 4.2 Problems with Methodology: Semantic Collaboration and Framing
- 5 Related Work
- 6 Conclusion
- References
- The Agile Coordination Processes
- 1 Introduction
- 2 Understanding Coordination in the Software Process
- 2.1 Dependences
- 2.2 Coordination
- 3 Coordinating XP Projects
- 4 Comments on Coordination in Agile Methods
- 5 Conclusions
- References
- A Blockchain-Based Solution for Enabling Log-Based Resolution of Disputes in Multi-party Transactions
- 1 Introduction
- 2 Background on Blockchain
- 3 Proposed Solution
- 4 Conclusion
- References
- AntibIoTic: Protecting IoT Devices Against DDoS Attacks
- 1 The AntibIoTic Against DDoS Attacks
- 2 AntibIoTic Functionalities
- 2.1 Real World Scenarios
- 3 Overview of AntibIoTic Infrastructure
- 3.1 Command-and-Control (CNC) Server
- 3.2 AntibIoTic Bot
- 3.3 Users and Admin
- 4 AntibIoTic and Its ``Twins''
- 5 Ethical and Legal Implications
- 6 Conclusion
- References
- An Initial Investigation of Concurrency Bugs in Open Source Systems
- 1 Introduction
- 2 Related Work
- 3 Our Investigation
- 4 Discussion of the Results
- 5 Threats to Validity
- 6 Conclusion and Future Work
- References
- Contracting Agile Developments for the Public Sector: The Italian Case
- 1 Introduction
- 2 The Law and Economics of Agile Contracts
- 3 The Italian Case
- 3.1 The Object of the Contract
- 3.2 The Competition
- 3.3 Provision of Accountable Variations
- 3.4 The Economic Value
- 3.5 The Verification
- 4 Contractualization of Function Points
- 5 Contractualization of Scrum Sprints
- 6 Conclusions
- References
- Domain Objects and Microservices for Systems Development: A Roadmap
- 1 Introduction
- 2 Microservices
- 3 Domain Objects
- 3.1 Adaptive Service-Based Systems with Domain Objects
- 4 Research Objectives
- 4.1 Research Question
- 4.2 Diagrammatic Notation
- 4.3 Roadmap
- References
- A Machine Learning Approach for Continuous Development
- 1 Introduction
- 2 Problem Definition
- 3 Model Formalization
- 4 Instantiation
- 5 Conclusions and Future Works
- References
- Toward a Model of Emotion and Its Contagion Influences on Agile Development for Defense Applications
- 1 Introduction
- 2 Literature Review
- 2.1 Emotions Role in the Software Industry
- 2.2 Human Factors Influence Using Agile in Developing Defense Software
- 2.3 The Influence of Multi Criteria Decision Making Methods on Agile Methods and Teams
- 3 Proposed Model
- 4 Research Methodology
- 5 Conclusion
- References
- The Internet of Hackable Things
- 1 The IoT Tsunami
- 1.1 A Security and Privacy Disaster
- 2 Smart Home. of Horror!
- 3 Pervasive Healthcare
- 3.1 eHealth: How to Remotely Get Big Data
- 3.2 IoT Medical Devices: How to Remotely Kill You
- 4 On the Need of Developing a Security Culture
- References
- 14 Avoiding Sensitive Data Disclosure: Android System Design and Development Data Leaks Detection Thesis Master Degree Computer Engineering
- Abstract
- 1 Introduction and Aim of the Work
- 2 Overview of Data Leaks Problem
- 3 Android JADAL
- 4 Conclusion and Ongoing Activities
- Towards Non-invasive Software Measurement System: Architecture and Implementation
- 1 Introduction
- 2 Survey of the State of the Art
- 3 An Architecture for Non-invasive Software Measurement
- 3.1 Main Novelties of Our Approach
- 3.2 Client Side
- 3.3 Server Side
- 4 Implementation Details
- 4.1 Server Side
- 4.2 Client Side for Mac
- 4.3 Client Side for Windows
- 4.4 Client Side for Linux
- 4.5 Dashboard Application
- 5 Experimentation
- 6 Discussion
- 7 Conclusion and Further Work
- References
- Joining Jolie to Docker
- 1 Introduction
- 2 Service Orchestration
- 3 Jolie
- 4 Docker
- 5 Comparison Between Jolie and Docker
- 6 Federation of Jolie and Docker
- 7 Conclusion
- References
- Crisis Management in Software Engineering: Behavioral Aspects
- 1 Introduction
- 2 The State of the Art
- 2.1 Why Software Engineering Is Different?
- 2.2 Crisis Management
- 2.3 Case Studies: Three Stories
- 2.4 Organizational Patterns
- 2.5 Personal Patterns
- 3 Solutions
- 3.1 The Code of Ethics of Software Engineer
- 3.2 Behavior-Based Project Management
- 3.3 The Change Diamond
- 4 Future Research and Conclusion
- References
- 18 Using the "Agile" Paradigm to Support Innovation in Large Organizations
- Abstract
- 1 Innovation in the Public Sector and in Large Organizations
- 2 Obstacles to Innovation
- 2.1 Legal and Administrative Procedures
- 2.2 Short-Term Focus and Uncooperating Leadership
- 3 The Case of the Software Engineering and Production Lifecycle
- 3.1 Innovation in Mission Critical Software Production and Procurement
- 3.2 The NATO Innovation Procurement Process
- 3.3 Evolving Agile into iAgile: The 4 Pillars Based Innovation Paradigm
- 3.4 User Community Governance Pillar
- 3.5 Specialized iAgile Training
- 3.6 Innovative CASE Tools: Changing the Surrounding Environment
- 4 Conclusions
- References
