Semi-formal design of reliable mesh generation systems

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

doi:10.1016/j.advengsoft.2004.06.012

Semi-formal design of reliable mesh generation systems

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

School of Energy, Geoscience, Infrastructure and Society

Research output: Contribution to journal › Article › peer-review

15 Citations (Scopus)

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

Original language	English
Pages (from-to)	827-841
Number of pages	15
Journal	Advances in Engineering Software
Volume	35
Issue number	12
DOIs	https://doi.org/10.1016/j.advengsoft.2004.06.012
Publication status	Published - Dec 2004

Keywords

Formal methods
Mesh generation
Modular decomposition
Software engineering
Software quality

ASJC Scopus subject areas

Software
Computational Mechanics

Access to Document

10.1016/j.advengsoft.2004.06.012

Cite this

@article{56616ac3ef824c7c91bc35256a870840,

title = "Semi-formal design of reliable mesh generation systems",

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

keywords = "Formal methods, Mesh generation, Modular decomposition, Software engineering, Software quality",

author = "ElSheikh, {A. H.} and S Smith and Chidiac, {S E}",

year = "2004",

month = dec,

doi = "10.1016/j.advengsoft.2004.06.012",

language = "English",

volume = "35",

pages = "827--841",

journal = "Advances in Engineering Software",

issn = "0965-9978",

publisher = "Elsevier",

number = "12",

}

TY - JOUR

T1 - Semi-formal design of reliable mesh generation systems

AU - ElSheikh, A. H.

AU - Smith, S

AU - Chidiac, S E

PY - 2004/12

Y1 - 2004/12

N2 - 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.

AB - 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.

KW - Formal methods

KW - Mesh generation

KW - Modular decomposition

KW - Software engineering

KW - Software quality

UR - http://www.scopus.com/inward/record.url?scp=7544247260&partnerID=8YFLogxK

U2 - 10.1016/j.advengsoft.2004.06.012

DO - 10.1016/j.advengsoft.2004.06.012

M3 - Article

AN - SCOPUS:7544247260

SN - 0965-9978

VL - 35

SP - 827

EP - 841

JO - Advances in Engineering Software

JF - Advances in Engineering Software

IS - 12

ER -

Semi-formal design of reliable mesh generation systems

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this