Książki

Software for engineering applications has become, during the last few years, a multi-billion pound industry as applications of computer programs are now an essential part of any engineering project. In spite of this, engineer ing software is not always reliable and many fail to produce good solutions. The extent of this problem, which is very costly to the engineering industry, and its consequences, are somewhat hidden because the software industry has not reached the necessary maturity. An engineer needs a long training before being able to design a body for instance. However, to do that, he may use a computer program which has undergone no validation whatsoever and is written by someone without any engineering knowledge. It is imperative to address this problem to ensure that computer codes are properly prepared to provide good solutions, and that they are robust and reliable. This 2nd International Conference on Reliability and Robustness of En gineering Software (RRES 91) was called to address this problem. The meeting was held in Milan, Italy, in April 1991 and was of importance to engineers working in industry who are actively involved with the develop ment of computer codes.

Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22-24 April 1991

Section 1: Software Development and Tools.- A Design for Reliable CFD Software.- Ensuring Robustness and Reliability of Object Oriented Software Using MASCOT 3.- Finite Element Program Generator and Finite Element Language.- DDLMU, Degrees of Freedom Management Module for Numerical Modelization.- The Contribution of Organisational Analysis to Engineering Software Dependability.- A Structural Engineering Software Development Using CASE Tools.- Is Software Engineering Really Engineering?.- Section 2: Evaluation, Validation and Maintenance.- Specification and Verification of Distributed Real-Time Systems.- A Software Reliability Monitoring and Prediction System.- Some Experience in the Development of Commercial FEM Software in U.F.R.G.S..- Quality Assurance and Test Validation for CA.ST.OR.- Quality Assurance of a Boundary Element Software System.- Section 3: System Reliability.- Intelligent Interfaces for Software Reliability.- New Evaluation Framework for Assessing the Reliability of Engineering Software Systems Design Paradigms.- Section 4: Model and Data Reliability.- Error Analysis and Adaptive Refinement of Boundary Elements.- Reliability and Applicability of Nonlinear Optimization Software.- Robustness and Accuracy of Groundwater Flux Computations in Large-Scale Shallow Sedimentary Basins.- Section 5: Expert Systems.- An Expert System for Flexible Risers Design and Applications.- Solute Transport Modeling Assisted by a Knowledge-Based System.- Treatment of Standard Design Requirements with Artificial Intelligence Technology.- Section 6: Data Bases and Networks.- SO2: A Flexible Object Oriented Data Base Management System.- Software Environment for Queueing Network Modelling.- Semantic Extension of Relational Database.- Section 7: Engineering Systems.- FLYSIM - A Program for a Basic Flight Simulator.- Reliability Computer Analysis of Offshore Platforms.- Section 8: Model Generation and Computer Graphics.- A Multiregion Finite Element Mesh Generator Based on Deformable Grid Templates.- Better Criteria for the Development of Solid Modeling Software.- An Auto-Adaptive Meshing Process in a Finite Element Software.- Retrofitting and Integration of Engineering Software.- Authors' Index.