Semi-formal design of reliable mesh generation systems

Anderson, 1999 Berti G. Generic software components for scientific computing. PhD Thesis. BTU Cottbus, Germany: Faculty of Mathematics, Computer Science, and Natural Science; 2000. Berti, 2002, GrAL—the grid algorithms library, Lect Notes Comput Sci, 2331, 745, 10.1007/3-540-47789-6_77 Bowyer, 1981, Computing dirichlet tessellations, Comput J, 24, 162, 10.1093/comjnl/24.2.162 Chen C-H. A software engineering approach to developing a mesh generator. Master's Thesis. Hamilton, Ont.: McMaster University; 2003. Glinz, 2000, Problems and deficiencies of UML as a requirements specification language, 10.1109/IWSSD.2000.891122 Hoffman, 1995 Huth, 2000 Lawson, 1979, Basic linear algebra subprograms for fortran usage, ACM Trans Math Software, 5, 3, 308, 10.1145/355841.355847 2003 Parnas, 1974, On a ‘buzzword’: hierarchical structure Parnas, 1984, The modular structure of complex systems Parnas, 2001, Software fundamentals: collected papers Peled, 2001 Piff, 1991 Remacle, 2003, An algorithm oriented mesh database, Int J Numer Meth Eng 58-2, 349, 10.1002/nme.774 Owre, 1996, PVS: combining specification, proof checking, and model checking, vol. 1102, 411 Shewchuk JR. Delaunay refinement mesh generation. PhD Thesis. Pittsburgh, PA: School of Computer Science, Carnegie Mellon University, May; 1997. Available as Technical Report CMU-CS-97-137. Watson, 1981, Computing the n-dimensional Delaunay tessellation with application to Voronoi polytopes, Comput J, 24, 167, 10.1093/comjnl/24.2.167