{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:27:18Z","timestamp":1729654038345,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2002.1173125","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"211-220","source":"Crossref","is-referenced-by-count":5,"title":["An approach to specify and test component-based dependable software"],"prefix":"10.1109","author":[{"given":"A.","family":"Jhumka","sequence":"first","affiliation":[]},{"given":"M.","family":"Hiller","sequence":"additional","affiliation":[]},{"given":"N.","family":"Suri","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/52.73750"},{"key":"ref11","article-title":"On Systematic Design of Consistent Executable Assertions for Distributed Embedded Systems","author":"jhumka","year":"0","journal-title":"To Ap-pear ACM Joint Conference LCTES\/SCOPES'02"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.54295"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/210223.210226"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/32.6165"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"ref16","first-page":"277","article-title":"Executable assertions – an aid to reliable software","author":"saib","year":"1978","journal-title":"Proc Asilomar Conf Circ Syst Comput"},{"key":"ref17","article-title":"Metakernels and Fault containment wrappers","author":"salles","year":"1998","journal-title":"Proc FTCS"},{"key":"ref18","first-page":"121","article-title":"A Survey of Program Slicing Techniques","volume":"3","author":"tip","year":"1995","journal-title":"Journal of Program Languages"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/32.83906","article-title":"Analyzing Partition Testing Strategies","volume":"17","author":"jeng","year":"1991","journal-title":"IEEE Trans Soft Eng"},{"key":"ref4","article-title":"A Modular Approach to Specify and Test an Electrical Flight Control System","author":"doche","year":"1999","journal-title":"Proc Int Workshop on Formal Methods for Industrial Critical Systems"},{"article-title":"Black Box Testing: Techniques for Functional Testing of Software and Systems","year":"1995","author":"beizer","key":"ref3"},{"key":"ref6","first-page":"1298","article-title":"Deriving Annotations For Tight Calculation of Execution Time","author":"ermedahl","year":"0","journal-title":"Proc EuroPar'97 RT System Workshop"},{"key":"ref5","article-title":"Fundamentals of Algebraic Specification 2: Modules Specifications and Con-straints","volume":"21","author":"ehrig","year":"1989","journal-title":"EATCS Monographs on Theoretical Computer Science"},{"key":"ref8","first-page":"71","article-title":"Formalizing architectural connection","author":"garlan","year":"1995","journal-title":"Proc ICSE"},{"key":"ref7","article-title":"Hardening cots software with generic software wrappers","author":"fraser","year":"1999","journal-title":"IEEE Symposium on Security and Privacy"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"ref1","first-page":"179","article-title":"Architec-tural mismatch or why it's hard to build systems out of existing parts","volume":"94","author":"allen","year":"0","journal-title":"Proc ICSE"},{"key":"ref9","first-page":"82","article-title":"Testing can be formal, too","volume":"915","author":"gaudel","year":"1995","journal-title":"Proc TAPSOFT\/FASE 95"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1994.528030"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222135"},{"article-title":"Modularite pour la conception et la validation formelles de systemes","year":"1997","author":"wiels","key":"ref21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1997.637167"}],"event":{"name":"7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002","acronym":"HASE-02","location":"Tokyo, Japan"},"container-title":["7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8375\/26364\/01173125.pdf?arnumber=1173125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T22:46:02Z","timestamp":1497566762000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1173125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hase.2002.1173125","relation":{},"subject":[]}}