{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:50:50Z","timestamp":1730292650287,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/ret.2014.6908674","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T10:51:35Z","timestamp":1412074295000},"page":"18-25","source":"Crossref","is-referenced-by-count":4,"title":["Verifying security requirements using model checking technique for UML-based requirements specification"],"prefix":"10.1109","author":[{"given":"Yoshitaka","family":"Aoki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saeko","family":"Matsuura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1999.802135"},{"key":"16","first-page":"1","article-title":"Model checking uml activity diagrams with spin","author":"jing","year":"2009","journal-title":"Proc CISE'2009"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2009.25"},{"key":"14","first-page":"425","article-title":"Data-flow anti- patterns: Discovering dataflow errors in workflows","author":"trcka","year":"2009","journal-title":"Proc CAiSE 2009"},{"key":"11","first-page":"58","article-title":"Collaboration-based verification of object-oriented models","volume":"22","author":"yatake","year":"2005","journal-title":"Computer Software"},{"key":"12","first-page":"146","article-title":"Model checking of page flow specification","volume":"22","author":"choi","year":"2005","journal-title":"Computer Software"},{"key":"3","first-page":"166","article-title":"A UML-based requirements analysis with automatic prototype system generation","volume":"3","author":"ogata","year":"2008","journal-title":"Communications of SIWN"},{"journal-title":"Object-oriented Software Engineering A Usecase Driven Approach","year":"1992","author":"jacobson","key":"2"},{"journal-title":"CC\/CEM v3 1 Release4","year":"0","author":"common criteria","key":"1"},{"year":"2010","author":"uppaal","key":"10"},{"year":"0","author":"luminous","key":"7"},{"journal-title":"Unified Modeling Language","year":"0","author":"omg","key":"6"},{"key":"5","first-page":"401","article-title":"Quality improvement of requirements specification using model checking technique","volume":"2","author":"aoki","year":"2012","journal-title":"Proc of ICEIS 2012"},{"key":"4","first-page":"598","article-title":"A method of automatic integration test case generation from uml-based scenario","volume":"7","author":"ogata","year":"2010","journal-title":"WSEAS Transactions on Information Science and Applications"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0194-4"}],"event":{"name":"2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)","start":{"date-parts":[[2014,8,26]]},"location":"Karlskrona, Sweden","end":{"date-parts":[[2014,8,26]]}},"container-title":["2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6887462\/6908666\/06908674.pdf?arnumber=6908674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T15:05:04Z","timestamp":1490281504000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6908674\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ret.2014.6908674","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}