{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:08Z","timestamp":1725488588028},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_33","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T13:29:50Z","timestamp":1186406990000},"page":"457-471","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Specification Model for Interface Suites"],"prefix":"10.1007","author":[{"given":"E. E.","family":"Roubtsova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. C. M.","family":"van Gool","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Kuiper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. B. M.","family":"Jonkers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"unstructured":"Carrier Sense Multiple Access\\Collision Detection (CSMA\\CD), \n                    http:\/\/webopedia.internet.com\/TERM\/C\/CSMA?CD.html\n                    \n                  . 1998.","key":"33_CR1"},{"key":"33_CR2","series-title":"Lect Notes Comput Sci","first-page":"336","volume-title":"The Unified Modeling Language. UML\u201998: Beyond the Notation","author":"A. Evans","year":"1998","unstructured":"A. Evans and R. France and K. Lano and B. Rumpe. The UML as a Formal Modeling Notation. The Unified Modeling Language. UML\u201998: Beyond the Notation, LNCS 1618:336\u2013348, 1998."},{"key":"33_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_1","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"G. Booch, J. Rubaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Amsterdam, 1999."},{"key":"33_CR4","volume-title":"Component Software Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"C. Szyperski. Component Software Beyond Object-Oriented Programming. Addison-Wesley, New-York, 1998."},{"unstructured":"D. D\u2019Souza and A. Wills. Objects, Components and Frameworks with UML. The Catalysis Approach. Addison-Wesley, 1999.","key":"33_CR5"},{"doi-asserted-by":"crossref","unstructured":"E. E. Roubtsova and J. van Katwijk and W. J. Toetenel and C. Pronk and R. C. M. de Rooij. The Specification of Real-Time Systems in UML. MCTS2000, \n                    http:\/\/www.elsevier.nl\/locate\/entcs\/volume39.html\n                    \n                  , 2000.","key":"33_CR6","DOI":"10.1016\/S1571-0661(05)80753-4"},{"key":"33_CR7","volume-title":"Design Patterns. Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, New-York, 1994."},{"key":"33_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/3-540-40911-4_8","volume-title":"Integrated Formal Methods","author":"H. B. M. Jonkers","year":"2000","unstructured":"H. B. M. Jonkers. ISpec: Towards Practical and Sound Interface Specifications. Integrated Formal Methods, LNCS1945:116\u2013135, 2000."},{"unstructured":"H. B. M. Jonkers. Interface-Centric Architecture Descriptions. WICSA 2001, The Working IEEE\/IFIP Conference on Software Architecture, August 2001.","key":"33_CR9"},{"unstructured":"J. Cheesman, and J. Daniels. UML Components: A Simple Process for Specifying Component-Based Software. Addison Wesley, 2000.","key":"33_CR10"},{"unstructured":"R. Kling. Application Development with IDL. Ronn Kling Consulting, \n                    http:\/\/www.rlkling.com\n                    \n                  , 1999.","key":"33_CR11"},{"unstructured":"L. C. M. van Gool. Cylindrische Componenten Calculus. (in Dutch). Eindhoven University ofT echnology, Department ofComputer Science, 2000.","key":"33_CR12"},{"key":"33_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1007\/3-540-46852-8_31","volume-title":"UML\u201999. Beyond the Standard","author":"J. Lilius","year":"1999","unstructured":"J. Lilius and I. P. Palor. Formalising UML StateMachines for Model Checking. UML\u201999. Beyond the Standard, LNCS 1723, pages 430\u2013445, 1999."},{"unstructured":"Rational Software Corporation. Rational Rose. \n                    http:\/\/www.rational.com\/products\/rose\n                    \n                  , 2000.","key":"33_CR14"},{"unstructured":"Rational Software Corporation. Rose Extensibility Reference 2000e, 2000.","key":"33_CR15"},{"unstructured":"T. Reenskaug. Working with objects. Manning Publications, 1995.","key":"33_CR16"},{"doi-asserted-by":"crossref","unstructured":"R. Helm and I. M. Holland and D. Gangopadhyay. Contracts: Specifying Behavioral Compositions in Object-Oriented Systems. Proc. ECOOP\/OOPSLA\u2019 90, ACM, pages 169\u2013180, 1990.","key":"33_CR17","DOI":"10.1145\/97945.97967"},{"unstructured":"D. Riehle. Framework Design: A Role Modeling Approach. Ph.D. Thesis, No. 13509. Zurich, Switzerland, ETH Zurich, 2000.","key":"33_CR18"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:54:54Z","timestamp":1558259694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"17 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}