{"id":{"repo_id":"vt","oai_identifier":"oai:vtechworks.lib.vt.edu:10919/42907"},"canonical_url":"https://search.dev.ndltd.org/etd/vt/oai:vtechworks.lib.vt.edu:10919/42907","repository":{"repo_id":"vt","name":"Virginia Tech","base_url":"https://vtechworks.lib.vt.edu/oai/request"},"display":{"title":"An Ada library for positional board games","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.","abstract_html":"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.","abstract_has_math":false,"creators":["Mangolas, Athanassios Anastassios"],"institution":"Virginia Tech","degree_name":"Master of Science","degree_level":"masters","degree_discipline":"Computer Science","degree_department":"Computer Science","school":null,"contributors":[],"advisors":[],"committee_chairs":["Antoy, Sergio"],"committee_members":["Reid, Thomas F.","Davison, John W."],"year":1990,"date_issued":"1990","date_published":"1990","updated_at":"2026-07-22T22:19:53Z","subjects":[],"languages":["en"],"rights":["In Copyright"],"rights_urls":["http://rightsstatements.org/vocab/InC/1.0/"],"identifier_entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-06082009-171004"],"render_values":[{"text":"etd-06082009-171004","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/10919/42907","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.committeechair","label":"Committee Chair","values":["Antoy, Sergio"]},{"key":"dc:contributor.committeemember","label":"Committee Member","values":["Reid, Thomas F.","Davison, John W."]},{"key":"dc:contributor.department","label":"Department","values":["Computer Science"]},{"key":"dc:creator","label":"Author","values":["Mangolas, Athanassios Anastassios"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-03-14T21:37:08Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-03-14T21:37:08Z","2009-06-08"]},{"key":"dc:date.issued","label":"Date","values":["1990"]},{"key":"dc:publisher","label":"Institution","values":["Virginia Tech"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.dcmitype","label":"Dc Type Dcmitype","values":["Text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["masters"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master of Science"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Virginia Polytechnic Institute and State University"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["In Copyright"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://rightsstatements.org/vocab/InC/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-06082009-171004"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10919/42907"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Master of Science"]},{"key":"dc:format.medium","label":"Dc Format Medium","values":["BTD"]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["An Ada library for positional board games"]}]}],"canonical_facts":{"dc:contributor.committeechair":["Antoy, Sergio"],"dc:contributor.committeemember":["Reid, Thomas F.","Davison, John W."],"dc:contributor.department":["Computer Science"],"dc:creator":["Mangolas, Athanassios Anastassios"],"dc:date.accessioned":["2014-03-14T21:37:08Z"],"dc:date.available":["2014-03-14T21:37:08Z","2009-06-08"],"dc:date.issued":["1990"],"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."],"dc:description.degree":["Master of Science"],"dc:format.medium":["BTD"],"dc:format.mimetype":["application/pdf"],"dc:identifier.other":["etd-06082009-171004"],"dc:identifier.uri":["http://hdl.handle.net/10919/42907"],"dc:language.iso":["en"],"dc:publisher":["Virginia Tech"],"dc:rights":["In Copyright"],"dc:rights.uri":["http://rightsstatements.org/vocab/InC/1.0/"],"dc:title":["An Ada library for positional board games"],"dc:type":["Thesis"],"dc:type.dcmitype":["Text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["masters"],"thesis:degree_name":["Master of Science"],"thesis:institution_name":["Virginia Polytechnic Institute and State University"]},"updated_at":"2026-07-22T22:19:53Z"}