{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:23:46Z","timestamp":1767925426138,"version":"3.49.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/sies.2015.7185035","type":"proceedings-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T22:55:14Z","timestamp":1439506514000},"page":"1-10","source":"Crossref","is-referenced-by-count":11,"title":["ReSA: An ontology-based requirement specification language tailored to automotive systems"],"prefix":"10.1109","author":[{"given":"Nesredin","family":"Mahmud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar","family":"Ljungkrantz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","author":"linz","year":"2011","journal-title":"An Introduction to Formal Languages and Automata"},{"key":"ref32","year":"2003","journal-title":"Lars Marius Garshol Bnf and ebnf What are they and how do they work acedida pela última vez em 16"},{"key":"ref31","year":"0"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-24590-1_12"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2014.6912296"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"key":"ref35","author":"verma","year":"2008","journal-title":"Requirements analysis tool A tool for automatically analyzing software requirements documents"},{"key":"ref34","article-title":"Xtext user guide","author":"behrens","year":"2008","journal-title":"Dostupnéz WWW"},{"key":"ref10","first-page":"2010","article-title":"Definition and exemplification of RSL and RMM D-SP2-R2.2-M2","author":"mitschke","year":"0","journal-title":"CESAR Project"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296781"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336546"},{"key":"ref13","first-page":"109","article-title":"Z formal specification language","author":"regan","year":"2013","journal-title":"Mathe Comput"},{"key":"ref14","article-title":"Larch: languages and tools for formal specification","author":"garland","year":"1993","journal-title":"Springer-Verlag Texts and Monographs in Computer Science"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(95)96871-J"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"ref17","first-page":"10","year":"2010","journal-title":"ATESST2 Consortium EAST-ADL Profile Specification 2 1 RC3 (Release Candidate)"},{"key":"ref18","author":"zalta","year":"2014","journal-title":"Thomas Hofweber Logic and ontology"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1995.1081"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60161-9_47"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2011.5783092"},{"key":"ref27","author":"smullyan","year":"1995","journal-title":"First-Order Logic"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0145-9"},{"key":"ref6","author":"hull","year":"2010","journal-title":"Requirements Engineering"},{"key":"ref29","year":"2007","journal-title":"Information technology-common logic (c1) A framework for a family of logic based languages (final draft-reference number Iso\/iec fdis 24707 2007 (e))"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"key":"ref8","year":"1998"},{"key":"ref7","article-title":"Analyzing industrial architectural models by simulation and model-checking","author":"marinescu","year":"2014","journal-title":"Third International Workshop on Formal Techniques for Safety-Critical Systems (FSTCS2014)"},{"key":"ref2","first-page":"372","article-title":"Real-time specification patterns","author":"sascha","year":"2005","journal-title":"Proceedings of the 27th international Conference on Software Engineering ICSE '05"},{"key":"ref9","article-title":"Using statement-level templates to improve the quality of requirements","author":"dick","year":"2012","journal-title":"Integrate Systems eEngineering Ltd"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2007.6.1.c2"},{"key":"ref20","first-page":"5","article-title":"Applications of ontologies in software engineering","author":"happel","year":"2006","journal-title":"Proc of Workshop on Sematic Web Enabled Software Engineering(SWESE) on the ISWC"},{"key":"ref22","article-title":"Ontologies and knowledge bases towards a terminological clarification","volume":"25","author":"giaretta","year":"1995","journal-title":"Towards Very Large Knowledge Bases Knowledge Building & Knowledge Sharing"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(97)00056-6"},{"key":"ref24","first-page":"39","article-title":"Nontological engineering","author":"kusnierczyk","year":"2006","journal-title":"FRONTIERS IN ARTIFI-CIAL INTELLIGENCE AND APPLICATIONS volume 150 of Formal ontology in information systems proceedings of the fourth international conference (FOIS 2006)"},{"key":"ref23","year":"1997","journal-title":"Construction of engineering ontologies for knowledge sharing and reuse Universiteit Twente"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1287620.1287621"}],"event":{"name":"2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)","location":"Siegen, Germany","start":{"date-parts":[[2015,6,8]]},"end":{"date-parts":[[2015,6,10]]}},"container-title":["10th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7164234\/7185026\/07185035.pdf?arnumber=7185035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:49:03Z","timestamp":1602686943000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7185035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/sies.2015.7185035","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}