Mathematics in Software Reliability and Quality Assurance

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment

Harnessing Knowledge, Innovation and Competence in Engineering of Mission Critical Systems

This book explores the critical role of acquisition, application, enhancement, and management of knowledge and human competence in the context of the largely digital and data/information dominated modern world. Whilst humanity owes much of its achievements to the distinct capability to learn from observation, analyse data, gain insights, and perceive beyond original realities, the systematic treatment of knowledge as a core capability and driver of success has largely remained the forte of pedagogy. In an increasingly intertwined global community faced with existential challenges and risks, the significance of knowledge creation, innovation, and systematic understanding and treatment of human competence is likely to be humanity's greatest weapon against adversity. This book was conceived to inform the decision makers and practitioners about the best practice pertinent to many disciplines and sectors. The chapters fall into three broad categories to guide the readers to gain insight from generic fundamentals to discipline-specific case studies and of the latest practice in knowledge and competence management

Harnessing Knowledge, Innovation and Competence in Engineering of Mission Critical Systems

This book explores the critical role of acquisition, application, enhancement, and management of knowledge and human competence in the context of the largely digital and data/information dominated modern world. Whilst humanity owes much of its achievements to the distinct capability to learn from observation, analyse data, gain insights, and perceive beyond original realities, the systematic treatment of knowledge as a core capability and driver of success has largely remained the forte of pedagogy. In an increasingly intertwined global community faced with existential challenges and risks, the significance of knowledge creation, innovation, and systematic understanding and treatment of human competence is likely to be humanity's greatest weapon against adversity. This book was conceived to inform the decision makers and practitioners about the best practice pertinent to many disciplines and sectors. The chapters fall into three broad categories to guide the readers to gain insight from generic fundamentals to discipline-specific case studies and of the latest practice in knowledge and competence management

Semantic discovery and reuse of business process patterns

Patterns currently play an important role in modern information systems (IS) development and their use has mainly been restricted to the design and implementation phases of the development lifecycle. Given the increasing significance of business modelling in IS development, patterns have the potential of providing a viable solution for promoting reusability of recurrent generalized models in the very early stages of development. As a statement of research-in-progress this paper focuses on business process patterns and proposes an initial methodological framework for the discovery and reuse of business process patterns within the IS development lifecycle. The framework borrows ideas from the domain engineering literature and proposes the use of semantics to drive both the discovery of patterns as well as their reuse

Industry 4.0 for SMEs

This open access book explores the concept of Industry 4.0, which presents a considerable challenge for the production and service sectors. While digitization initiatives are usually integrated into the central corporate strategy of larger companies, smaller firms often have problems putting Industry 4.0 paradigms into practice. Small and medium-sized enterprises (SMEs) possess neither the human nor financial resources to systematically investigate the potential and risks of introducing Industry 4.0. Addressing this obstacle, the international team of authors focuses on the development of smart manufacturing concepts, logistics solutions and managerial models specifically for SMEs. Aiming to provide methodological frameworks and pilot solutions for SMEs during their digital transformation, this innovative and timely book will be of great use to scholars researching technology management, digitization and small business, as well as practitioners within manufacturing companies

A Comprehensive Review and Synthesis of Open Source Research

The open source movement has grown steadily and matured in recent years, and this growth has been mirrored by a rise in open source related research. The objective of this paper is to pause and reflect on the state of the field. We start by conducting a comprehensive literature review of open source research, and organize the resulting 618 peer-reviewed articles into a taxonomy. Elements of this taxonomy are defined and described. We then draw on a number of existing categorization schemes to develop a framework to situate open source research within a wider nomological network. Building on concepts from systems theory, we propose a holistic framework of open source research. This framework incorporates current research, as represented by the taxonomy, identifies gaps and areas of overlap, and charts a path for future work

Recent Trends in Computational Intelligence

Traditional models struggle to cope with complexity, noise, and the existence of a changing environment, while Computational Intelligence (CI) offers solutions to complicated problems as well as reverse problems. The main feature of CI is adaptability, spanning the fields of machine learning and computational neuroscience. CI also comprises biologically-inspired technologies such as the intellect of swarm as part of evolutionary computation and encompassing wider areas such as image processing, data collection, and natural language processing. This book aims to discuss the usage of CI for optimal solving of various applications proving its wide reach and relevance. Bounding of optimization methods and data mining strategies make a strong and reliable prediction tool for handling real-life applications

Governance and organizational sponsorship as success factors in free/libre and open source software development: An empirical investigation using structural equation modeling

Recent advances in information technologies and subsequent explosive growth of computer software use in practically all aspects of everyday life provide tremendous opportunities and benefits for improving people\u27s lives. However, significant proportion of software projects represents cancelled, abandoned or otherwise failed projects. This situation exists not only in commercial software products or government information systems, but also in an increasingly popular and important domain of free/libre and open source software (FLOSS). The problem of failures in software development projects requires identification and understanding of the factors of success and their interrelationships. Practice and previous research suggest that governance of software development projects plays crucial role in their success. Increasing adoption and sponsorship of FLOSS by commercial firms and government organizations present additional challenges; such sponsorship may also interact with governance in FLOSS projects and play a role in determining their success. This dissertation focused on analyzing the role and significance of governance and organizational sponsorship in the success of FLOSS development. This study used both conceptual analysis and empirical methods. The conceptual analysis phase, a preliminary study based on the review of existing literature, produced a partial model of success in FLOSS development. This model was verified in an empirical phase, which statistically analyzed data from multiple FLOSS repositories and other public sources. The statistical analysis was based on structural equation modeling (SEM) approach. Results of this study did not confirm hypothesized effects of the main two factors (governance and organizational sponsorship) on FLOSS success, but confirmed a positive effect of project maturity on the success. The likely reason of the lack of support for the main factors is unavailability of sufficient and correct data for proper operationalization. This and other uncovered issues are planned to be addressed in the future research on the topic, for which this dissertation formed a solid conceptual and data analysis framework