Semi-formal design of reliable mesh generation systems

A. H. ElSheikh, S Smith, S E Chidiac

Research output: Contribution to journalArticlepeer-review

14 Citations (Scopus)


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

Original languageEnglish
Pages (from-to)827-841
Number of pages15
JournalAdvances in Engineering Software
Issue number12
Publication statusPublished - Dec 2004


  • Formal methods
  • Mesh generation
  • Modular decomposition
  • Software engineering
  • Software quality

ASJC Scopus subject areas

  • Software
  • Computational Mechanics


Dive into the research topics of 'Semi-formal design of reliable mesh generation systems'. Together they form a unique fingerprint.

Cite this