Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada


Book Description

This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.




Proceedings


Book Description




High-assurance Systems Engineering Symposium


Book Description

Partial Contents: Formal/Analytic Methods for Dependability; Reliability Modeling; Survivability & Security; Formal Methods; Design for High Assurance; Fault Analysis & Predication; Testing & Analysis of High-Assurance Systems; High-Assurance in Intelligent Systems




Soft Computing: Theories and Applications


Book Description

The book focuses on soft computing and its applications to solve real-world problems in different domains, ranging from medicine and health care, to supply chain management, image processing and cryptanalysis. It includes high-quality papers presented at the International Conference on Soft Computing: Theories and Applications (SoCTA 2018), organized by Dr. B. R. Ambedkar National Institute of Technology, Jalandhar, Punjab, India. Offering significant insights into soft computing for teachers and researchers alike, the book inspires more researchers to work in the field of soft computing.




Tenth International Symposium on Software Reliability Engineering


Book Description

The theme of the November 1999 symposium deals with which technologies to take into the new millennium and which ones to leave behind. The 32 papers address software reliability techniques models, reliability and safety, object-oriented testing and modeling, quality, testing, and early quality prediction. Some of the topics are rare failure-state in a Markov chain model for software reliability, classification tree models of software quality over multiple releases, mutation testing applied to validate specifications based on statecharts, generating test cases from an OO model with an AI planning system, and requirements volatility and defect density. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.




IEEE International Conference on Software Maintenance--1999


Book Description

Annotation Proceedings of the August 1999 conference on software maintenance. Sixty-one contributions discuss reverse engineering, tools, migration, visualization and understanding, architectures and frameworks, management, testing, object-oriented technology, reuse and validation, models and processes, processes and technology, measurement and improvement, architecture, software change and impact analysis, software maintenance--the future, and on the threshold of Y2K. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR.




Fourth International Software Metrics Symposium


Book Description

This volume on software design and development covers the proceedings of the 4th International Software Metrics Symposium held in 1997."




Guide to Reliable Distributed Systems


Book Description

This book describes the key concepts, principles and implementation options for creating high-assurance cloud computing solutions. The guide starts with a broad technical overview and basic introduction to cloud computing, looking at the overall architecture of the cloud, client systems, the modern Internet and cloud computing data centers. It then delves into the core challenges of showing how reliability and fault-tolerance can be abstracted, how the resulting questions can be solved, and how the solutions can be leveraged to create a wide range of practical cloud applications. The author’s style is practical, and the guide should be readily understandable without any special background. Concrete examples are often drawn from real-world settings to illustrate key insights. Appendices show how the most important reliability models can be formalized, describe the API of the Isis2 platform, and offer more than 80 problems at varying levels of difficulty.




The Theory and Practice of Online Learning


Book Description

"Neither an academic tome nor a prescriptive 'how to' guide, The Theory and Practice of Online Learning is an illuminating collection of essays by practitioners and scholars active in the complex field of distance education. Distance education has evolved significantly in its 150 years of existence. For most of this time, it was an individual pursuit defined by infrequent postal communication. But recently, three more developmental generations have emerged, supported by television and radio, teleconferencing, and computer conferencing. The early 21st century has produced a fifth generation, based on autonomous agents and intelligent, database-assisted learning, that has been referred to as Web 2.0. The second edition of "The Theory and Practice of Online Learning" features updates in each chapter, plus four new chapters on current distance education issues such as connectivism and social software innovations."--BOOK JACKET.




Information Technology for Balanced Manufacturing Systems


Book Description

BASYS conferences were initially organized to promote the development of balanced automation systems. The first BASYS conference was successfully launched in Victoria, Brazil, in 1995. BASYS'06 is the 7th edition in this series. This book comprises three invited keynote papers and forty-nine regular papers accepted for presentation at the conference. All together, these papers will make significant contributions to the literature of Intelligent Technology for Balanced Manufacturing Systems.