{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:15:58Z","timestamp":1742386558661,"version":"3.28.0"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/hicss.2004.1265657","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"10 pp.","source":"Crossref","is-referenced-by-count":1,"title":["Experiments on processing and linking semantically augmented requirement specifications"],"prefix":"10.1109","author":[{"given":"D.","family":"Conte de Leon","sequence":"first","affiliation":[]},{"given":"J.","family":"Alves-Foss","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Digital Woes: Why We Should Not Depend Upon Software","year":"1993","author":"wiener","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1159025"},{"journal-title":"Object Management Group","article-title":"XML Metadata Interchange (XMI) Version 1.2","year":"2002","key":"ref33"},{"key":"ref32","article-title":"Unified Modeling Language Specification (UML)","volume":"1 4","year":"2001","journal-title":"Object Management Group"},{"key":"ref31","article-title":"Xlinkit: A Consistency Checking and Smart Link Generation Service","author":"nentwich","year":"2001","journal-title":"ACM Transactions on Internet Technology"},{"journal-title":"NavSurf","article-title":"AJPopUp: A DHTML Javascript application for popup display","year":"2003","key":"ref30"},{"journal-title":"SoftCOM","article-title":"Tigra Tree Menu: A DHTML Javascript","year":"2003","key":"ref37"},{"key":"ref36","article-title":"Critical System Properties: Survey and Taxonomy","author":"rushby","year":"1993","journal-title":"Tech Report CSL-93–01 SRI Intlernational"},{"key":"ref35","article-title":"HTML 4.01 Specification","author":"raggett","year":"1999","journal-title":"W3C Recommendation"},{"article-title":"Formal Methods and the Development of Dependable Systems","year":"1995","author":"peleska","key":"ref34"},{"key":"ref10","article-title":"Extensible Markup Language (XML) Version 1.0 Second Edition","author":"bray","year":"2000","journal-title":"W3C Recommendation"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027250"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.210303"},{"key":"ref12","article-title":"Mathematical Markup Language (MathML) Version 2.0","author":"carlisle","year":"2001","journal-title":"W3C Recommendation"},{"key":"ref13","article-title":"XSL Transformations Language (XSLT) Version 1.0","author":"clark","year":"1999","journal-title":"W3C Recommendation"},{"article-title":"Formalizing Traceability among Software Work Products","year":"2002","author":"conte de leon","key":"ref14"},{"key":"ref15","article-title":"XML Linking Language (XLink) Version 1.0","author":"derose","year":"2001","journal-title":"W3C rec"},{"key":"ref16","article-title":"Applying XML technologies in Requirements Verification","author":"dur\u00e1n","year":"0","journal-title":"Depto de Leng y Sist Informáticos"},{"key":"ref17","article-title":"Scalable Vector Graphics (SVG) 1.0 Specification","author":"ferraiolo","year":"2001","journal-title":"W3C Recommendation"},{"key":"ref18","article-title":"Static Consistency Checking for Distributed Specifications","author":"finkelstein","year":"2001","journal-title":"Proc 16th IEEE Int Conf Autom Softw Eng (ASE)"},{"journal-title":"IBM Alphaworks","article-title":"The Reengineering Toolkit for Java","year":"2002","key":"ref19"},{"key":"ref28","first-page":"126","article-title":"Analyzing Software Requirements Errors in Safety-Critical Embedded Systems","author":"lutz","year":"1993","journal-title":"Proceedings of the IEEE International Symposium on Requirements Engineering"},{"key":"ref4","article-title":"A Constraint-Oriented Specification of a Steam-Boiler Controller in Higher Order Logic","author":"alves-foss","year":"1995","journal-title":"Technical Report"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/32.825764"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2002.994466"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00037-2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2000.891464"},{"key":"ref5","article-title":"Fundamental Concepts of Computer Systems Dependability","author":"avisienis","year":"2001","journal-title":"Proc of the Workshop on Robot Dep"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1023\/A:1016553628389","article-title":"XML-Based Hypertext Functionalities for Software Engineering","author":"bompani","year":"2002","journal-title":"Annals of Software Engineering"},{"key":"ref7","article-title":"XML Path Language (XPath) Version 2.0","author":"berglund","year":"2002","journal-title":"W3C Working Draft"},{"key":"ref2","article-title":"Extensible Stylesheet Language (XSL) Version 1.0","author":"adler","year":"2001","journal-title":"W3C Recommendation"},{"key":"ref9","article-title":"Safety-Critical Systems, Formal Methods and Standards","author":"bowen","year":"1992","journal-title":"Technical Report PRG-TR-5–92"},{"key":"ref1","article-title":"Steam-Boiler Control Specification Problem","author":"abrial","year":"1995","journal-title":"Dagsthul Meeting"},{"article-title":"System and Software Safety in Critical Systems","year":"1996","author":"isaksen","key":"ref20"},{"journal-title":"WebGain","article-title":"JavaCC: Java Parser Generator","year":"2003","key":"ref22"},{"journal-title":"International Organization for Standardization","article-title":"ISO 15437: Information Technology – E-LOTOS","year":"2001","key":"ref21"},{"key":"ref24","article-title":"Dependable Computing and Fault Tolerance: Concepts and Terminology","author":"laprie","year":"1985","journal-title":"Proc 15th Fault-Tolerant Computing Symp (FTCS-15)"},{"key":"ref41","article-title":"Cascading Style Sheets, Level 1","author":"wium lie","year":"1996","journal-title":"W3C rec"},{"key":"ref23","article-title":"Abstracts of References and Incidents","author":"ladkin","year":"1998","journal-title":"Faculty of Technology"},{"article-title":"Safeware: System Safety and Computers","year":"1995","author":"leveson","key":"ref26"},{"article-title":"Dependability: Basic Concepts and Terminology","year":"1992","author":"laprie","key":"ref25"}],"event":{"name":"37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the","start":{"date-parts":[[2004,1,8]]},"location":"Big Island, HI, USA","end":{"date-parts":[[2004,1,8]]}},"container-title":["37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8934\/28293\/01265657.pdf?arnumber=1265657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:56:11Z","timestamp":1497585371000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1265657\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/hicss.2004.1265657","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}