For several years now, the Geometric Modeling Group of Strasbourg has been working on new formal concepts and tools for describing and manipulating the boundary representation of geometric objects. In a large project of an interactive modeller for volumic objects, the description of which is based on generalized maps, it attempts to cover the whole process from mathematical modeling to efficient implementation, via a complete algebraic specification. Basic concepts and results of this experiment in horizontal and vertical software specification and development are presented along with several illustrations. Advances in algebraic specification methodology are highlighted, specially hierarchical construction of ordered sorts and operations.
CITATION STYLE
Bertrand, Y., Dufourd, J. F., Françon, J., & Lienhardt, P. (1993). Algebraic specification and development in geometric modeling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 668 LNCS, pp. 75–89). Springer Verlag. https://doi.org/10.1007/3-540-56610-4_57
Mendeley helps you to discover research relevant for your work.