Trustworthy Systems Through Quantitative Software Engineering

A concise, engineering-oriented resource that provides practical support to IT professionals and those responsible for the quality of the software or systems they develop Software quality stems from two distinctive, but associated, topics in software engineering: software functional quality and software structural quality. This book studies the tenets of both of these notions, which focus on the efficiency and value of a design, respectively. It addresses engineering quality on both the application and system levels with attention to information systems (IS) and embedded systems (ES) as well as recent developments. Software Quality Engineering introduces the basic concepts of quality engineering like the nature of the engineering process, quality models and measurements, and evaluation quality, and provides a step-by-step overview of the application of software quality engineering in commonly recognized phases of the software development process. It also discusses management of software quality engineering processes, with special attention to budget, planning, conflict resolution, and traceability of quality requirements. Targeted at graduate engineering students and software quality specialists, Software Quality Engineering: Provides an analysis of interdependence between software functionality and its quality Includes a list of software quality engineering “to-dos” and models of software quality requirements traceability Covers the practical use of related ISO/IEC JTCI/SC7 standards

The one resource needed to create reliable software This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers learn how to master the techniques to produce high-quality, reliable software, regardless of the software system's level of complexity. The first part of the publication introduces major topics in software quality engineering and presents quality planning as an integral part of the process. Providing readers with a solid foundation in key concepts and practices, the book moves on to offer in-depth coverage of software testing as a primary means to ensure software quality; alternatives for quality assurance, including defect prevention, process improvement, inspection, formal verification, fault tolerance, safety assurance, and damage control; and measurement and analysis to close the feedback loop for quality assessment and quantifiable improvement. The text's approach and style evolved from the author's hands-on experience in the classroom. All the pedagogical tools needed to facilitate quick learning are provided: * Figures and tables that clarify concepts and provide quick topic summaries * Examples that illustrate how theory is applied in real-world situations * Comprehensive bibliography that leads to in-depth discussion of specialized topics * Problem sets at the end of each chapter that test readers' knowledge This is a superior textbook for software engineering, computer science, information systems, and electrical engineering students, and a dependable reference for software and computer professionals and engineers.

Learn how to successfully implement trustworthy computing tasks using aspect-oriented programming This landmark publication fills a gap in the literature by not only describing the basic concepts of trustworthy computing (TWC) and aspect-oriented programming (AOP), but also exploring their critical interrelationships. The author clearly demonstrates how typical TWC tasks such as security checks, in-and-out conditions, and multi-threaded safety can be implemented using AOP. Following an introduction, the book covers: Trustworthy computing, software engineering, and computer science Aspect-oriented programming and Aspect.NET Principles and case studies that apply AOP to TWC Coverage includes Aspect.NET, the AOP framework developed by the author for the Microsoft.NET platform, currently used in seventeen countries. The author discusses the basics of Aspect.NET architecture, its advantages compared to other AOP tools, and its functionality. The book has extensive practical examples and case studies of trustworthy software design and code using the Aspect.NET framework. In addition, the book explores other software technologies and tools for using AOP for trustworthy software development, including Java and AspectJ. This book also includes a valuable chapter dedicated to ERATO, the author's teaching method employed in this book, which has enabled thousands of students to quickly grasp and apply complex concepts in computing and software engineering, while the final chapter presents an overall perspective on the current state of AOP and TWC with a view toward the future. Software engineers, architects, developers, programmers, and students should all turn to this book to learn this tested and proven method to create more secure, private, and reliable computing.

Bioinformatics Software Engineering: Delivering Effective Applications will be useful to anyone who wants to understand how successful software can be developed in a rapidly changing environment. A handbook, not a textbook, it is not tied to any particular operating system, platform, language, or methodology. Instead it focuses on principles and practices that have been proven in the real world. It is pragmatic, emphasizing the importance of what the author calls Adaptive Programming – doing what works in your situation, and it is concise, covering the whole software development lifecycle in one slim volume. At each stage, it describes common pitfalls, explains how these can be avoided, and suggests simple techniques which make it easier to deliver better solutions. «Well thought-out … addresses many of the key issues facing developers of bioinformatics software.» (Simon Dear, Director, UK Technology and Development, Bioinformatics Engineering and Integration, Genetics Research, GlaxoSmithKline) Here are some examples from the book itself. On software development: “Writing software properly involves talking to people – often lots of people – and plenty of non-coding work on your part. It requires the ability to dream up new solutions to problems so complicated that they are hard to describe.” From description to specification: “Look for verbs – action words, such as ‘does’, ‘is’ and ‘views’. Identify nouns – naming words, like ‘user’, ‘home’ and ‘sequence’. List the adjectives – describing words, for example ‘quick’, ‘simple’ or ‘precise’. The verbs are the functions that must be provided by your application. The nouns define the parameters to those functions, and the adjectives specify the constraint conditions under which your program must operate.” On how to start writing software: “Handle errors. Take in data. Show output. Get going!” On testing: “It may not be physically possible to test every potential combination of situations that could occur as users interact with a program. But one thing that can be done is to test an application at the agreed extremes of its capability: the maximum number of simultaneous users it has to support, the minimum system configuration it must run on, the lowest communication speed it must cope with, and the most complex operations it must perform. If your program can cope with conditions at the edge of its performance envelope, it is less likely to encounter difficulties in dealing with less challenging situations.” On showing early versions of software to users: “It can be hard explaining the software development process to people who are unfamiliar with it. Code that to you is nearly finished is simply not working to them, and seeing their dream in bits on the workbench can be disappointing to customers, especially when they were expecting to be able to take it for a test drive.” On bugs: “If your users find a genuinely reproducible bug in production code, apologize, fix it fast, and then fix the system that allowed it through. And tell your customers what you are doing, and why, so they will be confident that it will not happen again. Everybody makes mistakes. Don’t make the same ones twice.” And one last thought on successful software development: "You have to be a detective, following up clues and examining evidence to discover what has gone wrong and why. And you have to be a politician, underst

This book conceives, presents and exemplifies a contemporary, general systems methodology that is straightforward and accessible, providing guidance in practical application, as well as explaining concept and theory. The book is presented both as a text for students, with topic assignments, and as a reference for practitioners, through case studies. Utilizing recent research and developments in systems science, methods and tools, Hitchins has developed a unified systems methodology, employable when tackling virtually any problem, from the small technological, to the global socioeconomic. Founded in the powerful ‘systems approach’, Hitchins’ systems methodology brings together both soft and hard system scientific methods into one methodological framework. This can be applied when addressing complex problems, issues and situations, and for creating robust, provable solutions, resolutions and dissolutions to those problems – supposing such to exist. This book details and explores: the systems approach, using theory and method to reveal systems engineering as applied systems science, bridging the gulf between Problem and Solution Spaces; a ‘universal’ Systems Methodology (including an extensive view of systems engineering, embracing both soft and hard systems) which encompasses all five stages of Hitchins’ 5-layer Systems Engineering Model (artifact, project, enterprise, industry and socio-economy); case studies illustrating how the systems methodology may be used to address a diverse range of situations and issues, including conceiving a new defense capability, proposing a feasible way to tackle global warming, tackling enterprise interventions, how and why things can go wrong, and many more. Systems Engineering will give an immeasurable advantage to managers, practitioners and consultants in a wide range of organizations and fields including police, defense, procurement, communications, transport, management, electrical, electronic, aerospace, requirements, software and computer engineering. It is an essential reference for researchers seeking ‘systems enlightenment’, including graduate students who require a comprehensive reference text on the subject, and also government departments and systems engineering institutions

Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques The aim of the book is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems. The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples.

Apply engineering and design principles to revitalize the healthcare delivery system Healthcare Systems Engineering is the first engineering book to cover this emerging field, offering comprehensive coverage of the healthcare system, healthcare delivery, and healthcare systems modeling. Written by leading industrial engineering authorities and a medical doctor specializing in healthcare delivery systems, this book provides a well-rounded resource for readers of a variety of backgrounds. Examples, case studies, and thoughtful learning activities are used to thoroughly explain the concepts presented, including healthcare systems, delivery, quantification, and design. You'll learn how to approach the healthcare industry as a complex system, and apply relevant design and engineering principles and processes to advance improvements. Written with an eye toward practicality, this book is designed to maximize your understanding and help you quickly apply toward solutions for a variety of healthcare challenges. Healthcare systems engineering is a new and complex interdisciplinary field that has emerged to address the myriad challenges facing the healthcare industry in the wake of reform. This book functions as both an introduction and a reference, giving you the knowledge you need to move toward better healthcare delivery. Understand the healthcare delivery context Use appropriate statistical and quantitative models Improve existing systems and design new ones Apply systems engineering to a variety of healthcare contexts Healthcare systems engineering overlaps with industrial engineering, operations research, and management science, uniting the principles and practices of these fields together in pursuit of optimal healthcare operations. Although collaboration is focused on practitioners, professionals in information technology, policy and administration, public health, and law all play crucial roles in revamping health care systems. Healthcare Systems Engineering is a complete and authoritative reference for stakeholders in any field.

Uniquely reflects an engineering view to social systems in a wide variety of contexts of application Social Systems Engineering: The Design of Complexity brings together a wide variety of application approaches to social systems from an engineering viewpoint. The book defines a social system as any complex system formed by human beings. Focus is given to the importance of systems intervention design for specific and singular settings, the possibilities of engineering thinking and methods, the use of computational models in particular contexts, and the development of portfolios of solutions. Furthermore, this book considers both technical, human and social perspectives, which are crucial to solving complex problems. Social Systems Engineering: The Design of Complexity provides modelling examples to explore the design aspect of social systems. Various applications are explored in a variety of areas, such as urban systems, health care systems, socio-economic systems, and environmental systems. It covers important topics such as organizational design, modelling and intervention in socio-economic systems, participatory and/or community-based modelling, application of systems engineering tools to social problems, applications of computational behavioral modeling, computational modelling and management of complexity, and more. Highlights an engineering view to social systems (as opposed to a “scientific” view) that stresses the importance of systems intervention design for specific and singular settings Divulges works where the design, re-design, and transformation of social systems constitute the main aim, and where joint considerations of both technical and social perspectives are deemed important in solving social problems Features an array of applied cases that illustrate the application of social systems engineering in different domains Social Systems Engineering: The Design of Complexity is an excellent text for academics and graduate students in engineering and social science—specifically, economists, political scientists, anthropologists, and management scientists with an interest in finding systematic ways to intervene and improve social systems.

A complete all-in-one reference on the important interdisciplinary topic of Battery Systems Engineering Focusing on the interdisciplinary area of battery systems engineering, this book provides the background, models, solution techniques, and systems theory that are necessary for the development of advanced battery management systems. It covers the topic from the perspective of basic electrochemistry as well as systems engineering topics and provides a basis for battery modeling for system engineering of electric and hybrid electric vehicle platforms. This original approach gives a useful overview for systems engineers in chemical, mechanical, electrical, or aerospace engineering who are interested in learning more about batteries and how to use them effectively. Chemists, material scientists, and mathematical modelers can also benefit from this book by learning how their expertise affects battery management. Approaches a topic which has experienced phenomenal growth in recent years Topics covered include: Electrochemistry; Governing Equations; Discretization Methods; System Response and Battery Management Systems Include tables, illustrations, photographs, graphs, worked examples, homework problems, and references, to thoroughly illustrate key material Ideal for engineers working in the mechanical, electrical, and chemical fields as well as graduate students in these areas A valuable resource for Scientists and Engineers working in the battery or electric vehicle industries, Graduate students in mechanical engineering, electrical engineering, chemical engineering.