{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:31:16Z","timestamp":1730269876404,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iri-05.2005.1506447","type":"proceedings-article","created":{"date-parts":[[2005,9,12]],"date-time":"2005-09-12T15:19:24Z","timestamp":1126538364000},"page":"44-49","source":"Crossref","is-referenced-by-count":0,"title":["Providing a behavioral and static formal model to elicit the functional software requirement"],"prefix":"10.1109","author":[{"family":"Ching-Huey Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"William C. Chu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Feng-Jian Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-908X(200003\/04)12:2<121::AID-SMR206>3.0.CO;2-T"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1199071"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337184"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"key":"11","first-page":"58","article-title":"GRAIL\/KAOS: An environment for goal-driven requirements engineering","volume":"2","author":"darimont","year":"1998","journal-title":"Proc 20th Int'l Conf Software Eng (ICSE'98)"},{"key":"12","article-title":"Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learned","author":"van lamsweerde","year":"1995","journal-title":"Proc Second IEEE Int l Symp Requirements Eng (RE 95)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/605466.605485"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"journal-title":"Message Sequence Charts","year":"1996","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041053"},{"journal-title":"IEEE Recommended Practice for Software Requirements Specifications","year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"journal-title":"The Unified Software Development Process","year":"1999","author":"jacobson","key":"8"}],"event":{"name":"IRI -2005 IEEE International Conference on Information Reuse and Integration, Conf, 2005.","location":"Las Vegas, NV, USA"},"container-title":["IRI -2005 IEEE International Conference on Information Reuse and Integration, Conf, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10065\/32280\/01506447.pdf?arnumber=1506447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T19:52:35Z","timestamp":1489521155000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1506447\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iri-05.2005.1506447","relation":{},"subject":[]}}