Choose an application

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

This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods and reveals their respective advantages and disadvantages, while also staying close to the dual themes of automata theory and logic. Topics and features: * Collects and compares the key software reliability methods currently in use: deductive verification, automatic verification, testing, and process algebra * Provides useful information suitable in the software selection process for a given project * Offers numerous exercises, projects, and running examples to facilitate learning formal methods and allows for ¿hands-on¿ experience with these critical tools * Describes the mathematical principles supporting formal methods * Gives insights into new research directions in the field, as well as ways of developing new methods and/or adjusting existing ones. This volume can be used as an introduction to software methods techniques, a source for learning about various ways to enhance software reliability, and a guide to formal methods techniques. It is an essential resource for professionals and software engineers in R&D departments in industry, using software reliability, program-modeling systems, and verification methods.

Programming --- Computer software --- Logiciels --- Reliability. --- Fiabilité --- Reliability

Choose an application

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

This special report with user-friendly software has been produces following a collaboration between the Centre for Adhesives technology at TWI, Cranfield University and the DTI. The three-year project identified that highlighting design and production issue during very early stages of design enabled potential problem areas to be recognised and avoided. The team have therefore developed a generic quality assurance model to pinpoint the issues needing to be addressed well before a component reaches the production stage.The software is extremely user-friendly and comes with a flexible men

Adhesives. --- Adhesives --- Reliability.

Choose an application

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

Intelligent Coordinated Control of Complex Uncertain Systems for Power Distribution and Network Reliability discusses the important topics revolving around the control of complex uncertain systems using the intelligent coordination control mechanism, a topic that has become the research focus of current control and computer fields. The book provides theoretical guidance for power distribution network reliability analysis, focusing on practical problems and algorithms within the field.

Electric power distribution --- Reliability. --- Control theory. --- Feedback control systems.

Choose an application

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

Equipment, services, installations in buildings --- LED lighting --- Reliability.

Choose an application

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

Programming --- Computer architecture. Operating systems --- Computer software --- Development --- Reliability --- Testing --- Computer software - Development --- Computer software - Reliability --- Computer software - Testing