Engineering Software Systems: Research and Praxis
1st Edition
Published on 3. September 2018
VIII, 209 pages
978-3-319-99617-2 (ISBN)
Description
This book highlights a range of new approaches and concepts in the field of software engineering. Based on systematic methods, graphical and formal models, the approaches are designed for solving practical problems encountered in actual software development. The book is divided into 13 chapters, which address core aspects such as security, performance and quality measurement. Chiefly intended to stimulate new research by presenting real problems faced by the industry, and to facilitate software development by applying precisely defined, validated and efficient models and methods, the book offers a valuable guide - for researchers and industry practitioners at small, medium and large companies alike.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Product notice
Reflowable
Illustrations
VIII, 209 p. 80 illus.
File size
21,92 MB
ISBN-13
978-3-319-99617-2 (9783319996172)
DOI
10.1007/978-3-319-99617-2
Schweitzer Classification
Other editions
Additional editions
Piotr Kosiuczenko | Zbigniew Zielinski
Engineering Software Systems: Research and Praxis
Book
09/2018
Springer
€160.49
Shipment within 10-15 days
Content
- Intro
- Preface
- Contents
- Requirement Engineering
- What Is Troubling IT Analysts? A Survey Report from Poland on Requirements-Related Problems
- Abstract
- 1 Introduction
- 2 Related Work
- 3 Research Process
- 3.1 Literature Review
- 3.2 Workshop
- 3.3 Questionnaire-Based Survey
- 4 Survey Results
- 5 Comparison with Other Results
- 6 Validity Discussion
- 7 Conclusions
- Acknowledgements
- References
- Value-Based Requirements Engineering: Challenges and Opportunities
- Abstract
- 1 Introduction
- 2 Background and Related Work
- 3 Research Design and Methodology
- 3.1 Industrial Survey
- 4 Literature Review Results
- 4.1 Thematic Analysis
- 5 Survey Results and Analysis
- 6 Conclusions
- Acknowledgements
- References
- Applying Use Case Logic Patterns in Practice: Lessons Learnt
- 1 Introduction
- 2 Use Case Logic Language
- 3 Reference Approach
- 4 Use Case Pattern Approach
- 5 Results and Discussion
- 6 Conclusion and Future Work
- References
- Software Modelling and Construction
- On the Functional Specification of Queries in OCL
- 1 Introduction
- 2 Query Specification
- 2.1 Query Definition in UML
- 2.2 Definition of Relative Queries in Extended OCL
- 2.3 Example
- 3 Formal Foundations
- 3.1 Semantics of OCL
- 3.2 Formalizing Relative Queries
- 3.3 Example Continued
- 4 Conclusion
- References
- Multi-level Security System Verification Based on the Model
- Abstract
- 1 Introduction
- 2 General Approach to Security Modeling in MLS Systems
- 2.1 Problem Statement
- 2.2 MLS Models
- 2.3 Metamodel
- 2.4 An Approach to Properties Analysis of MLS Security-Design Models
- 3 The Profile MlsML
- 3.1 MLS Metamodel
- 3.2 Using the MlsML Profile
- 3.3 Hardware Description with Topologies Model
- 4 Case Study: A Security Policy Model Verification and Simulation
- 4.1 Secure Workstation for Special Application (SWSA) Project
- 4.2 SWSA Security Policy Verification - An Example
- 4.3 Analysis on Separability on the Base of an Example Scenario
- 5 Summary
- References
- Towards Definition of a Unified Domain Meta-model
- Abstract
- 1 Introduction
- 2 What Is a Domain Model - Literature Overview
- 2.1 Domain Model - RUP Definition
- 2.2 Domain Model - NRS Data Modeling Standards
- 2.3 Concept Model/Structured Business Vocabulary - R. Ross Definition
- 2.4 Business Vocabulary - SBVR Definition
- 2.5 Summary
- 3 Definition of a Unified Domain Meta-model
- 4 UDM Instance Example
- 5 Conclusions and Further Works
- References
- Hybrid Agile Method for Management of Software Creation
- 1 Introduction
- 2 Agile Software Development and Management
- 2.1 Benefits of Adopting Agile Project Management
- 2.2 Challenges of Adopting Agile Project Management
- 2.3 Hybrid Method of Scrum-XP
- 3 Proposition of Scrum-XP Hybrid Method in Agile Approach
- 3.1 Values
- 3.2 Practices
- 3.3 Process
- 3.4 Team Roles and Responsibilities
- 3.5 Meetings
- 3.6 Documents
- 4 SXP Hybrid Support Tool
- 5 Conclusions and Future Works
- References
- System Monitoring and Performance
- The Performance Analysis of Web Applications Based on Virtual DOM and Reactive User Interfaces
- Abstract
- 1 Introduction
- 2 Motivation
- 3 Measurement of SPA Performance
- 3.1 Performance Timeline
- 3.2 Tools Supporting Automation of Measurements
- 4 Research Stand
- 4.1 Application Architecture
- 4.2 Application Functionalities
- 5 Research
- 5.1 Loading a List of a Specific Length
- 5.2 Searching the Full List
- 5.3 Deleting Indicated Elements from the List in a Random Order and Deleting All Elements
- 6 Summary
- 7 Related Works
- References
- Real-Time Comparable Phrases Searching Via the Levenshtein Distance with the Use of CUDA Technology
- Abstract
- 1 Introduction
- 2 Wagner-Fischer Algorithm
- 3 The Method
- 3.1 An Example Simple Task
- 3.2 An Analysis of a Not So Simple Task
- 3.3 The Alphabet and Histograms
- 3.4 Checking Neighbours
- 3.5 The Histogram Analysis
- 4 The Verification Environment
- 5 The Use of CUDA
- 5.1 The CUDA Technology
- 5.2 Wagner-Fischer Algorithm Implementation
- 5.3 Massively Parallel Processing
- 6 Results
- 7 Conclusion
- References
- Smart City Traffic Monitoring System Based on 5G Cellular Network, RFID and Machine Learning
- Abstract
- 1 Introduction
- 2 Related Work
- 3 Architecture of the System
- 4 Traffic Analysis
- 5 RFID in Traffic and Car Park Management
- 6 MQTT Communication with the Cloud
- 7 Azure Cloud Services
- 8 Conclusions
- Acknowledgment
- References
- Monitoring and Maintenance of Telecommunication Systems: Challenges and Research Perspectives
- Abstract
- 1 Introduction
- 2 Related Work
- 3 Industrial Context
- 3.1 System Architecture
- 3.2 Runtime System Characteristic
- 4 Challenges and Research Directions
- 5 Conclusions and Future Work
- References
- Empirical Software Engineering
- Software Metrics for Similarity Determination of Complex Software Systems
- Abstract
- 1 Introduction
- 2 Similarity of Complex Software Systems
- 2.1 Global Software Similarity Measure
- 2.2 Measure of Structural Similarity of Software Code File Groups
- 2.3 Structural Similarity Metrics
- 3 An Approach to Similarity Measuring
- 4 Methodology of Software Similarity Study - M3S
- 5 3ST Application
- 6 Discussion and Related Work
- 7 Conclusion (and Ongoing Work)
- References
- How Good Is My Project? Experiences from Projecting Software Quality Using a Reference Set
- 1 Introduction
- 2 GN-QM - A GÉANT Software Evaluation Framework
- 2.1 Data Collector
- 3 Evaluation Schema
- 3.1 A Reference Set of Projects
- 3.2 Contextual Features
- 3.3 Stratification of Data
- 4 Example of Application
- 4.1 Redundancy of Some Features
- 4.2 Threats to Validity
- 5 Related Work
- 5.1 Ranking Software Projects
- 5.2 Features and Attributes of Software Projects
- 6 Summary
- References
- Author Index
