{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:08:41Z","timestamp":1725548921922},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540294009"},{"type":"electronic","value":"9783540317401"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11568421_40","type":"book-chapter","created":{"date-parts":[[2005,10,31]],"date-time":"2005-10-31T07:21:55Z","timestamp":1130743315000},"page":"398-405","source":"Crossref","is-referenced-by-count":0,"title":["An Automatic Coverage Analysis for SystemC Using UML and Aspect-Oriented Technology"],"prefix":"10.1007","author":[{"given":"Yan","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuan","family":"Du","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuegong","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenglian","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","volume-title":"System Design with SystemC","author":"T. Grotker","year":"2002","unstructured":"Grotker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Gupta, S., Ashar, P.: Toward formalizing a Validation Methodology Using Simulation Coverage. In: Proc. 34th Design Automation Conf. (1997)","DOI":"10.1109\/DAC.1997.597243"},{"key":"40_CR3","first-page":"970","volume-title":"Proc. 36th Design Automation Conf.","author":"M. Benjamin","year":"1999","unstructured":"Benjamin, M., Geist, D., Hartman, A., Wolfsthal, Y., Mas, G., Smeets, R.: A Study in Coverage-Driven Test Generation. In: Proc. 36th Design Automation Conf., pp. 970\u2013975. ACM Press, New York (1999)"},{"key":"40_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"40_CR5","unstructured":"Object Management Group: UML 2.0 Infrastructure Final Adopted Specification (2003), http:\/\/www.omg.org\/docs\/ptc\/03-09-15.pdf"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"Grinwald, R., et al.: User Defined Coverage - A Tool Supported Methodology for Design Verification. In: Proc. 35th Design Automation Conf., New York, pp. 158\u2013163 (1998)","DOI":"10.1145\/277044.277081"},{"issue":"4","key":"40_CR7","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/54.936247","volume":"18","author":"S. Tasiran","year":"2001","unstructured":"Tasiran, S., Keutzer, K.: Coverage metrics for functional validation of hardware designs. IEEE Design & Test of Computers\u00a018(4), 36\u201345 (2001)","journal-title":"IEEE Design & Test of Computers"},{"key":"40_CR8","unstructured":"Object Management Group: UML 2.0 Superstructure Final Adopted Specification (2003), http:\/\/www.omg.org\/docs\/ptc\/03-08-02.pdf"},{"key":"40_CR9","unstructured":"Object Management Group: Meta Object Facility Specification (2003), http:\/\/www.omg.org\/docs\/ptc\/03-10-04.pdf"},{"key":"40_CR10","unstructured":"AspectC++. version 0.9, http:\/\/www.aspcetc.org"},{"key":"40_CR11","unstructured":"Eclipse Project, http:\/\/www.eclipse.org"}],"container-title":["Lecture Notes in Computer Science","Computer Supported Cooperative Work in Design I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11568421_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:54:44Z","timestamp":1605642884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11568421_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540294009","9783540317401"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11568421_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}