Download or read book Testing Software and Systems written by David Clark and published by Springer Nature. This book was released on 2022-05-09 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.

Download or read book Dependable Software Engineering Theories Tools and Applications written by Wei Dong and published by Springer Nature. This book was released on 2022-12-10 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022. The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Download or read book 2019 34th IEEE ACM International Conference on Automated Software Engineering Workshops written by and published by . This book was released on 2019 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Dependable Software Engineering Theories Tools and Applications written by Shengchao Qin and published by Springer Nature. This book was released on 2021-11-18 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Download or read book PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN FMCAD 2021 written by Michael W. Whalen and published by TU Wien Academic Press. This book was released on 2021-10-14 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: Our life is dominated by hardware: a USB stick, the processor in our laptops or the SIM card in our smart phone. But who or what makes sure that these systems work stably, safely and securely from the word go? The computer - with a little help from humans. The overall name for this is CAD (computer-aided design), and it’s become hard to imagine our modern industrial world without it. So how can we be sure that the hardware and computer systems we use are reliable? By using formal methods: these are techniques and tools to calculate whether a system description is in itself consistent or whether requirements have been developed and implemented correctly. Or to put it another way: they can be used to check the safety and security of hardware and software. Just how this works in real life was also of interest at the annual conference on "Formal Methods in Computer-Aided Design (FMCAD)". Under the direction of Ruzica Piskac and Michael Whalen, the 21st Conference in October 2021 addressed the results of the latest research in the field of formal methods. A volume of conference proceedings with over 30 articles covering a wide range of formal methods has now been published for this online conference: starting from the verification of hardware, parallel and distributed systems as well as neuronal networks, right through to machine learning and decision-making procedures. This volume provides a fascinating insight into revolutionary methods, technologies, theoretical results and tools for formal logic in computer systems and system developments.

Download or read book Programming Languages and Systems written by Stephanie Weirich and published by Springer Nature. This book was released on with total page 462 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Software Architecture ECSA 2022 Tracks and Workshops written by Thais Batista and published by Springer Nature. This book was released on 2023-07-15 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions. Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).

Download or read book Programming Languages and Systems written by Nobuko Yoshida and published by Springer Nature. This book was released on 2021-03-22 with total page 693 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Download or read book Software Language Engineering written by Anthony Sloane and published by Springer. This book was released on 2012-04-25 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011. The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.

Download or read book Pattern Recognition written by Edgar Roman-Rangel and published by Springer Nature. This book was released on 2021-06-16 with total page 380 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 13th Mexican Conference on Pattern Recognition, MCPR 2021, which was planned to be held in Mexico City, Mexico, in June 2021. The conference was instead held virtually. The 35 papers presented in this volume were carefully reviewed and selected from 75 submissions. They are organized in the following topical sections: artificial intelligence techniques and recognition; pattern recognition techniques; neural networks and deep learning; computer vision; image processing and analysis; and medical applications of pattern recognition.

Download or read book Evolving Software Systems written by Tom Mens and published by Springer Science & Business Media. This book was released on 2014-01-08 with total page 418 pages. Available in PDF, EPUB and Kindle. Book excerpt: During the last few years, software evolution research has explored new domains such as the study of socio-technical aspects and collaboration between different individuals contributing to a software system, the use of search-based techniques and meta-heuristics, the mining of unstructured software repositories, the evolution of software requirements, and the dynamic adaptation of software systems at runtime. Also more and more attention is being paid to the evolution of collections of inter-related and inter-dependent software projects, be it in the form of web systems, software product families, software ecosystems or systems of systems. With this book, the editors present insightful contributions on these and other domains currently being intensively explored, written by renowned researchers in the respective fields of software evolution. Each chapter presents the state of the art in a particular topic, as well as the current research, available tool support and remaining challenges. The book is complemented by a glossary of important terms used in the community, a reference list of nearly 1,000 papers and books and tips on additional resources that may be useful to the reader (reference books, journals, standards and major scientific events in the domain of software evolution and datasets). This book is intended for all those interested in software engineering, and more particularly, software maintenance and evolution. Researchers and software practitioners alike will find in the contributed chapters an overview of the most recent findings, covering a broad spectrum of software evolution topics. In addition, it can also serve as the basis of graduate or postgraduate courses on e.g., software evolution, requirements engineering, model-driven software development or social informatics.

Download or read book Managing Technical Debt written by Philippe Kruchten and published by Addison-Wesley Professional. This book was released on 2019-04-15 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: “This is an incredibly wise and useful book. The authors have considerable real-world experience in delivering quality systems that matter, and their expertise shines through in these pages. Here you will learn what technical debt is, what is it not, how to manage it, and how to pay it down in responsible ways. This is a book I wish I had when I was just beginning my career. The authors present a myriad of case studies, born from years of experience, and offer a multitude of actionable insights for how to apply it to your project.” –Grady Booch, IBM Fellow Master Best Practices for Managing Technical Debt to Promote Software Quality and Productivity As software systems mature, earlier design or code decisions made in the context of budget or schedule constraints increasingly impede evolution and innovation. This phenomenon is called technical debt, and practical solutions exist. In Managing Technical Debt, three leading experts introduce integrated, empirically developed principles and practices that any software professional can use to gain control of technical debt in any software system. Using real-life examples, the authors explain the forms of technical debt that afflict software-intensive systems, their root causes, and their impacts. They introduce proven approaches for identifying and assessing specific sources of technical debt, limiting new debt, and “paying off” debt over time. They describe how to establish managing technical debt as a core software engineering practice in your organization. Discover how technical debt damages manageability, quality, productivity, and morale–and what you can do about it Clarify root causes of debt, including the linked roles of business goals, source code, architecture, testing, and infrastructure Identify technical debt items, and analyze their costs so you can prioritize action Choose the right solution for each technical debt item: eliminate, reduce, or mitigate Integrate software engineering practices that minimize new debt Managing Technical Debt will be a valuable resource for every software professional who wants to accelerate innovation in existing systems, or build new systems that will be easier to maintain and evolve.

Download or read book Wireless Mobile Communication and Healthcare written by Juan Ye and published by Springer Nature. This book was released on 2021-02-20 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed post-conference proceedings of the 9th International Conference on Mobile Communication and Healthcare, MobiHealth 2020, held in December 2020. Due to Covid-19 pandemic the conference was held virtually. The book contains 13 full papers selected from the main conference and 10 full papers from two workshops on medical artificial intelligence and on digital healthcare technologies. The conference papers are organized in topical sections on wearable technologies; health telemetry; mobile sensing and assessment; machine learning in eHealth applications.

Download or read book Online Portfolio Selection written by Bin Li and published by CRC Press. This book was released on 2018-10-30 with total page 227 pages. Available in PDF, EPUB and Kindle. Book excerpt: With the aim to sequentially determine optimal allocations across a set of assets, Online Portfolio Selection (OLPS) has significantly reshaped the financial investment landscape. Online Portfolio Selection: Principles and Algorithms supplies a comprehensive survey of existing OLPS principles and presents a collection of innovative strategies that leverage machine learning techniques for financial investment. The book presents four new algorithms based on machine learning techniques that were designed by the authors, as well as a new back-test system they developed for evaluating trading strategy effectiveness. The book uses simulations with real market data to illustrate the trading strategies in action and to provide readers with the confidence to deploy the strategies themselves. The book is presented in five sections that: Introduce OLPS and formulate OLPS as a sequential decision task Present key OLPS principles, including benchmarks, follow the winner, follow the loser, pattern matching, and meta-learning Detail four innovative OLPS algorithms based on cutting-edge machine learning techniques Provide a toolbox for evaluating the OLPS algorithms and present empirical studies comparing the proposed algorithms with the state of the art Investigate possible future directions Complete with a back-test system that uses historical data to evaluate the performance of trading strategies, as well as MATLAB® code for the back-test systems, this book is an ideal resource for graduate students in finance, computer science, and statistics. It is also suitable for researchers and engineers interested in computational investment. Readers are encouraged to visit the authors’ website for updates: http://olps.stevenhoi.org.

Download or read book Formal Approaches to Software Testing written by Wolfgang Grieskamp and published by Springer Science & Business Media. This book was released on 2006-05-30 with total page 229 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

Download or read book Refactoring at Scale written by Maude Lemaire and published by "O'Reilly Media, Inc.". This book was released on 2020-10-13 with total page 246 pages. Available in PDF, EPUB and Kindle. Book excerpt: Making significant changes to large, complex codebases is a daunting task--one that's nearly impossible to do successfully unless you have the right team, tools, and mindset. If your application is in need of a substantial overhaul and you're unsure how to go about implementing those changes in a sustainable way, then this book is for you. Software engineer Maude Lemaire walks you through the entire refactoring process from start to finish. You'll learn from her experience driving performance and refactoring efforts at Slack during a period of critical growth, including two case studies illustrating the impact these techniques can have in the real world. This book will help you achieve a newfound ability to productively introduce important changes in your codebase. Understand how code degrades and why some degradation is inevitable Quantify and qualify the state of your codebase before refactoring Draft a well-scoped execution plan with strategic milestones Win support from engineering leadership Build and coordinate a team best suited for the project Communicate effectively inside and outside your team Adopt best practices for successfully executing the refactor

Download or read book Model Checking written by Edmund M. Clarke and published by MIT Press. This book was released on 1999 with total page 346 pages. Available in PDF, EPUB and Kindle. Book excerpt: This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.