{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T06:08:12Z","timestamp":1743833292085},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/csee.2004.1276515","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"84-89","source":"Crossref","is-referenced-by-count":3,"title":["A case study involving the use of Z to aid requirements specification in the software engineering course"],"prefix":"10.1109","author":[{"given":"P.","family":"Hasson","sequence":"first","affiliation":[]},{"given":"S.","family":"Cooper","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"An Introduction to Formal Specification and Z","year":"1996","author":"potter","key":"ref4"},{"article-title":"The Way of Z. Practical Programming with Formal Methods","year":"1997","author":"jacky","key":"ref3"},{"year":"0","key":"ref10"},{"article-title":"The Z Notation: A Reference Manual","year":"0","author":"spivey","key":"ref6"},{"year":"0","key":"ref11"},{"journal-title":"Software Engineering A Practitioner's Approach","year":"2001","author":"pressman","key":"ref5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.229776"},{"key":"ref8","article-title":"Using Z: Specification, Refinement, and Proof","author":"woodcock","year":"1996","journal-title":"Prentice Hall International Series in Computer Science"},{"journal-title":"Software Engineering","year":"2001","author":"sommerville","key":"ref7"},{"article-title":"Formal Specification and Documentation Using Z: A Case Study Approach","year":"1996","author":"bowen","key":"ref2"},{"journal-title":"Personality test is available from","year":"0","key":"ref9"},{"year":"1994","author":"barden","key":"ref1"}],"event":{"name":"17th Conference on Software Engineering Education and Training, 2004. Proceedings.","start":{"date-parts":[[2004,3,3]]},"location":"Norfolk, VA, USA","end":{"date-parts":[[2004,3,3]]}},"container-title":["17th Conference on Software Engineering Education and Training, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8994\/28540\/01276515.pdf?arnumber=1276515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T03:19:02Z","timestamp":1489461542000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1276515\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/csee.2004.1276515","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}