Semi-formal design of reliable mesh generation systems

Authors:
A. H. ElSheikh;S. Smith;S. E. Chidiac
Affiliations:
Department of Civil Engineering, McMaster University, Hamilton, Ont., Canada, L8S 4L7;Department of Computing and Software, McMaster University, Hamilton, Ont., Canada, L8S 4L7;Department of Civil Engineering, McMaster University, Hamilton, Ont., Canada, L8S 4L7
Venue:
Advances in Engineering Software
Year:
2004

Citing 10
Cited 6

Discrete mathematics: an introduction for software engineers

Discrete mathematics: an introduction for software engineers
LAPACK Users' guide (third ed.)

LAPACK Users' guide (third ed.)
Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems
Basic Linear Algebra Subprograms for Fortran Usage

ACM Transactions on Mathematical Software (TOMS)
Software reliability methods

Software reliability methods
GrAL - The Grid Algorithms Library

ICCS '02 Proceedings of the International Conference on Computational Science-Part III
PVS: Combining Specification, Proof Checking, and Model Checking

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
The modular structure of complex systems

ICSE '84 Proceedings of the 7th international conference on Software engineering
Problems and Deficiencies of UML as a Requirements Specification Language

IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Delaunay refinement mesh generation

Delaunay refinement mesh generation

Designing a product family of meshing tools

Advances in Engineering Software
A component-oriented software toolkit for patient-specific finite element model generation

Advances in Engineering Software
A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox

Advances in Engineering Software
Designing a product family of meshing tools

Advances in Engineering Software
Balancing flexibility and performance in three dimensional meshing tools

Advances in Engineering Software
A generative geometric kernel

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation

Quantified Score

Hi-index	0.00

Visualization

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 semiformal 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 result in a consistent software design that is easy to extend and modify.