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.