Application and Theory of Petri Nets and Concurrency


Book Description

This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021. The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.




Internetware


Book Description

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.




Process Improvement and CMMI for Systems and Software


Book Description

Process Improvement and CMMI for Systems and Software provides a workable approach for achieving cost-effective process improvements for systems and software. Focusing on planning, implementation, and management in system and software processes, it supplies a brief overview of basic strategic planning models and covers fundamental concepts and appr




Smart Health


Book Description

Prolonged life expectancy along with the increasing complexity of medicine and health services raises health costs worldwide dramatically. Whilst the smart health concept has much potential to support the concept of the emerging P4-medicine (preventive, participatory, predictive, and personalized), such high-tech medicine produces large amounts of high-dimensional, weakly-structured data sets and massive amounts of unstructured information. All these technological approaches along with “big data” are turning the medical sciences into a data-intensive science. To keep pace with the growing amounts of complex data, smart hospital approaches are a commandment of the future, necessitating context aware computing along with advanced interaction paradigms in new physical-digital ecosystems. The very successful synergistic combination of methodologies and approaches from Human-Computer Interaction (HCI) and Knowledge Discovery and Data Mining (KDD) offers ideal conditions for the vision to support human intelligence with machine learning. The papers selected for this volume focus on hot topics in smart health; they discuss open problems and future challenges in order to provide a research agenda to stimulate further research and progress.




Advanced Topics in Exception Handling Techniques


Book Description

This book – inspired by two ECOOP workshops on exception handling - is composed of five parts; the first four address exception handling and related topics in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part offers case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers review a wide range of issues in exception handling.




Successful Evolution of Software Systems


Book Description

In today's fast-changing, competitive environment, having an up-to-date information system (IS) is critical for all companies and institutions. Rather than creating a new system from scratch, reengineering is an economical way to develop an IS to match changing business needs. Using detailed examples, this practical book gives you methods and techniques for reengineering systems for flexibility and reliability. It helps you reengineer a system to continue to provide for business critical missions as well as achieve a smooth transformation to an up-to-date software technology environment. What's more, it shows you how to redevelop a flexible system that can evolve to meet future business objectives, reduce start time and save money in the reengineering process.




Software Testing and Quality Assurance


Book Description

A superior primer on software testing and quality assurance, from integration to execution and automation This important new work fills the pressing need for a user-friendly text that aims to provide software engineers, software quality professionals, software developers, and students with the fundamental developments in testing theory and common testing practices. Software Testing and Quality Assurance: Theory and Practice equips readers with a solid understanding of: Practices that support the production of quality software Software testing techniques Life-cycle models for requirements, defects, test cases, and test results Process models for units, integration, system, and acceptance testing How to build test teams, including recruiting and retaining test engineers Quality Models, Capability Maturity Model, Testing Maturity Model, and Test Process Improvement Model Expertly balancing theory with practice, and complemented with an abundance of pedagogical tools, including test questions, examples, teaching suggestions, and chapter summaries, this book is a valuable, self-contained tool for professionals and an ideal introductory text for courses in software testing, quality assurance, and software engineering.




Guide to Advanced Empirical Software Engineering


Book Description

This book gathers chapters from some of the top international empirical software engineering researchers focusing on the practical knowledge necessary for conducting, reporting and using empirical methods in software engineering. Topics and features include guidance on how to design, conduct and report empirical studies. The volume also provides information across a range of techniques, methods and qualitative and quantitative issues to help build a toolkit applicable to the diverse software development contexts




Agile Software Development Quality Assurance


Book Description

"This book provides the research and instruction used to develop and implement software quickly, in small iteration cycles, and in close cooperation with the customer in an adaptive way, making it possible to react to changes set by the constant changing business environment. It presents four values explaining extreme programming (XP), the most widely adopted agile methodology"--Provided by publisher.




Modelling and Implementation of Complex Systems


Book Description

This book presents the proceedings of the fifth International Symposium on Modelling and Implementation of Complex Systems (MISC 2018). The event was held in Laghouat, Algeria, on December 16–18, 2018. The 25 papers gathered here have been selected from 109 submissions using a strict peer-review process, and address a range of topics concerning the theory and applications of networking and distributed computing, including: cloud computing and the IoT, metaheuristics and optimization, computational intelligence, software engineering and formal methods.