NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
ERIC Number: EJ613258
Record Type: CIJE
Publication Date: 1999
Pages: N/A
Abstractor: N/A
Reference Count: 0
ISSN: ISSN-1042-1726
Automatically Grading Customer Confidence in a Formal Specification.
Shukur, Zarina; Burke, Edmund; Foxley, Eric
Journal of Computing in Higher Education, v11 n1 p86-119 Fall 1999
Describes an automatic grading system for a formal methods computer science course that is able to evaluate a formal specification written in the Z language. Quality is measured by considering first, specification correctness (syntax, semantics, and satisfaction of customer requirements), and second, specification maintainability (comparison of the typographic arrangement metric and the complexity metric with absolute values and a model specification). (DB)
Publication Type: Journal Articles; Reports - Descriptive
Education Level: N/A
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A