{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:08:54Z","timestamp":1725667734830},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/re.2018.00-24","type":"proceedings-article","created":{"date-parts":[[2018,10,16]],"date-time":"2018-10-16T04:59:51Z","timestamp":1539665991000},"page":"364-369","source":"Crossref","is-referenced-by-count":6,"title":["CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics"],"prefix":"10.1109","author":[{"given":"Yehia","family":"Elrakaiby","sequence":"first","affiliation":[]},{"given":"Alessio","family":"Ferrari","sequence":"additional","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"journal-title":"Ph'anomenologie des Geistes 1807","year":"0","author":"hegel","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/52.268952"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2013.869766"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.02.003"},{"key":"ref15","article-title":"Desiree-a refinement calculus for requirements engineering","author":"li","year":"2016","journal-title":"ArXiv Preprint"},{"key":"ref16","article-title":"The goal structuring notation a safety argument notation","author":"kelly","year":"2004","journal-title":"Proc Of Dependable Systems and Networks 2004 Workshop on Assurance Cases"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/58566.59297"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16101-3_11"},{"journal-title":"ISO\/IEC\/IEEE 29148 2011(E)","year":"2011","key":"ref4"},{"journal-title":"IEEE Recommended Practice for Software Requirements Specifications","first-page":"1","year":"1998","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/292182.292187"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"journal-title":"Requirements Engineering From System Goals to UML Models to Software Specifications","year":"2009","author":"lamsweerde","key":"ref7"},{"key":"ref2","first-page":"72","article-title":"Information systems: Modelling, sequencing and transformations","author":"jackson","year":"1978","journal-title":"ICSE'78"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229900"},{"key":"ref9","first-page":"80","article-title":"The design of SREE: a prototype potential ambiguity finder for requirements specifications and lessons learned","author":"tjong","year":"2013","journal-title":"Proc of REFSQ"}],"event":{"name":"2018 IEEE 26th International Requirements Engineering Conference (RE)","start":{"date-parts":[[2018,8,20]]},"location":"Banff, AB","end":{"date-parts":[[2018,8,24]]}},"container-title":["2018 IEEE 26th International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8490808\/8491107\/08491151.pdf?arnumber=8491151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T21:53:07Z","timestamp":1643233987000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8491151\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/re.2018.00-24","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}