{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:16:18Z","timestamp":1730211378280,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csee.2000.827014","type":"proceedings-article","created":{"date-parts":[[2005,8,24]],"date-time":"2005-08-24T22:43:29Z","timestamp":1124923409000},"page":"23-31","source":"Crossref","is-referenced-by-count":4,"title":["Technology transfer issues for formal methods of software specification"],"prefix":"10.1109","author":[{"given":"K.","family":"Abernethy","sequence":"first","affiliation":[]},{"given":"J.","family":"Kelly","sequence":"additional","affiliation":[]},{"given":"A.","family":"Sobel","sequence":"additional","affiliation":[]},{"given":"J.D.","family":"Kiper","sequence":"additional","affiliation":[]},{"given":"J.","family":"Powell","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(92)90089-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WESCON.1994.403627"},{"key":"ref12","article-title":"Start-up materials for software formal methods\/analytical verification on your next project","author":"kelly","year":"1999","journal-title":"2nd Annual Assurance Technology Conference"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1993.324825"},{"key":"ref14","article-title":"Experience report: using formal methods for requirements analysis of critical spacecraft software","author":"lutz","year":"1994","journal-title":"Proceedings of the Nineteenth Annual Software Engineering Workshop"},{"journal-title":"Formal Methods Demonstration Project for Space Applications - Phase I Case Study Space Shuttle Orbit DAP Jet Select","year":"1993","key":"ref15"},{"journal-title":"Formal Methods Specification and Verification Guidebook for Software and Computer Systems Vol I Planning and Technology Insertion","first-page":"88","year":"1998","key":"ref16"},{"journal-title":"Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II A Practitioner's Companion","first-page":"239","year":"1997","key":"ref17"},{"journal-title":"User Guide For The PVS Specification And Verification System Three Volumes Language System and Prover Reference Manuals","year":"1995","key":"ref18"},{"journal-title":"Formal Methods and Digital Systems Validation for Airborne Systems","year":"1993","author":"rushby","key":"ref19"},{"journal-title":"An Elementary Tutorial on Formal Specification and Verification Using PVS","year":"1993","author":"butler","key":"ref4"},{"journal-title":"Office of Safety and Mission Assurance","year":"1998","author":"abernethy","key":"ref3"},{"journal-title":"Logic and Discrete Mathematics A Computer Science Perspective (Chapter 8)","year":"1996","author":"grassmann","key":"ref6"},{"journal-title":"Z An Introduction to Formal Methods","year":"1990","author":"diller","key":"ref5"},{"journal-title":"Proceedings of the Third Annual NASA Langley Formal Methods Workshop","year":"1995","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WIFT.1995.515477"},{"key":"ref2","first-page":"22","article-title":"Formal methods for software specification: a case study in PVS","volume":"13","author":"abernethy","year":"1997","journal-title":"The Journal of Computing in Small Colleges"},{"key":"ref1","first-page":"20","article-title":"Formal methods for software specification: Implications for the undergraduate computer science curriculum","volume":"12","author":"abernethy","year":"1996","journal-title":"The Journal of Computing in Small Colleges"},{"journal-title":"Introduction to the Personal Software Process","year":"1997","author":"humphrey","key":"ref9"},{"key":"ref20","article-title":"Final results of incorporating an operational formal method into a software engineering curriculum","author":"sobel","year":"1999","journal-title":"Proceedings of the IEEE Frontiers in Education Conference"},{"journal-title":"The ? Notation A Reference Manual","year":"1989","author":"spivey","key":"ref22"},{"journal-title":"Z A Specification Language and its Formal Semantics","year":"1988","author":"spivey","key":"ref21"},{"journal-title":"? Specific Formaliser User Guide","year":"1999","key":"ref24"},{"journal-title":"Toward Zero-Defect Programming","year":"1999","author":"stavely","key":"ref23"}],"event":{"name":"Thirteenth Conference on Software Engineering Education and Training","acronym":"CSEE-00","location":"Austin, TX, USA"},"container-title":["Thirteenth Conference on Software Engineering Education and Training"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6693\/17912\/00827014.pdf?arnumber=827014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T14:57:25Z","timestamp":1489157845000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/827014\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/csee.2000.827014","relation":{},"subject":[]}}