The automatic assessment of Z specifications

Eric Foxley, Omar Salman, Zarina Shukur

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

This paper presents an analysis of a computer implementable approach to the assessment of the quality of a Z specification document. The perspective from which we approach the problem is that we wish to automatically assess the quality of Z specifications provided by students as part of their coursework for a Formal Spccification course. The environment chosen for the assessment is the Ceilidh system, the most widely used student programming automatic assessment system in the world. This provides an environment into which new assessment tools can be inserted, and which provides all of the required administrative framework. We need a variety of static analysis techniques, and must study animation of schema in order to be able to assess the correct implementation of operation schema. The basis of the animation is a tool written by A M Zin for translating Z to Prolog.

Original languageEnglish
Title of host publicationSupplemental Proceedings of the Conference on Integrating Technology into Computer Science Education
Subtitle of host publicationWorking Group Reports and Supplemental Proceedings, ITiCSE-WGR 1997
PublisherAssociation for Computing Machinery
Pages129-131
Number of pages3
VolumePart F129301
ISBN (Electronic)1581130120
DOIs
Publication statusPublished - 4 Jun 1997
Externally publishedYes
Event1997 Conference on Integrating Technology into Computer Science Education, ITiCSE 1997 - Uppsala, Sweden
Duration: 1 Jun 19975 Jun 1997

Other

Other1997 Conference on Integrating Technology into Computer Science Education, ITiCSE 1997
CountrySweden
CityUppsala
Period1/6/975/6/97

Fingerprint

Animation
Students
Specifications
Automatic programming
Static analysis
student
programming

ASJC Scopus subject areas

  • Education
  • Computer Science Applications

Cite this

Foxley, E., Salman, O., & Shukur, Z. (1997). The automatic assessment of Z specifications. In Supplemental Proceedings of the Conference on Integrating Technology into Computer Science Education: Working Group Reports and Supplemental Proceedings, ITiCSE-WGR 1997 (Vol. Part F129301, pp. 129-131). Association for Computing Machinery. https://doi.org/10.1145/266057.266141

The automatic assessment of Z specifications. / Foxley, Eric; Salman, Omar; Shukur, Zarina.

Supplemental Proceedings of the Conference on Integrating Technology into Computer Science Education: Working Group Reports and Supplemental Proceedings, ITiCSE-WGR 1997. Vol. Part F129301 Association for Computing Machinery, 1997. p. 129-131.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Foxley, E, Salman, O & Shukur, Z 1997, The automatic assessment of Z specifications. in Supplemental Proceedings of the Conference on Integrating Technology into Computer Science Education: Working Group Reports and Supplemental Proceedings, ITiCSE-WGR 1997. vol. Part F129301, Association for Computing Machinery, pp. 129-131, 1997 Conference on Integrating Technology into Computer Science Education, ITiCSE 1997, Uppsala, Sweden, 1/6/97. https://doi.org/10.1145/266057.266141
Foxley E, Salman O, Shukur Z. The automatic assessment of Z specifications. In Supplemental Proceedings of the Conference on Integrating Technology into Computer Science Education: Working Group Reports and Supplemental Proceedings, ITiCSE-WGR 1997. Vol. Part F129301. Association for Computing Machinery. 1997. p. 129-131 https://doi.org/10.1145/266057.266141
Foxley, Eric ; Salman, Omar ; Shukur, Zarina. / The automatic assessment of Z specifications. Supplemental Proceedings of the Conference on Integrating Technology into Computer Science Education: Working Group Reports and Supplemental Proceedings, ITiCSE-WGR 1997. Vol. Part F129301 Association for Computing Machinery, 1997. pp. 129-131
@inproceedings{0511b398c24445bc8f03368209b05701,
title = "The automatic assessment of Z specifications",
abstract = "This paper presents an analysis of a computer implementable approach to the assessment of the quality of a Z specification document. The perspective from which we approach the problem is that we wish to automatically assess the quality of Z specifications provided by students as part of their coursework for a Formal Spccification course. The environment chosen for the assessment is the Ceilidh system, the most widely used student programming automatic assessment system in the world. This provides an environment into which new assessment tools can be inserted, and which provides all of the required administrative framework. We need a variety of static analysis techniques, and must study animation of schema in order to be able to assess the correct implementation of operation schema. The basis of the animation is a tool written by A M Zin for translating Z to Prolog.",
author = "Eric Foxley and Omar Salman and Zarina Shukur",
year = "1997",
month = "6",
day = "4",
doi = "10.1145/266057.266141",
language = "English",
volume = "Part F129301",
pages = "129--131",
booktitle = "Supplemental Proceedings of the Conference on Integrating Technology into Computer Science Education",
publisher = "Association for Computing Machinery",

}

TY - GEN

T1 - The automatic assessment of Z specifications

AU - Foxley, Eric

AU - Salman, Omar

AU - Shukur, Zarina

PY - 1997/6/4

Y1 - 1997/6/4

N2 - This paper presents an analysis of a computer implementable approach to the assessment of the quality of a Z specification document. The perspective from which we approach the problem is that we wish to automatically assess the quality of Z specifications provided by students as part of their coursework for a Formal Spccification course. The environment chosen for the assessment is the Ceilidh system, the most widely used student programming automatic assessment system in the world. This provides an environment into which new assessment tools can be inserted, and which provides all of the required administrative framework. We need a variety of static analysis techniques, and must study animation of schema in order to be able to assess the correct implementation of operation schema. The basis of the animation is a tool written by A M Zin for translating Z to Prolog.

AB - This paper presents an analysis of a computer implementable approach to the assessment of the quality of a Z specification document. The perspective from which we approach the problem is that we wish to automatically assess the quality of Z specifications provided by students as part of their coursework for a Formal Spccification course. The environment chosen for the assessment is the Ceilidh system, the most widely used student programming automatic assessment system in the world. This provides an environment into which new assessment tools can be inserted, and which provides all of the required administrative framework. We need a variety of static analysis techniques, and must study animation of schema in order to be able to assess the correct implementation of operation schema. The basis of the animation is a tool written by A M Zin for translating Z to Prolog.

UR - http://www.scopus.com/inward/record.url?scp=84870747915&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84870747915&partnerID=8YFLogxK

U2 - 10.1145/266057.266141

DO - 10.1145/266057.266141

M3 - Conference contribution

VL - Part F129301

SP - 129

EP - 131

BT - Supplemental Proceedings of the Conference on Integrating Technology into Computer Science Education

PB - Association for Computing Machinery

ER -