Back to results

Virginia Tech

An Ada library for positional board games

Abstract

dc:description.abstract

This thesis describes the design and the implementation of an Ada library for positional board games. The library consists of general software modules that use some concepts from a model of Positional Board Games presented in [Antoy 87]. This thesis shows that general software modules based on the mathematical concept of board can be built and used by any positional board game program. Furthermore, this thesis describes the data types used in the modules and presents informal and formal specifications of the operations on the data types. It also describes the implementation of the data types; presents the algorithms implementing the operations and shows how the library can be used on two positional board programs and justifies the claim of generality and simplicity of the model in [Antoy 87]. The programming language Ada is used to express the formal specifications and to code the software modules.

Degree

thesis:*
Name thesis:degree_name
Master of Science
Level thesis:degree_level
masters
Discipline thesis:degree_discipline
Computer Science
Department dc:contributor.department
Computer Science
Grantor dc:publisher
Virginia Tech
Year dc:date.issued
1990

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Mangolas, Athanassios Anastassios
Chair dc:contributor.committeechair
  • Antoy, Sergio
Committee members dc:contributor.committeemember
  • Reid, Thomas F.
  • Davison, John W.

Rights

dc:rights
Statement dc:rights
  • In Copyright
Language dc:language.iso
en

Identifiers

dc:identifier.*
Dc Identifier Other
etd-06082009-171004
OAI identifier oai:identifier
oai:vtechworks.lib.vt.edu:10919/42907

Chain of custody

source
Harvested from
Virginia Tech
Base URL
vtechworks.lib.vt.edu/oai/request
Last updated
2026-07-22
Source record
OAI-PMH GetRecord
related terms
citation

Mangolas, Athanassios Anastassios. An Ada library for positional board games. masters thesis, Virginia Tech, 1990. http://hdl.handle.net/10919/42907