The automatic assessment of formal specification coursework-Reference-Cited by-同舟云学术

The automatic assessment of formal specification coursework

Published:1999-09 Issue:1 Volume:11 Page:86-119
ISSN:1042-1726
Container-title:Journal of Computing in Higher Education
language:en
Short-container-title:J. Comput. High. Educ.

Author:

Shukur Zarina,Burke Edmund,Foxley Eric

Publisher

Springer Science and Business Media LLC

Subject

Education

Link

http://link.springer.com/content/pdf/10.1007/BF02940843.pdf

Reference38 articles.

1. Austin, S., & Parkin G.I. (1993).Formal methods: A survey report. The National Physical Lab. Middlesex.

2. Balzer, R., & Goldman, N. (1979). Principles of good software specification and their implications for specification languages.Proceedings of IEEE Conference on Specifications of Reliable Software, 58–67.

3. Barden, R., Stepney, S., & Cooper, D. (1994).Z in practice. Hertfordshire, UK: Prentice Hall.

4. Basili, V.R. (1980). Tutorial on models and metrics for software management and engineeering.IEEE Catalog No. EH0-167-7. IEEE Computer Society. Los Alamitos, CA.

5. Basili, V.R., Selby, R.W. Jr., & Philips, T. (1983). Metric analysis and validation across Fortran projects.IEEE Transaction Software Engineerng SE-9, 652–663.

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Index;The Cambridge Handbook of Computing Education Research;2019-02-21

2. A Case Study of Qualitative Methods;The Cambridge Handbook of Computing Education Research;2019-02-21

3. A Case Study of Peer Instruction;The Cambridge Handbook of Computing Education Research;2019-02-21

4. Students As Teachers and Communicators;The Cambridge Handbook of Computing Education Research;2019-02-21

5. Motivation, Attitudes, and Dispositions;The Cambridge Handbook of Computing Education Research;2019-02-21