{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:23Z","timestamp":1725550643984},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_34","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:04:06Z","timestamp":1129817046000},"page":"517-531","source":"Crossref","is-referenced-by-count":0,"title":["Constructing Open Systems via Consistent Components"],"prefix":"10.1007","author":[{"given":"Nguyen Truong","family":"Thang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuya","family":"Katayama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Han, J.: An approach to software component specification. In: Proceedings of International Workshop on Component Based Software Engineering (1999)"},{"key":"34_CR2","unstructured":"Liu, Y., Cunningham, H.C.: Software component specification using design by contract. In: Proceedings of the SouthEast Software Engineering Conference (April 2002)"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.M.: N-degrees of separation: Multi-dimensional separation of concerns. In: Proc. ICSE, pp. 109\u2013117 (1999)","DOI":"10.1145\/302405.302457"},{"key":"34_CR4","volume-title":"The Objects Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Objects Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading (1999)"},{"key":"34_CR5","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"34_CR6","unstructured":"Nguyen, T.T., Katayama, T.: Handling consistency of software evolution in an efficient way. In: Proc. IWPSE, pp. 121\u2013130 (2004)"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/BFb0054162","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Laster","year":"1998","unstructured":"Laster, K., Grumberg, O.: Modular model checking of software. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, p. 20. Springer, Heidelberg (1998)"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D., Johnson, C., MacDonald, B., Heeder, D.V.: Achieving extensibility through product-lines and domain-specific languages: A case study. In: Proc. International Conference on Software Reuse (2000)","DOI":"10.1007\/978-3-540-44995-9_8"},{"key":"34_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/BFb0054107","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"Y. Smaragdakis","year":"1998","unstructured":"Smaragdakis, Y., Batory, D.: Implementing layered designs with mixin layers. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, p. 550. Springer, Heidelberg (1998)"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Tarr, P., Ossher, H.: Hyper\/J(TM) User and Installation Manual. IBM Research, IBM Corp. (2000)","DOI":"10.1145\/337180.337618"},{"key":"34_CR11","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., et al.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"34_CR12","unstructured":"The AspectJ Team: The AspectJ(TM) Programming Guide. Xerox Corporation (2001)"},{"key":"34_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-49213-5_14","volume-title":"Compositionality: The Significant Difference","author":"O. Kupferman","year":"1998","unstructured":"Kupferman, O., Vardi, M.Y.: Modular model checking. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, p. 381. Springer, Heidelberg (1998)"},{"key":"34_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-48234-2_14","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"C.S. Pasareanu","year":"1999","unstructured":"Pasareanu, C.S., Dwyer, M.B., Huth, M.: Assume-guarantee model checking of software: A comparative case study. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, p. 168. Springer, Heidelberg (1999)"},{"key":"34_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201991","author":"O. Grumberg","year":"1991","unstructured":"Grumberg, O., Long, D.E.: Model checking and modular verification. In: Groote, J.F., Baeten, J.C.M. (eds.) CONCUR 1991. LNCS, vol.\u00a0527. Springer, Heidelberg (1991)"},{"key":"34_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/3-540-45657-0_35","volume-title":"Computer Aided Verification","author":"A. Chakrabarti","year":"2002","unstructured":"Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Jurdzinski, M., Mang, F.Y.C.: Interface compatibility checking for software modules. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 428. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T11:08:02Z","timestamp":1586516882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11560647_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}