{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T21:31:12Z","timestamp":1759959072407,"version":"3.28.0"},"reference-count":47,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2004.1281729","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"45-55","source":"Crossref","is-referenced-by-count":1,"title":["Knowledge-centric and language independent framework for safety analysis tools"],"prefix":"10.1109","author":[{"given":"S.C.","family":"Kothari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Bishop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sauceda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Daugherty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"OOTIA Web Site","year":"0","key":"19"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/IDEAS.2002.1029660"},{"journal-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"17"},{"journal-title":"Pattern Examples","year":"2002","author":"daugherty","key":"36"},{"key":"18","first-page":"198","article-title":"Software critical analysis of COTS\/SOUP","author":"bishop","year":"2002","journal-title":"Computer Safety Reliability and Security Proc 21st Int'l Conf Safecomp 2002"},{"journal-title":"W3 XML Query Web Site","year":"0","key":"33"},{"journal-title":"Software Metrics and Static Analysis","year":"0","key":"15"},{"journal-title":"XSLT - Extensible Stylesheet Language Transformation","year":"0","key":"34"},{"journal-title":"Static Analysis and Software Assurance","year":"0","author":"wagner","key":"16"},{"key":"39","article-title":"Aspect-oriented programming","author":"kiczales","year":"1997","journal-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)"},{"journal-title":"Automated Software Inspection A New Approach to Increase Software Quality and Productivity","year":"0","author":"kamperman","key":"13"},{"key":"14","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/sej.1994.0025","article-title":"applicability of modified condition\/decision coverage to software testing","volume":"9","author":"chilenski","year":"1994","journal-title":"Software Engineering Journal"},{"journal-title":"UML 1 4 with Action Semantics","year":"2002","key":"37"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2000.898880"},{"journal-title":"OMG Unified Modeling Language Specification (Action Semantics)","year":"2002","key":"38"},{"journal-title":"Features Code Inspection","year":"0","key":"12"},{"journal-title":"FAA\/NASA Workshop Position Paper","article-title":"Multiple inheritance","year":"2002","key":"21"},{"journal-title":"ISO Ada Standard","year":"0","key":"20"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1997.624233"},{"year":"0","key":"42"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"41"},{"journal-title":"AspectJ Quick Reference","year":"0","key":"40"},{"key":"45","article-title":"Real-time design patterns","author":"douglass","year":"2002","journal-title":"Robust Scalable Architecture for Real-Time systems"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1109\/52.43052"},{"journal-title":"Request for Proposal MOF 2 0 Query\/Views\/Transformations RFP","year":"2002","key":"47"},{"key":"46","volume":"2","author":"schmidt","year":"2000","journal-title":"Pattern-Oriented Software Architecture Volume 2 Patterns for Concurrent and Networked Objects"},{"journal-title":"Proceedings of the 1st FAA\/NASA Workshop on Object-oriented Technology in Aviation (OOTiA)","year":"2002","key":"22"},{"key":"23","article-title":"Automatic parallelization, \"aspect-oriented programming, and beyond","author":"kothari","year":"2002","journal-title":"High-performance Computing Asia Conference"},{"key":"24","article-title":"Parallelization agent: A new approach to parallelization of legacy codes","author":"mitra","year":"1997","journal-title":"SIAM Conference on Parallel Processing for Scientific Computing"},{"journal-title":"Design Patterns Elements of Reusable Object-Oriented Software","year":"1995","author":"gamma","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1996.565035"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/32.295894"},{"journal-title":"ISU-rockwell DARPA SEC Project Website","year":"0","key":"28"},{"journal-title":"JSIS Semantic Interface Specification for Java Technology","year":"0","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.243"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1207449"},{"journal-title":"Automated Software Inspection A New Approach to Increase Software Quality and Productivity","year":"0","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"journal-title":"High-assurance Java Virtual Machine","year":"0","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1207453"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1142\/9789812389701_0023"},{"year":"0","key":"32"},{"key":"5","first-page":"270","article-title":"Inspection of safety critical software using function tables","volume":"3","author":"parnas","year":"1994","journal-title":"Proc IFIF 13th World Computer Congress"},{"year":"0","key":"31"},{"journal-title":"Software Inspection","year":"1993","author":"gilb","key":"4"},{"year":"0","key":"9"},{"journal-title":"Cscope Homepage","year":"0","key":"8"}],"event":{"name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004.","location":"Tampa, FL, USA"},"container-title":["Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9019\/28627\/01281729.pdf?arnumber=1281729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:56:29Z","timestamp":1497599789000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1281729\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/hase.2004.1281729","relation":{},"subject":[]}}