Title

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

Print

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)

This document is currently not available here.

Share

COinS