Formal specification of an object oriented-graphics kernel
Date of Publication
1990
Document Type
Master's Thesis
Degree Name
Master of Science in Computer Science
Subject Categories
Computer Sciences
College
College of Computer Studies
Department/Unit
Computer Science
Thesis Adviser
Rene Saquing
Defense Panel Chair
Nopporn Luangprasert
Defense Panel Member
Marilou Jopillo
Adora Vitangcol
Abstract/Summary
Most, if not all, computer graphics software packages exhibit two limitations: their highest level of abstraction is procedural, and their specification is informal. Data abstraction and object-orientation lead to the simplification of software development formal specifications result in precise and mathematically verifiable descriptions. This thesis uses an object-oriented approach in the design and implementation of a computer graphics kernel, and a formal (algebraic-axiomatic) approach in the specification and analysis of its properties and behavior. Order-sorted algebras are used to model inheritance. An outline of a correctness proof for a small programming example is given. The synergy of these two approaches to graphical modeling, is finally examined and recommendations are provided for further work.
Abstract Format
html
Language
English
Format
Accession Number
TG01976
Shelf Location
Archives, The Learning Commons, 12F Henry Sy Sr. Hall
Physical Description
[195] leaves; 28 cm.
Keywords
Computer graphics; Programming languages (Electronic computers)
Recommended Citation
Sison, R. C. (1990). Formal specification of an object oriented-graphics kernel. Retrieved from https://animorepository.dlsu.edu.ph/etd_masteral/1380
