{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:35:36Z","timestamp":1729650936834,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/snpd.2016.7515926","type":"proceedings-article","created":{"date-parts":[[2016,7,26]],"date-time":"2016-07-26T20:38:58Z","timestamp":1469565538000},"page":"363-372","source":"Crossref","is-referenced-by-count":0,"title":["Automatic support for formal specification construction using pattern knowledge"],"prefix":"10.1109","author":[{"given":"Xi","family":"Wang","sequence":"first","affiliation":[]},{"given":"Weikai","family":"Miao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.99198"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062526"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44880-2_2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363869"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.9.753"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919116"},{"key":"ref4","article-title":"U2b - a tool for translating uml-b models into b","author":"snook","year":"2004","journal-title":"UML-B Specification for Proven Embedded Systems Design"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07287-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45140-4_28"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2005.29"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.663994"},{"key":"ref1","article-title":"Requirements engineering: a close look at industry needs and a model curricula","volume":"13","author":"minor","year":"2007","journal-title":"Australasian Journal of Information Systems"},{"key":"ref9","first-page":"174","article-title":"Automated support for property specification based on patterns","author":"mondragon","year":"2003","journal-title":"Proceedings of the Fifteenth InternationalConference on Software Engineering and Knowledge Engineering (SEKE 2003)"}],"event":{"name":"2016 17th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)","start":{"date-parts":[[2016,5,30]]},"location":"Shanghai, China","end":{"date-parts":[[2016,6,1]]}},"container-title":["2016 17th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7510515\/7515861\/07515926.pdf?arnumber=7515926","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T19:40:02Z","timestamp":1474659602000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7515926\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/snpd.2016.7515926","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}