The automatic assessment of Z specifications

Authors:
Eric Foxley;Omar Salman;Zarina Shukur
Affiliations:
Univ. of Nottingham, UK;Univ. of Nottingham, UK;Univ. of Nottingham, UK
Venue:
The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings
Year:
1997

Citing 6
Cited 1

A paradigm for programming style research

ACM SIGPLAN Notices
Software engineering (3rd ed.): a practitioner's approach

Software engineering (3rd ed.): a practitioner's approach
Assessing software maintainability

Communications of the ACM
Elements of Software Science (Operating and programming systems series)

Elements of Software Science (Operating and programming systems series)
The Elements of Programming Style

The Elements of Programming Style
Automatic assessment aids for Pascal programs

ACM SIGPLAN Notices

A safe regression testing approach for safety critical systems

Advances in Engineering Software

Quantified Score

Hi-index	0.00

Visualization

Abstract