{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:55:34Z","timestamp":1725569734292},"reference-count":14,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2003.1245361","type":"proceedings-article","created":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T21:26:50Z","timestamp":1078176410000},"page":"327-334","source":"Crossref","is-referenced-by-count":1,"title":["VDM over PSP: a pilot course for VDM beginners to confirm its suitability for their development"],"prefix":"10.1109","author":[{"given":"H.","family":"Suzumori","sequence":"first","affiliation":[]},{"given":"H.","family":"Kaiya","sequence":"additional","affiliation":[]},{"given":"K.","family":"Kaijiri","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/32.922716"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.1997.644832"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CSEE.2000.827035"},{"key":"12","article-title":"Incorporating psp into a traditional software engineering cource: An experience report","author":"maletic","year":"2001","journal-title":"CSEET'01"},{"journal-title":"VDM-SL Toolbox User Manual","year":"2001","author":"company","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45341-5_33"},{"journal-title":"IEEE Std 830-1998","article-title":"IEEE Recommended Practice for Software Requirements Specifications","year":"1998","key":"1"},{"journal-title":"The Way of Z Practical Programming with Formal Methods","year":"1997","author":"jacky","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/268084.268193"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/282991.283046"},{"journal-title":"Free Academic Site Licenses for VDMTools","year":"0","key":"5"},{"journal-title":"Modeling Systems Practical Tools and Techniques in Software Development","year":"1998","author":"fitzgerald","key":"4"},{"journal-title":"Introduction to the Personal Software Process","year":"1997","author":"humphrey","key":"9"},{"journal-title":"A Discipline for Software Engineering","year":"1995","author":"humphrey","key":"8"}],"event":{"name":"27th Annual International Computer Software and Applications Conference","acronym":"CMPSAC-03","location":"Dallas, TX, USA"},"container-title":["Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8813\/27898\/01245361.pdf?arnumber=1245361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T19:35:31Z","timestamp":1489433731000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1245361\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2003.1245361","relation":{},"subject":[]}}