Formal specification of an object oriented-graphics kernel

• Main Author: Sison, Raymund C.
• Format: text
• Language: English
• Published: Animo Repository 1990
• Subjects: Computer graphics; Programming languages (Electronic computers); Computer Sciences
• Online Access: https://animorepository.dlsu.edu.ph/etd_masteral/1380
• Institution: De La Salle University

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.