SEMI-FORMAL DESIGN OF RELIABLE MESH GENERATION SYSTEMS

Ahmed ElSheikh and W. S. Smith, and Samir E. Chidiac

Abstract
A reliable mesh generation infrastructure is designed based on software engineering principles. Formal methods, software design documents and clear modular decomposition criteria are introduced to improve the quality of mesh generation software. The design document for a simple 2D mesh generation data structure is presented using a semi-formal specification. The proposed semi-formal documentation system avoids any ambiguity during the software design process and will help in driving the software test cases. Using the proposed software design techniques results in a consistent software design that is easy to extend and modify.