{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T14:43:05Z","timestamp":1648564985467},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. High. Educ."],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1007\/bf02940843","type":"journal-article","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T18:18:36Z","timestamp":1222107516000},"page":"86-119","source":"Crossref","is-referenced-by-count":5,"title":["The automatic assessment of formal specification coursework"],"prefix":"10.1007","volume":"11","author":[{"given":"Zarina","family":"Shukur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund","family":"Burke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Foxley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02940843_CR1","unstructured":"Austin, S., & Parkin G.I. (1993).Formal methods: A survey report. The National Physical Lab. Middlesex."},{"key":"BF02940843_CR2","unstructured":"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\u201367."},{"key":"BF02940843_CR3","volume-title":"Z in practice","author":"R. Barden","year":"1994","unstructured":"Barden, R., Stepney, S., & Cooper, D. (1994).Z in practice. Hertfordshire, UK: Prentice Hall."},{"key":"BF02940843_CR4","volume-title":"Tutorial on models and metrics for software management and engineeering.IEEE Catalog No. EH0-167-7","author":"V.R. Basili","year":"1980","unstructured":"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."},{"key":"BF02940843_CR5","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1109\/TSE.1983.235430","volume":"SE-9","author":"V.R. Basili","year":"1983","unstructured":"Basili, V.R., Selby, R.W. Jr., & Philips, T. (1983). Metric analysis and validation across Fortran projects.IEEE Transaction Software Engineerng SE-9, 652\u2013663.","journal-title":"IEEE Transaction Software Engineerng"},{"key":"BF02940843_CR6","volume-title":"Logic and its applications","author":"E. Burke","year":"1996","unstructured":"Burke, E., & Foxley, E. (1996).Logic and its applications. Hertfordshire, UK: Prentice Hall Europe."},{"key":"BF02940843_CR7","volume-title":"Software engineering for students","author":"M. Coleman","year":"1986","unstructured":"Coleman, M., & Pratt, S. (1986).Software engineering for students. Kent, UK: Chartwell-Bratt Ltd."},{"issue":"9","key":"BF02940843_CR8","doi-asserted-by":"crossref","first-page":"1114","DOI":"10.1109\/PROC.1980.11813","volume":"68","author":"W. Curtis","year":"1980","unstructured":"Curtis, W. (1980). Measurement and experimentation in software engineering.Proceedings of the IEEE, 68(9), 1114\u20131157.","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"BF02940843_CR9","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1145\/199691.199831","volume":"27","author":"C.N. Dean","year":"1995","unstructured":"Dean, C.N., & Hinchey M.G. (1995). Introducing formal methods through role play.ACM SIGCSE Bulletin, 27(1), 302\u2013306.","journal-title":"ACM SIGCSE Bulletin"},{"key":"BF02940843_CR10","volume-title":"Teaching and Learning Formal Methods","author":"E.W. Dijkstra","year":"1996","unstructured":"Dijkstra, E.W. (1996).Forward In CN Dean & M.G. Hinshey (Eds.).Teaching and Learning Formal Methods. San Diego, CA: Academic Press International Series in Formal Methods."},{"issue":"4","key":"BF02940843_CR11","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.129217","volume":"18","author":"B. Fields","year":"1992","unstructured":"Fields, B., & Elovang-Goransson, M. (1992). A VDM case study in mural.IEEE Transactions Software Engineering, 18(4), 279\u2013295.","journal-title":"IEEE Transactions Software Engineering"},{"issue":"2","key":"BF02940843_CR12","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/32.485225","volume":"22","author":"K. Finney","year":"1996","unstructured":"Finney, K. (1996). Mathematical notation in formal specification: Too difficult for the massess?.IEEE Transactions on Software Engineering, 22(2), 158\u2013159.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF02940843_CR13","volume-title":"Zpp \u2014 A Troff Preprocessor for Typesetting Z Specifications","author":"E. Foxley","year":"1990","unstructured":"Foxley, E., & Zin, A.M. (1990).Zpp \u2014 A Troff Preprocessor for Typesetting Z Specifications. Nottingham, England: Nottingham University Computer Science."},{"issue":"5\u20136","key":"BF02940843_CR14","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0950-5849(95)99361-P","volume":"37","author":"D. Garlan","year":"1995","unstructured":"Garlan, D. (1995). Making formal methods education effective for professional software engineers.Information and Software Technology, 37(5\u20136), 261\u2013268.","journal-title":"Information and Software Technology"},{"issue":"5","key":"BF02940843_CR15","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","volume":"10","author":"J.A. Goguen","year":"1984","unstructured":"Goguen, J.A. (1984). Parameterized Programming.IEEE Transactions Software Engineering, 10(5), 528\u2013543.","journal-title":"IEEE Transactions Software Engineering"},{"key":"BF02940843_CR16","first-page":"159","volume":"88","author":"P.A.V. Hall","year":"1988","unstructured":"Hall, P.A.V. (1988). Towards testing with respect to formal specifications.Proceedings of Second IEE\/BCS Conference: Software Engineering 88 (pp. 159\u2013163). London.","journal-title":"Proceedings of Second IEE\/BCS Conference: Software Engineering"},{"key":"BF02940843_CR17","volume-title":"Elements of software science","author":"M. Halstead","year":"1977","unstructured":"Halstead, M. (1977).Elements of software science. Amsterdam, The Netherlands: Elsevier Scientific Publishing Co."},{"key":"BF02940843_CR18","doi-asserted-by":"crossref","unstructured":"Helke, S., Neustupny T., & Santen T. (1997). Automating test case generation from Z specifications with Isabelle.Proceedings of the 10th International Conference of ZUM \u201997. (pp 52\u201371). Reading, UK","DOI":"10.1007\/BFb0027283"},{"issue":"6","key":"BF02940843_CR19","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1002\/spe.4380140606","volume":"14","author":"S. Henry","year":"1984","unstructured":"Henry, S., & Kafura, D. (1984). The evaluation of software system\u2019s structure using quatitative software metrics.Software-Practice and Experience, 14(6), 561\u2013573.","journal-title":"Software-Practice and Experience"},{"issue":"5","key":"BF02940843_CR20","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1109\/32.24701","volume":"15","author":"P. Jalote","year":"1989","unstructured":"Jalote, P. (1989). Testing the completeness of specifications.IEEE Transactions on Software Engineering, 15(5), 526\u2013531.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"11","key":"BF02940843_CR21","doi-asserted-by":"crossref","first-page":"1044","DOI":"10.1145\/7538.7540","volume":"29","author":"J.K. Kearney","year":"1986","unstructured":"Kearney, J.K., Sedlemeyer, R.L., Thompson, W.B., & Gray, M.A. (1986). Software complexity measurement.Communications of the ACM, 29(11), 1044\u20131050.","journal-title":"Communications of the ACM"},{"issue":"1","key":"BF02940843_CR22","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/TSE.1985.231535","volume":"11","author":"R.A. Kemmerer","year":"1985","unstructured":"Kemmerer, R.A. (1985). Testing formal specification to detect design errors.IEEE Transactions on Software Engineering, 11(1), 32\u201343.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF02940843_CR23","volume-title":"The Elements of programming style","author":"B.W. Kernighen","year":"1974","unstructured":"Kernighen, B.W., & Plauger, P.J. (1974).The Elements of programming style. New York, NY: McGraw-Hill Book Co."},{"issue":"12","key":"BF02940843_CR24","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1109\/32.106986","volume":"17","author":"J.C.S.P. Leite","year":"1991","unstructured":"Leite, J.C.S.P., & Freeman, P.A. (1991). Requirements validation through viewpoint resolution.IEEE Transactions on Software Engineering, 17(12), 1253\u20131269.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"BF02940843_CR25","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/57669.57675","volume":"23","author":"P.W. Oman","year":"1988","unstructured":"Oman, P.W., & Cook, C.R. (1988). A paradigm for programming style research.SIGPLAN Notices, 23(12), 69\u201379.","journal-title":"SIGPLAN Notices"},{"key":"BF02940843_CR26","volume-title":"Z tools catalogue. ZIP\/BAe\/90\/020","author":"C. Parker","year":"1991","unstructured":"Parker, C. (1991).Z tools catalogue. ZIP\/BAe\/90\/020. Warton, UK: Software Technology Dept, British Aerospace."},{"key":"BF02940843_CR27","volume-title":"Software engineering","author":"R. Pressman","year":"1992","unstructured":"Pressman, R. (1992).Software engineering. Berkshire, UK: McGraw-Hill Company Europe."},{"issue":"2","key":"BF02940843_CR28","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1145\/5657.5661","volume":"29","author":"K.A. Redish","year":"1986","unstructured":"Redish, K.A., & Smyth, W.F. (1986). Program style analysis: A natural by-product of program compilation.Communications of the ACM, 29(2), 126\u2013133.","journal-title":"Communications of the ACM"},{"issue":"10","key":"BF02940843_CR29","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/948086.948088","volume":"17","author":"M.J. Rees","year":"1982","unstructured":"Rees, M.J. (1982). Automatic assessment aid for pascal programs.SIGPLAN Notices, 17(10), 33\u201342.","journal-title":"SIGPLAN Notices"},{"key":"BF02940843_CR30","unstructured":"Shukur, Z. (1997). Automating Z specification assessment process.Technical Report. University of Nottingham."},{"key":"BF02940843_CR31","unstructured":"Shukur, Z. (1998). Applying Z coursework on-line.Proceedings of Association for Learning Technology Conference \u201998 (p. 35). Oxford, UK."},{"key":"BF02940843_CR32","volume-title":"The Z notation: Reference Manual","author":"J.M. Spivey","year":"1988","unstructured":"Spivey, J.M. (1988a).The Z notation: Reference Manual. Hertfordshire, UK: Prentice Hall."},{"key":"BF02940843_CR33","volume-title":"Understanding Z: A specification language and its formal semantics","author":"J.M. Spivey","year":"1988","unstructured":"Spivey, J.M. (1988b)Understanding Z: A specification language and its formal semantics. Cambridge, UK: Cambridge University Press."},{"key":"BF02940843_CR34","volume-title":"Fourth Annual ZUM","author":"R. Whitty","year":"1989","unstructured":"Whitty, R. (1989). Structural metrics for Z specifications.Fourth Annual ZUM. Oxford, UK: Rewley House."},{"issue":"1","key":"BF02940843_CR35","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0950-5849(87)90017-6","volume":"29","author":"J.B. Wordsworth","year":"1987","unstructured":"Wordsworth, J.B. (1987). Education in formal methods for software engineering.Information and Software Technology, 29(1), 27\u201332.","journal-title":"Information and Software Technology"},{"key":"BF02940843_CR36","first-page":"1","volume-title":"Teaching and Learning Formal Methods","author":"J.B. Wordsworth","year":"1996","unstructured":"Wordsworth, J.B. (1996). An industrial perspective on educational issues relating to formal methods. In C.N. Dean & M.G. Hinchey, (Ed.)Teaching and Learning Formal Methods (pp 1\u20139). San Diego, CA: Academic Press International Series in Formal Methods."},{"key":"BF02940843_CR37","first-page":"123","volume":"7","author":"A.M. Zin","year":"1994","unstructured":"Zin, A.M., & Foxley, E. (1994a). Analyse: An automatic program assessment system.Malaysian Journal of Computer Science, 7, 123\u2013142.","journal-title":"Malaysian Journal of Computer Science"},{"key":"BF02940843_CR38","unstructured":"Zin, A.M. (1994b). A formal development support system based on the liberal approach. Ph.D. Theses, University of Nottingham, UK."}],"container-title":["Journal of Computing in Higher Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02940843.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02940843\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02940843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:00:49Z","timestamp":1558468849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02940843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["BF02940843"],"URL":"https:\/\/doi.org\/10.1007\/bf02940843","relation":{},"ISSN":["1042-1726"],"issn-type":[{"value":"1042-1726","type":"print"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}