Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The workshop addresses the integration of multiple functions on chip in system at higher levels of design abstraction, and the techniques and methodologies for modeling, analyzing, and validating such systems In particular, the workshop has become a unique forum for researchers and practitioners to discuss the practical issues associated with validation of extremely large designs.

Computer software --- Validation. --- Software validation --- Validation of software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.

Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer science. --- Software engineering. --- Logic design. --- Informatique --- Génie logiciel --- Structure logique --- Computer software -- Validation. --- Engineering & Applied Sciences --- Computer Science --- Computer software --- Validation. --- Software validation --- Validation of software --- Computer logic. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Computer science logic --- Logic, Symbolic and mathematical --- Computer Science Logic and Foundations of Programming. --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software. The intent is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? and 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. The book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.

Computer software --- Validation. --- Verification. --- Software verification --- Verification of software --- Software validation --- Validation of software --- Information Technology --- Computer Science (Hardware & Networks) --- Software engineering. --- Computer science. --- Operating systems (Computers). --- Artificial intelligence. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Performance and Reliability. --- Artificial Intelligence. --- Software Engineering. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Computer software engineering --- Engineering --- Operating systems --- Computer programming. --- Computer software—Reusability. --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial neural networks are a form of artificial intelligence that have the capability of learning, growing, and adapting with dynamic environments. With the ability to learn and adapt, artificial neural networks introduce new potential solutions and approaches to some of the more challenging problems that the United States faces as it pursues the vision of space exploration and develops other system applications that must change and adapt after deployment. Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications. Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book. The NASA IV&V and the Institute for Scientific Research, Inc. are working to be at the forefront of software safety and assurance for neural network and adaptive systems. Methods and Procedures for the Verification and Validation of Artificial Neural Networks is structured for research scientists and V&V practitioners in industry to assure neural network software systems for future NASA missions and other applications. This book is also suitable for graduate-level students in computer science and computer engineering.

Astronautics --- Neural networks (Computer science) --- Artificial intelligence. --- Computer software --- Data processing. --- Verification. --- Validation. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Software validation --- Validation of software --- Software verification --- Verification of software --- Artificial neural networks --- Nets, Neural (Computer science) --- Networks, Neural (Computer science) --- Neural nets (Computer science) --- Artificial intelligence --- Natural computation --- Soft computing --- Information Technology --- Computer Science (Hardware & Networks) --- Computer Communication Networks. --- Computer science. --- Computer network architectures. --- Computer vision. --- Optical pattern recognition. --- Artificial Intelligence. --- User Interfaces and Human Computer Interaction. --- Computer Systems Organization and Communication Networks. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Pattern Recognition. --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Machine vision --- Vision, Computer --- Image processing --- Pattern recognition systems --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer communication systems. --- User interfaces (Computer systems). --- Computer organization. --- Optical data processing. --- Pattern recognition. --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Organization, Computer --- Electronic digital computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Optical equipment --- Distributed processing