{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:29:47Z","timestamp":1725478187067},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/fdl.2008.4641453","type":"proceedings-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T15:14:34Z","timestamp":1223997274000},"page":"237-238","source":"Crossref","is-referenced-by-count":4,"title":["A platform for requirement based formal specification"],"prefix":"10.1109","author":[{"given":"Uwe","family":"Pross","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Markert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Langer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Richter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Heinkel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"3"},{"year":"0","key":"2"},{"journal-title":"The Essential Guide to Effective Requirements Management within the CMMI","year":"0","author":"andy gurd","key":"1"},{"article-title":"the sal language manual","year":"2003","author":"leonardo de moura","key":"6"},{"key":"5","article-title":"gossens: behavioural specification for advanced design and verification of asics","author":"haas","year":"2002","journal-title":"GI\/ITG\/GMM-Workshop MBMV"},{"journal-title":"Abrial and Stefan Hallerstede Refinement Decomposition and Instantiation of Discrete Models Application to Event-B Fundamentae Informatica","year":"2007","author":"jean-raymond","key":"4"}],"event":{"name":"Design Languages (FDL)","start":{"date-parts":[[2008,9,23]]},"location":"Stuttgart","end":{"date-parts":[[2008,9,25]]}},"container-title":["2008 Forum on Specification, Verification and Design Languages"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4636106\/4641405\/04641453.pdf?arnumber=4641453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T16:17:10Z","timestamp":1489681030000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4641453\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/fdl.2008.4641453","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}