|
|||||
|
|
Semi-formal design of reliable mesh generation systems |
|
| Authors: | AH ElSheikh S Smith SE Chidiac |
| Affiliation: | aDepartment of Civil Engineering, McMaster University, Hamilton, Ont., Canada, L8S 4L7 bDepartment of Computing and Software, McMaster University, Hamilton, Ont., Canada, L8S 4L7 cDepartment of Civil Engineering, McMaster University, Hamilton, Ont., Canada, L8S 4L7 |
| 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: | Mesh generation Software engineering Modular decomposition Formal methods Software quality |
| 本文献已被 ScienceDirect 等数据库收录！ | |