This book constitutes the proceedings of the 17th International Conference on Unconventional Computation and Natural Computation, UCNC 2018, held in Fontainebleau, France, in June 2018. The 15 full papers presented were carefully reviewed and selected from 22 submissions. The paper cover topics such as hypercomputation; chaos and dynamical systems based computing; granular, fuzzy and rough computing; mechanical computing; cellular, evolutionary, molecular, neural, and quantum computing; membrane computing; amorphous computing, swarm intelligence; artificial immune systems; physics of computation; chemical computation; evolving hardware; the computational nature of self-assembly, developmental processes, bacterial communication, and brain processes.

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, modelling environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive software, and safety-critical software.

This book presents a comprehensive, structured, up-to-date survey on instruction selection. The survey is structured according to two dimensions: approaches to instruction selection from the past 45 years are organized and discussed according to their fundamental principles, and according to the characteristics of the supported machine instructions. The fundamental principles are macro expansion, tree covering, DAG covering, and graph covering. The machine instruction characteristics introduced are single-output, multi-output, disjoint-output, inter-block, and interdependent machine instructions. The survey also examines problems that have yet to be addressed by existing approaches. The book is suitable for advanced undergraduate students in computer science, graduate students, practitioners, and researchers.

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017. The 11 revised full papers and the one revised short paper presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on networking and mobile applications; applications of quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.

This double volume set ( LNAI 10863-10864) constitutes the refereed proceedings of the 25th International Workshop, EG-ICE 2018, held in Lausanne, Switzerland, in June 2018. The 58 papers presented in this volume were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on Advanced Computing in Engineering, Computer Supported Construction Management, Life-Cycle Design Support, Monitoring and Control Algorithms in Engineering, and BIM and Engineering Ontologies.

This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and drawing Euler diagrams; diagrams in mathematics; diagram design, principles and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; Peirce and existential graphs; and logic and diagrams.

This book presents new software engineering approaches and methods, discussing real-world problems and exploratory research that describes novel approaches, modern design techniques, hybrid algorithms and empirical methods. This book constitutes part of the refereed proceedings of the Software Engineering and Algorithms in Intelligent Systems Section of the 7th Computer Science On-line Conference 2018 (CSOC 2018), held in April 2018.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Multi-Agent-Based Simulation, MABS 2017, held in Sao Paulo, Brazil, in May 2017. The workshop was held in conjunction with the 16th International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2017. The 15 revised full papers included in this volume were carefully selected from 23 submissions. The topic of the papers is about applying agent-based simulation techniques to real-world problems focusing on the confluence of socio-technical-natural sciences and multi-agent systems with a strong application/empirical vein.

This book constitutes the revised and selected papers from the 5th International Workshop on Engineering Multi-Agent Systems held in Sao Paulo, Brazil, in May 2018, in conjunction with AAMAS 2018. The 11 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The book contains also the best paper of the workshop that has been published previously in another LNCS volume. The EMAS workshop focusses on the cross-fertilisation of ideas and experiences in the various fields with the aim to enhance knowledge and expertise in MAS engineering , to improve the state-of-the-art, to define new directions for MAS engineering, to investigate how established methodologies for engineering and large-scale and open MAS can be adapted.

The two-volume set LNAI 10841 and LNAI 10842 constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2018, held in Zakopane, Poland in June 2018. The 140 revised full papers presented were carefully reviewed and selected from 242 submissions. The papers included in the first volume are organized in the following three parts: neural networks and their applications; evolutionary algorithms and their applications; and pattern classification.

This book constitutes the revised selected papers of the Second International Workshop on Understanding Human Activities through 3D Sensors, UHA3DS 2016, that was held in conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, held in Cancun, Mexico, in December 2016. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections on Behavior Analysis, Human Motion Recognition, and Application Datasets.

This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution, Chapter 2 describes the main architectural styles of automotive software and their use in cars' software. In Chapter 3, readers will find a description of the software development processes used to develop software on the car manufacturers' side. Chapter 4 then introduces AUTOSAR - an important standard in automotive software. Chapter 5 goes beyond simple architecture and describes the detailed design process for automotive software using Simulink, helping readers to understand how detailed design links to high-level design. Next, Chapter 6 presents a method for assessing the quality of the architecture - ATAM (Architecture Trade-off Analysis Method) - and provides a sample assessment, while Chapter 7 presents an alternative way of assessing the architecture, namely by using quantitative measures and indicators. Subsequently Chapter 8 dives deeper into one of the specific properties discussed in Chapter 6 - safety - and details an important standard in that area, the ISO/IEC 26262 norm. Lastly, Chapter 9 presents a set of future trends that are currently emerging and have the potential to shape automotive software engineering in the coming years. This book explores the concept of software architecture for modern cars and is intended for both beginning and advanced software designers. It mainly aims at two different groups of audience - professionals working with automotive software who need to understand concepts related to automotive architectures, and students of software engineering or related fields who need to understand the specifics of automotive software to be able to construct cars or their components. Accordingly, the book also contains a wealth of real-world examples illustrating the concepts discussed and requires no prior background in the automotive domain.

This book summarizes the results of Design Thinking Research Program at Stanford University in Palo Alto, California, USA and the Hasso Plattner Institute in Potsdam, Germany. Offering readers a closer look at design thinking, its innovation processes and methods, it covers topics ranging from how to design ideas, methods and technologies, to creativity experiments and creative collaboration in the real world, and the interplay between designers and engineers. But the topics go beyond this in their detailed exploration of design thinking and its use in IT systems engineering fields, and even from a management perspective. The authors show how these methods and strategies actually work in companies, and introduce new technologies and their functions. Furthermore, readers learn how special-purpose design thinking can be used to solve thorny problems in complex fields. Thinking and devising innovations are fundamentally and inherently human activities - so is design thinking. Accordingly, design thinking is not merely the result of special courses nor of being gifted or trained: it's a way of dealing with our environment and improving techniques, technologies and life. This edition offers a historic perspective on the theoretical foundations of design thinking. Within the four topic areas, various frameworks, methodologies, mindsets, systems and tools are explored and further developed. The first topic area focuses on team interaction, while the second part addresses tools and techniques for productive collaboration. The third section explores new approaches to teaching and enabling creative skills and lastly the book examines how design thinking is put into practice. All in all, the contributions shed light and provide deeper insights into how to support the collaboration of design teams in order to systematically and successfully develop innovations and design progressive solutions for tomorrow.

This book constitutes the thoroughly refereed revised selected papers of the 10th International Conference on Bioinspired Optimization Models and Their Applications, BIOMA 2018, held in Paris, France, in May 2018. The 27 revised full papers were selected from 53 submissions and present papers in all aspects of bioinspired optimization research such as new algorithmic developments, high-impact applications, new research challenges, theoretical contributions, implementation issues, and experimental studies.

This book constitutes the proceedings of two events held at the CAiSE conference and relating to the areas of enterprise, business process and information systems modeling: The 19th International Conference on Business Process Modeling, Development and Support, BPMDS 2018, and the 23rd International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2018. The conferences took place in Tallinn, Estonia, in June 2018. The 13 papers accepted for BPMDS were carefully reviewed and selected from 29 submissions; for EMMSAD 6 papers out of 13 submissions were accepted for publication. For BPMDS 2018, the papers were organized in topical sections as follows: context-awareness in business processes; automatic analysis of business processes; advanced approaches for business process modeling; evaluation of business process modeling techniques; an experience report on modeling collaborative processes. For EMMSAD 2018, the six related papers are listed without further sections.

This book provides an in-depth insight into the emerging paradigm of End-User Development (EUD), discussing the diversity and potential for creating effective environments for end users. Containing a unique set of contributions from a number of international researchers and institutes, many relevant issues are discussed and solutions proposed, making important aspects of end-user development research available to a broader audience. Most people are familiar with the basic functionality and interfaces of computers. However, developing new or modified applications that can effectively support users' goals still requires considerable programming expertise that cannot be expected of everyone. One of the fundamental challenges that lie ahead is the development of environments that enable users with little or no programming experience to develop and modify their own applications. The ultimate goal is to empower people to flexibly employ and personalise advanced inform ation and communication technologies.

This book discusses smart, agile software development methods and their applications for enterprise crisis management, presenting a systematic approach that promotes agility and crisis management in software engineering. The key finding is that these crises are caused by both technology-based and human-related factors. Being mission-critical, human-related issues are often neglected. To manage the crises, the book suggests an efficient agile methodology including a set of models, methods, patterns, practices and tools. Together, these make a survival toolkit for large-scale software development in crises. Further, the book analyses lifecycles and methodologies focusing on their impact on the project timeline and budget, and incorporates a set of industry-based patterns, practices and case studies, combining academic concepts and practices of software engineering.

Lankhorst and his co-authors present ArchiMate (R) 3.0, enterprise modelling language that captures the complexity of architectural domains and their relations and allows the construction of integrated enterprise architecture models. They provide architects with concrete instruments that improve their architectural practice. As this is not enough, they additionally present techniques and heuristics for communicating with all relevant stakeholders about these architectures. Since an architecture model is useful not only for providing insight into the current or future situation but can also be used to evaluate the transition from 'as-is' to 'to-be', the authors also describe analysis methods for assessing both the qualitative impact of changes to an architecture and the quantitative aspects of architectures, such as performance and cost issues. The modelling language presented has been proven in practice in many real-life case studies and has been adopted by The Open Group as an international standard. So this book is an ideal companion for enterprise IT or business architects in industry as well as for computer or management science students studying the field of enterprise architecture. This fourth edition of the book has been completely reworked to be compatible with ArchiMate (R) 3.0, and it includes a new chapter relating this new version to other standards. New sections on capability analysis, risk analysis, and business architecture in general have also been introduced.

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.

This book is open access under a CC BY-NC 4.0 license. This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. Their potential is explored in detail, while the limits of engineering a company from a communication-centred perspective are also discussed. After a general introduction and an overview of the book in chapter 1, chapter 2 starts by condensing the industrial challenges driven by the German "Industry 4.0" trend to form a concrete vision for future production industries. Subsequently, chapter 3 introduces the basic concepts of S-BPM and its capabilities, in particular for supporting the restructuring of processes. The next three chapters then present various case studies, e.g. at an SME offering the production of atypical, unique and special purpose machinery, equipment and technologically complex units particularly useful in the automotive and electronic industries; and at a further SME producing highly-customized floor cleaning machines. Rounding out the coverage, the last two chapters summarize the achievements and lessons learned with regard to the road ahead. Overall, the book provides a realistic portrait of the status quo based on current findings, and outlines the future activities to be pursued in order to establish stakeholder-centred digital production systems. As such, developers, educators, and practitioners will find both the conceptual background and results from the field reflecting the state-of-the-art in vertical and horizontal process integration.

Based on the latest version of the language, this book offers a self-contained, concise and coherent introduction to programming with Python. The book's primary focus is on realistic case study applications of Python. Each practical example is accompanied by a brief explanation of the problem-terminology and concepts, followed by necessary program development in Python using its constructs, and simulated testing. Given the open and participatory nature of development, Python has a variety of incorporated data structures, which has made it difficult to present it in a coherent manner. Further, some advanced concepts (super, yield, generator, decorator, etc.) are not easy to explain. The book specially addresses these challenges; starting with a minimal subset of the core, it offers users a step-by-step guide to achieving proficiency.

This book presents TraceME, a traceability-based method for conceptual model evolution whose general purpose is to support the evolution of information systems. By providing a set of four TraceME chunks, TraceME is situational-oriented. In this way, it can be adapted to support different evolution projects by just assembling the TraceME chunks. To facilitate its industrial adoption, open source tools were developed and described which support the implementation of the TraceME chunks.The work presented highlights various research endeavors for the development of methods and techniques to automate the evolution of software systems. It explores the requirements engineering field as a steppingstone to a successful software development processes. In 2017, the underlying PhD dissertation won the "CAiSE PhD award", granted to outstanding PhD theses in the field of Information Systems Engineering.

This book presents a comprehensive introduction to Internetware, covering aspects ranging from the fundamental principles and engineering methodologies to operational platforms, quality measurements and assurance and future directions. It also includes guidelines and numerous representative real-world case studies that serve as an invaluable reference resource for software engineers involved in the development of Internetware applications. Providing a detailed analysis of current trends in modern software engineering in the Internet, it offers an essential blueprint and an important contribution to the research on software engineering and systems for future Internet computing.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This twenty-eight issue is a special issue with 11 selected papers from the International Conference on Agents and Artificial Intelligence, ICAART 2016 and 2017 editions.