Reference Information for the Software Verification and Validation Process
Reference Information for the Software Verification and Validation Process

Author: Dolores R. Wallace

Publisher: DIANE Publishing

Published: 1996

Total Pages: 97

ISBN-13: 0788143409

DOWNLOAD EBOOK

Computing systems are employed in the health care environment in efforts to increase reliability of care and reduce costs. Software verification and validation (V&V) is an aid in determining that the software requirements are implemented correctly and completely and are traceable to system requirements. It helps to ensure that those system functions controlled by software are secure, reliable, and maintainable. Software V&V is conducted throughout the planning, development and maintenance of software systems, including knowledge based systems, and may assist in assuring appropriate reuse of software.

Design and Analysis of Distributed Embedded Systems
Design and Analysis of Distributed Embedded Systems

Author: Bernd Kleinjohann

Publisher: Springer

Published: 2013-04-17

Total Pages: 294

ISBN-13: 0387355995

DOWNLOAD EBOOK

Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks.

Energy Research Abstracts
Energy Research Abstracts

Author:

Publisher:

Published: 1995

Total Pages: 758

ISBN-13:

DOWNLOAD EBOOK

Semiannual, with semiannual and annual indexes. References to all scientific and technical literature coming from DOE, its laboratories, energy centers, and contractors. Includes all works deriving from DOE, other related government-sponsored information, and foreign nonnuclear information. Arranged under 39 categories, e.g., Biomedical sciences, basic studies; Biomedical sciences, applied studies; Health and safety; and Fusion energy. Entry gives bibliographical information and abstract. Corporate, author, subject, report number indexes.

Conference on Software Engineering Education and Training
Conference on Software Engineering Education and Training

Author: Timothy Christian Lethbridge

Publisher:

Published: 2002

Total Pages: 292

ISBN-13:

DOWNLOAD EBOOK

This volume originated from the 15th Conference on Software Engineering Education and Training and examines software design and development. It is aimed at researchers, professors, practitioners and students.

Verification and Validation of Rule-Based Expert Systems
Verification and Validation of Rule-Based Expert Systems

Author: Suzanne Smith

Publisher: CRC Press

Published: 2018-10-08

Total Pages: 224

ISBN-13: 149871935X

DOWNLOAD EBOOK

This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide a more formal, objective, and automated means of carrying out verification and validation procedures. Many of the concepts behind these procedures have been adapted from conventional software, while others have required that new techniques or tools be created because of the uniqueness of rule-based expert systems. Verification and Validation of Rule-Based Expert Systems is a valuable reference for electrical engineers, software engineers, artificial intelligence experts, and computer scientists involved with object-oriented development, expert systems, and programming languages.