Author: Publisher: Institute of Electrical & Electronics Engineers(IEEE) ISBN: Category : Computers Languages : en Pages : 308
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.
Author: IEEE Computer Society Publisher: Institute of Electrical & Electronics Engineers(IEEE) ISBN: Category : Computers Languages : en Pages : 340
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
Author: Millie Pant Publisher: Springer Nature ISBN: 9811507511 Category : Technology & Engineering Languages : en Pages : 1403
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.
Author: IEEE Computer Society Publisher: Institute of Electrical & Electronics Engineers(IEEE) ISBN: 9780769504438 Category : Computers Languages : en Pages : 322
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.
Author: Publisher: Institute of Electrical & Electronics Engineers(IEEE) ISBN: Category : Computers Languages : en Pages : 532
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.
Author: Publisher: Institute of Electrical & Electronics Engineers(IEEE) ISBN: Category : Computers Languages : en Pages : 196
Book Description
This volume on software design and development covers the proceedings of the 4th International Software Metrics Symposium held in 1997."
Author: Amy Elser Publisher: Springer Science & Business Media ISBN: 1447124154 Category : Computers Languages : en Pages : 733
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.
Author: Terry Anderson Publisher: Athabasca University Press ISBN: 1897425082 Category : Computers Languages : en Pages : 485
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.
Author: Weiming Shen Publisher: Springer Science & Business Media ISBN: 0387365907 Category : Technology & Engineering Languages : en Pages : 509
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.
Author: 
Author: 
Author: IEEE Computer Society
Author: Millie Pant
Author: IEEE Computer Society
Author: 
Author: 
Author: Amy Elser
Author: Terry Anderson
Author: Weiming Shen