2 results
Search Results
Now showing 1 - 2 of 2
Item A Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototyping(Eurographics Association, 1989) Dufourd, Jean-FrancoisThis paper deals with the topology of surfaces, in the boundary representation of three dimensional objects. Orientable, not orientable, closed or open surfaces are efficiently described and handled when considered as combinatorial generalized maps. An algebra of such maps is first described. Using this algebra, operations to build polyhedra step by step are next defined. That is the basis of a graphical modeler presently under consideration. The presentation uses algebraic software specification techniques in an abstract way. Finally, a systematical validation of the specification by logic prototyping is described.Item Construction of Interactive Programs in Computer Graphics(Blackwell Publishing Ltd and the Eurographics Association, 1988) Dufourd, Jean-FrancoisIn interactive computer graphics, one often finds a gap between sophisticated algorithms, using very high level data structures, and poor methods of program and object construction. Particular programming languages are too readily adopted for solving problems, before a precise specification of the problem to be solved has been formulated.This paper shows that progress can be made by using modern engineering methods to specify and develop graphical software. Two programming techniques are studied here: the algebraic specification of data types and a functional static modular method of problem statement.The paper also discusses these proposals in the context of other modes of computer graphics specification and programming.