{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:54:38Z","timestamp":1725699278281},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icre.2002.1048508","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T23:45:08Z","timestamp":1056584708000},"page":"81-88","source":"Crossref","is-referenced-by-count":6,"title":["Visual requirements validation: case study in a CORBA-supported environment"],"prefix":"10.1109","author":[{"given":"P.","family":"Fenkam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Jazayeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Java Foundation Classes (JFC)","year":"1999","key":"ref10"},{"journal-title":"Systematic Software Development Using VDM","year":"1990","author":"jones","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/KBSE.1992.252909"},{"journal-title":"INFORMA Project EP23163 The VDM Toolbox API Users Guide Technical report IFAD","year":"1998","key":"ref13"},{"key":"ref14","article-title":"Rapid prototyping of formal specifications using miranda","author":"o'neill","year":"1989","journal-title":"Technical Report DITC 150\/89"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1145\/142137.142153","article-title":"An Overview of the ISO\/VDM-SL Standard","author":"plat","year":"1992","journal-title":"ACM SIGPLAN Notices"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"journal-title":"The Java3D™ API Specification","year":"1998","author":"sowizral","key":"ref17"},{"journal-title":"The IFAD VDM-SL Language IFAD","year":"1996","key":"ref18"},{"journal-title":"Technical report The VRML Consortium Incorporated 1997","article-title":"The VRML Consortium. The Virtual Reality Modeling Language","year":"1997","key":"ref19"},{"journal-title":"Re-animating SAFER in VDM-SL using CORB A Technical report","year":"2000","author":"fenkam","key":"ref4"},{"journal-title":"Dynamic user management system for web sites","year":"2000","author":"fenkam","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0994-86"},{"journal-title":"Expressive Power of Access Control Models Based on Propagation of Rights","year":"1996","author":"ganta","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312939"},{"key":"ref7","article-title":"Software Prototyping","author":"hekmapour","year":"1988","journal-title":"Formal Methods and VDM"},{"key":"ref2","article-title":"A Lightweight Approach to Formal Methods","author":"agerholm","year":"1998","journal-title":"Proceedings of the International Workshop on Currents Trends in Applied Formal Methods"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/155183.155225"},{"journal-title":"IFAD The IFAD VDM Toolbox","year":"1999","key":"ref9"},{"key":"ref20","article-title":"Rapid Prototyping Using Formal Specifications","author":"winikoff","year":"1998","journal-title":"Australasian Computer Science Conference"}],"event":{"name":"IEEE Joint International Conference on Requirements Engineering","acronym":"ICRE-02","location":"Essen, Germany"},"container-title":["Proceedings IEEE Joint International Conference on Requirements Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8115\/22462\/01048508.pdf?arnumber=1048508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T22:44:58Z","timestamp":1497566698000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1048508\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icre.2002.1048508","relation":{},"subject":[]}}