{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:43:09Z","timestamp":1773931389942,"version":"3.50.1"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/fdl.2016.7880369","type":"proceedings-article","created":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T16:35:57Z","timestamp":1490027757000},"page":"1-7","source":"Crossref","is-referenced-by-count":5,"title":["Change impact analysis for hardware designs from natural language to system level"],"prefix":"10.1109","author":[{"given":"Martin","family":"Ring","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jannis","family":"Stoppe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Luth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ISSS.2000.874023"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/NAturaLiSE.2013.6611718"},{"key":"ref31","article-title":"Similarity-based diff, three-way-diff and merge","volume":"9","author":"autexier","year":"2015","journal-title":"International Journal of Software and Informatics (IJSI)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1860559.1860580"},{"key":"ref34","article-title":"Quality assessment for requirements based on natural language processing","author":"soeken","year":"2014","journal-title":"Proceedings Forum on Specification & Design Languages"},{"key":"ref10","article-title":"KaSCPar - Karlsruhe SystemC Parser Suite","author":"karlsruhe","year":"2012"},{"key":"ref11","first-page":"53","article-title":"An open-source tool for SystemC to Verilog automatic translation","volume":"37","author":"castillo","year":"2007","journal-title":"Latin American Applied Research"},{"key":"ref12","first-page":"706","article-title":"Parsing SystemC: an open-source, easy-to-extend parser","author":"brandolese","year":"2006","journal-title":"IADIS International Conference on Applied Computing"},{"key":"ref13","first-page":"405","article-title":"SystemCXML: An extensible SystemC front end using XML","author":"berner","year":"0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090734"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086286"},{"key":"ref16","first-page":"646","article-title":"Efficient automatic visualization of systemc designs","author":"gro\u00dfe","year":"2003","journal-title":"Forum on Specification & Design Languages"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2013.6654618"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-540-78929-1_5","author":"benvenuti","year":"2008","journal-title":"Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System"},{"key":"ref28","author":"steinberg","year":"2008","journal-title":"EMF Eclipse Modeling Framework"},{"key":"ref4","article-title":"System study: Method and example","author":"abrial","year":"1999"},{"key":"ref27","article-title":"Standard SystemC Language Reference Manual","year":"0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1983.1270016"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2003.1235428"},{"key":"ref29","first-page":"1","article-title":"Papyrus UML: an open source toolset for MDA","author":"lanusse","year":"2009","journal-title":"Proc of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009)"},{"key":"ref5","year":"2012","journal-title":"EMF Diff\/Merge"},{"key":"ref8","year":"0","journal-title":"Rational DOORS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/290133.290145"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337573"},{"key":"ref9","first-page":"148","article-title":"ParSyC: an efficient SystemC parser","author":"fey","year":"0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-01418-0_3"},{"key":"ref20","first-page":"342","author":"chalin","year":"2006","journal-title":"Beyond Assertions Advanced Specification and Verification with JML and ESC\/Java2"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/954587.954588"},{"key":"ref21","author":"baudin","year":"0","journal-title":"ACSL ANSI\/ISO C Specification Language Version 1 11"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: an open toolset for modelling and reasoning in Event-B","volume":"12","author":"abrial","year":"2010","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref23","author":"abrial","year":"2005","journal-title":"The B-Book Assigning Programs to Meanings"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45669-4_4"},{"key":"ref25","first-page":"1427","article-title":"Efficient development of embedded automotive software with IEC 61508 objectives using SCADE drive","author":"dion","year":"2005","journal-title":"VDI 12th International Conference Electronic Systems for Vehicles VDI"}],"event":{"name":"2016 Forum on Specification and Design Languages (FDL)","location":"Bremen, Germany","start":{"date-parts":[[2016,9,14]]},"end":{"date-parts":[[2016,9,16]]}},"container-title":["2016 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879501\/7880364\/07880369.pdf?arnumber=7880369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T20:37:12Z","timestamp":1568925432000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7880369\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/fdl.2016.7880369","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}