{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:31:03Z","timestamp":1759336263369},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566106"},{"type":"electronic","value":"9783540475989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56610-4_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:22:53Z","timestamp":1330255373000},"page":"75-89","source":"Crossref","is-referenced-by-count":11,"title":["Algebraic specification and development in geometric modeling"],"prefix":"10.1007","author":[{"given":"Y.","family":"Bertrand","sequence":"first","affiliation":[]},{"given":"J. -F.","family":"Dufourd","sequence":"additional","affiliation":[]},{"given":"J.","family":"Fran\u00e7on","sequence":"additional","affiliation":[]},{"given":"P.","family":"Lienhardt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Baudelaire, P and Gangnet, M: Planar Maps: An Interaction Paradigm for Graphic Design. Proc. CHI'89 (1989) 313\u2013318","DOI":"10.1145\/67449.67511"},{"key":"6_CR2","first-page":"589","volume":"44","author":"B Baumgart","year":"1975","unstructured":"Baumgart, B: A Polyhedron Representation for Computer Vision. Proc. AFIPS Nat. Conf. Proc. 44 (1975) 589\u2013596","journal-title":"Proc. AFIPS Nat. Conf. Proc."},{"key":"6_CR3","unstructured":"Bergstra, J A, Heering, J and Klint, P: Algebraic Specification. ACM, Addison-Wesley (1988)"},{"key":"6_CR4","volume-title":"Th\u00e8se de Doctorat","author":"Y Bertrand","year":"1992","unstructured":"Bertrand, Y: Sp\u00e9cification Alg\u00e9brique et R\u00e9alisation d'un Modeleur Interactif de Subdivisions Tridimensionnelles. Th\u00e8se de Doctorat, CRI-ULP, Strasbourg (1992)"},{"key":"6_CR5","unstructured":"Bertrand, Y, Dufourd, J-F, Fran\u00e7on, J et Lienhardt P: Mod\u00e9lisation Volumique \u00e0 Base Topologique. Proc. Micad, Paris (1992)"},{"key":"6_CR6","unstructured":"Bidoit, M: Development of Modular Specification by Stepwise Refinements using the PLUSS Specification Language. Tech. rep. LIENS 91\u20139 (1991)."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Bidoit, M, Kreowski, H-J, Lescanne, P, Orejas, F and Sannella, D: Algebraic System Specification and Development. LNCS n\u2218501. Springer-Verlag (1991)","DOI":"10.1007\/BFb0018512"},{"issue":"n\u221836","key":"6_CR8","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1093\/qmath\/36.1.17","volume":"2","author":"R Bryant","year":"1985","unstructured":"Bryant, R and Singerman, D: Foundations of the Theory of Maps on Surfaces with Boundaries. Quart. Journal of Math. Oxford Vol 2 n\u2218 36 (1985) 17\u201341","journal-title":"Quart. Journal of Math. Oxford"},{"key":"6_CR9","unstructured":"Cori, R: Un code pour les graphes planaires et ses applications. Ast\u00e9risque n\u2218 27 (1975)"},{"issue":"n\u22183","key":"6_CR10","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1145\/44479.44481","volume":"7","author":"D. A. Duce","year":"1988","unstructured":"Duce, D A, Fielding, E V C and Marshall, L S: Formal Specification of a Small Example based on GKS. ACM Trans. on Graphics Vol 7 n\u2218 3 (1988) 180\u2013197","journal-title":"ACM Trans. on Graphics"},{"key":"6_CR11","first-page":"649","volume-title":"Proc. Comp. Graphics Int.","author":"J-F Dufourd","year":"1989","unstructured":"Dufourd, J-F, Gross, C and Spehner, J-C: A Digitisation Algorithm for the Entry of Planar Maps. Proc. Comp. Graphics Int. Leeds, Springer-Verlag (1989) 649\u2013662"},{"key":"6_CR12","first-page":"301","volume-title":"Proc. Eurographics","author":"J-F Dufourd","year":"1989","unstructured":"Dufourd, J-F: Algebraic Map-Based Topological Kernel for Polyhedron Modelers. Proc. Eurographics, Hamburg, Elsevier (1989) 301\u2013312"},{"issue":"n\u22182","key":"6_CR13","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0010-4485(91)90001-D","volume":"23","author":"J-F Dufourd","year":"1991","unstructured":"Dufourd, J-F: Formal Specification of Subdivisions using Hypermaps. Computer Aided Design, Butterworth-Heinemann Vol 23 n\u2218 2 (1991) 99\u2013116","journal-title":"Computer Aided Design, Butterworth-Heinemann"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Dufourd, J-F: An OBJ3 Functional Specification for the Boundary Representation. Proc. ACM-Siggraph Symp. on Solid Modeling Foundations & CAD\/CAM Appl., Austin (1991) 61\u201372","DOI":"10.1145\/112515.112529"},{"key":"6_CR15","unstructured":"Dufourd, J-F: Foundations of Boundary Representation Revisited with a New Foremap Axiomatics. Proc. Eurographics Work. on Formal Spec. in Comp. Graphics, Marina di Carrara (1991)"},{"key":"6_CR16","unstructured":"Edmonds, J: A Combinatorial Representation for Polyhedral Surfaces. Not. AMS Vol 7 (1960)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Ehrig, H and Mahr, B: Fundamentals of Algebraic Specifications Vol 1: Equations and Initial Semantics. Springer-Verlag (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Ehrig, H and Mahr, B: Fundamentals of Algebraic Specifications Vol 2: Module Specifications and Constraints. Springer-Verlag (1990)","DOI":"10.1007\/978-3-642-61284-8"},{"key":"6_CR19","unstructured":"Elter, H et Lienhardt, P: Extension de la Notion de Carte pour la Repr\u00e9entation de la Topologie d'Objets G\u00e9om\u00e9triques Complexes. Proc. Journ\u00e9es Gros-Plan, Lille (1991)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Franklin, W R, Wu, P Y F & Samaddar, S: Prolog & Geometry Projects. IEEE CG & A Vol 6 (1986)","DOI":"10.1109\/MCG.1986.276671"},{"issue":"n\u22183","key":"6_CR21","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/74334.74369","volume":"23","author":"M Gangnet","year":"1989","unstructured":"Gangnet, M, Herv\u00e9, J-C, Pudet, T and Van Thong, J-M: Incremental Computation of Planar Maps. ACM Computer Graphics Vol 23 n\u2218 3 (1989) 345\u2013354","journal-title":"ACM Computer Graphics"},{"key":"6_CR22","volume-title":"R. 01-92","author":"M-C Gaudel","year":"1992","unstructured":"Gaudel, M-C: Structuring and Modularizing Algebraic Specifications. R. 01-92 LRI, Orsay (1992)"},{"key":"6_CR23","unstructured":"Goguen, J A & Meseguer, J: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions, and Partial Operations. Tech. Rep.n\u2218 89-10 SRI-CSL (1989)"},{"key":"6_CR24","volume-title":"Tech. Rep. n\u2218 88-9","author":"J. A. Goguen","year":"1988","unstructured":"Goguen, J A and Winkler, T: Introducing OBJ3. Tech. Rep. n\u2218 88-9, SRI-CSL Menlo Park (1988)"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(88)90052-5","volume":"37","author":"J. A. Goguen","year":"1988","unstructured":"Goguen, J A: Modular Algebraic Specification of Some Basic Geometrical Constructions. Artificial Intelligence Vol 37 (1988) 123\u2013153","journal-title":"Artificial Intelligence"},{"key":"6_CR26","first-page":"13","volume":"6","author":"E Grant","year":"1986","unstructured":"Grant, E, Amburn, P and Whitted, T: Exploiting Classes in Modeling and Display Software. IEEE CG&A Vol 6 (1986) 13\u201320","journal-title":"IEEE CG&A"},{"key":"6_CR27","volume-title":"Surfaces","author":"H-B Griffiths","year":"1981","unstructured":"Griffiths, H-B: Surfaces, Cambridge Univ. Press, Cambridge (1981)"},{"key":"6_CR28","unstructured":"Jacques, A: Constellations et Graphes Topologiques. Coll. Math. Soc. J. Bolyai (1970) 657\u300b-672"},{"key":"6_CR29","unstructured":"James, L: Maps and Hypermaps: Operations and Symmetry. PhD thesis, Dep. of Mathematics, Univ. of Southampton (1985)"},{"issue":"n\u22182","key":"6_CR30","first-page":"75","volume":"8","author":"Lakshminarasimhan","year":"1989","unstructured":"Lakshminarasimhan and Lakshminarasimhan, A L, Srivas, M: A Framework for Functional Specification and Transformation of Hidden Surface Elimination Algorithms. CG. Forum Vol 8 n\u2218 2 (1989) 75\u201398","journal-title":"CG. Forum"},{"key":"6_CR31","first-page":"327","volume-title":"Proc. Eurographics","author":"P Lienhardt","year":"1988","unstructured":"Lienhardt, P: Free-Form Surfaces Modeling by Evolution Simulation. Proc. Eurographics, Nice, Elsevier (1988) 327\u2013341"},{"key":"6_CR32","series-title":"LNCS Vol 294","first-page":"301","volume-title":"Proc. STACS","author":"P Lienhardt","year":"1988","unstructured":"Lienhardt, P: Extension of the Notion of Map and Subdivision of Three Dimensional Space. Proc. STACS, Bordeaux, LNCS Vol 294, Springer-Verlag (1988) 301\u2013311"},{"key":"6_CR33","first-page":"439","volume-title":"Proc. Eurographics","author":"P Lienhardt","year":"1989","unstructured":"Lienhardt, P: Subdivisions of Surfaces and Generalized Maps. Proc. Eurographics, Hamburg, Elsevier (1989) 439\u2013452"},{"key":"6_CR34","unstructured":"Lienhardt, P: Subdivisions of N-Dimensional Spaces and N-Dimensional Generalized Maps. Proc. 5\u00b0 ACM Symp. on Comp. Geometry, Saarbr\u00fccken (1989) 228\u2013236"},{"key":"6_CR35","unstructured":"Lienhardt, P: Topological Models for Boundary Representation: A Comparison with N dimensional Generalized Maps. Comp.-Aided Design Vol 23 n\u2218 1, Butterworth-H. (1991) 59\u201382"},{"issue":"n\u22184","key":"6_CR36","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1145\/69622.357191","volume":"4","author":"W. R. Mallgren","year":"1982","unstructured":"Mallgren, W R: Formal Specification of Graphic Data Types. ACM TOPLAS Vol 4 n\u22184 (1982) 687\u2013710.","journal-title":"ACM TOPLAS"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Mallgren, W R: Formal Specification of Interactive Graphics Programming Languages. ACM Distinguished Dissertation, MIT Press (1982)","DOI":"10.1145\/69622.357191"},{"issue":"n\u22187","key":"6_CR38","first-page":"17","volume":"2","author":"M M\u00e4ntyl\u00e4","year":"1982","unstructured":"M\u00e4ntyl\u00e4, M and Sulonen, R: GWB: A Solid Modeler with Euler Operators. IEEE CG & A Vol 2 n\u2218 7 (1982) 17\u201331","journal-title":"IEEE CG & A"},{"key":"6_CR39","volume-title":"An Introduction to Solid Modeling","author":"M M\u00e4ntyl\u00e4","year":"1988","unstructured":"M\u00e4ntyl\u00e4, M: An Introduction to Solid Modeling. Computer Science Press, Rockville (1988)"},{"key":"6_CR40","unstructured":"Parsons, M S: Image Representations Using Miranda Laws. Comp. Graphics Forum Vol 8 n\u22182, North-Holland (1989) 99\u2013106"},{"issue":"n\u22184","key":"6_CR41","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/356827.356833","volume":"12","author":"A Requicha","year":"1980","unstructured":"Requicha, A: Representations for Rigid Solids: Theory, Methods and Systems. ACM Computing Surveys Vol 12 n\u2218 4 (1980) 437\u2013464","journal-title":"ACM Computing Surveys"},{"issue":"n\u22187","key":"6_CR42","first-page":"25","volume":"3","author":"A. A. G. Requicha","year":"1983","unstructured":"Requicha, A A G and Voelker, H B: Solid Modeling: Current Status and Research Directions. IEEE CG&A Vol 3 n\u2218 7 (1983) 25\u201337","journal-title":"IEEE CG&A"},{"key":"6_CR43","unstructured":"Tutte, W: Graph Theory. Encyclop. of Mathematics and its Applications, Addison-Wesley (1984)"},{"key":"6_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0095-8956(83)90002-3","volume":"n\u2218 34","author":"A Vince","year":"1983","unstructured":"Vince, A: Combinatorial Maps. J. of Combinatorial Theory Series B n\u2218 34 (1983) 1\u201321","journal-title":"J. of Combinatorial Theory Series B"},{"key":"6_CR45","unstructured":"Weiler, K: The Radial Edge Structure: A Topological Representation for Non-Manifold Geometric Boundary Modeling. in Geometric Modeling for CAD Applications, Elsevier (1988) 3\u201336"},{"key":"6_CR46","doi-asserted-by":"crossref","unstructured":"Wirsing, M: Algebraic Specification. Handbook of Theoretical Computer Science, Vol 2: Formal Models and Semantics, Elsevier (1990) 675\u2013788","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT'93: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56610-4_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:57Z","timestamp":1605647097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56610-4_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566106","9783540475989"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/3-540-56610-4_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}