Reliability and robustness of engineering software II proceedings of the second international conference, held in Milan, Italy, during 22 - 24 April 1991 ; [2nd International Conference on Reliability and Robustness of Engineering Software

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. Front Matter....Pages i-xi Front Matter....Pages 1-1 A Design for Reliable CFD Software....Pages 3-17 Ensuring Robustness and Reliability of Object Oriented Software Using MASCOT 3....Pages 19-34 Finite Element Program Generator and Finite Element Language....Pages 35-45 DDLMU, Degrees of Freedom Management Module for Numerical Modelization....Pages 47-57 The Contribution of Organisational Analysis to Engineering Software Dependability....Pages 59-72 A Structural Engineering Software Development Using CASE Tools....Pages 73-84 Is Software Engineering Really Engineering?....Pages 85-95 Front Matter....Pages 97-97 Specification and Verification of Distributed Real-Time Systems....Pages 99-113 A Software Reliability Monitoring and Prediction System....Pages 115-123 Some Experience in the Development of Commercial FEM Software in U.F.R.G.S.....Pages 125-132 Quality Assurance and Test Validation for CA.ST.OR....Pages 133-142 Quality Assurance of a Boundary Element Software System....Pages 143-156 Front Matter....Pages 157-157 Intelligent Interfaces for Software Reliability....Pages 159-171 New Evaluation Framework for Assessing the Reliability of Engineering Software Systems Design Paradigms....Pages 173-184 Front Matter....Pages 185-185 Error Analysis and Adaptive Refinement of Boundary Elements....Pages 187-202 Reliability and Applicability of Nonlinear Optimization Software....Pages 203-216 Robustness and Accuracy of Groundwater Flux Computations in Large-Scale Shallow Sedimentary Basins....Pages 217-227 Front Matter....Pages 229-229 An Expert System for Flexible Risers Design and Applications....Pages 231-242 Solute Transport Modeling Assisted by a Knowledge-Based System....Pages 243-252 Treatment of Standard Design Requirements with Artificial Intelligence Technology....Pages 253-268 Front Matter....Pages 269-269 SO2: A Flexible Object Oriented Data Base Management System....Pages 271-283 Software Environment for Queueing Network Modelling....Pages 285-296 Semantic Extension of Relational Database....Pages 297-310 Front Matter....Pages 311-311 FLYSIM — A Program for a Basic Flight Simulator....Pages 313-325 Reliability Computer Analysis of Offshore Platforms....Pages 327-338 Front Matter....Pages 339-339 A Multiregion Finite Element Mesh Generator Based on Deformable Grid Templates....Pages 341-352 Better Criteria for the Development of Solid Modeling Software....Pages 353-362 An Auto-Adaptive Meshing Process in a Finite Element Software....Pages 363-374 Retrofitting and Integration of Engineering Software....Pages 375-385 Back Matter....Pages 387-387