{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:09:45Z","timestamp":1725494985558},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425786"},{"type":"electronic","value":"9783540448150"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44815-2_10","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T10:17:24Z","timestamp":1195121844000},"page":"131-148","source":"Crossref","is-referenced-by-count":0,"title":["Scenario-Based Analysis of Component Compositions"],"prefix":"10.1007","author":[{"given":"Hans","family":"de Bruin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,13]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-3-642-61062-2_10","volume-title":"Object-Oriented and Mixed Programming paradigms","author":"P. Bouwman","year":"1996","unstructured":"Peter Bouwman and Hans de Bruin. Talktalk. In Peter Wisskirchen, editor. Object-Oriented and Mixed Programming paradigms, Eurographics Focus on Computer Series, chapter 9, pages 125\u2013141. Springer-Verlag, Berlin, Germany, 1996."},{"issue":"12","key":"10_CR2","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1109\/32.738343","volume":"24","author":"R.J.A. Buhr","year":"1998","unstructured":"R.J.A. Buhr. Use Case Maps as architecture entities for complex systems. IEEE Transactions on Software Engineering, 24(12):1131\u20131155, December 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR3","unstructured":"J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang. Symbolic model checking: 1020 states and beyond. In Fifth Conference on Logic in Computer Science, 1990."},{"key":"10_CR4","first-page":"89","volume-title":"Lecture Notes in Computer Science 16","author":"R.H. Campbell","year":"1974","unstructured":"R.H. Campbell and A.N. Habermann. The specification of process synchronization by path expressions. In Lecture Notes in Computer Science 16, pages 89\u2013102. Springer-Verlag, Berlin, Germany, 1974."},{"key":"10_CR5","unstructured":"Hans de Bruin. DIGIS: a Model Based Graphical User Interface Design Environment for Non-Programmers. PhD thesis, Erasmus University Rotterdam, November 10, 1995."},{"key":"10_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the First Symposium on Generative and Component-Based Software Engineering (GCSE\u201999), Erfurt, Germany","author":"H. Bruin de","year":"1999","unstructured":"Hans de Bruin. A grey-box approach to component composition. In Krzysztof Czarnecki and Ulrich W. Eiseneker, editors, Proceedings of the First Symposium on Generative and Component-Based Software Engineering (GCSE\u201999), Erfurt, Germany, volume 1799 of Lecture Notes in Computer Science (LNCS), Berlin, Germany, September 28-30, 1999. Springer-Verlag."},{"key":"10_CR7","unstructured":"Hans de Bruin. BCOOPL: A language for controlling component interactions. In H.R. Arbnia, editor, Proceedings of the International Conference of Distributed Processing Techniques and Applications (PDPTA\u2019 2000), volume 2, pages 801\u2013807, Las vegas, Nevada, USA, June 26-29, 2000. CSREA, CSREA Press."},{"issue":"8","key":"10_CR8","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1002\/(SICI)1097-024X(20000710)30:8<849::AID-SPE318>3.0.CO;2-0","volume":"30","author":"H. Bruin de","year":"2000","unstructured":"Hans de Bruin. BCOOPL: Basic Concurrent Object-Oriented Programming Language. Software Practice & Experience, 30(8):849\u2013894, July 2000.","journal-title":"Software Practice & Experience"},{"key":"10_CR9","series-title":"Object Technology Series","volume-title":"Objects, Components, and Frameworks with UML: The Catalysis Approach","author":"D. F. D\u2019Souza","year":"1998","unstructured":"Desmond Francis D\u2019Souza and Alan Cameron Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Object Technology Series. Addison-Wesley, Reading, Massachusetts, 1998."},{"key":"10_CR10","series-title":"Professional Computing Series","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison-Wesley, Reading, Massachusetts, 1995."},{"issue":"6","key":"10_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/52.469757","volume":"12","author":"D. Garlan","year":"1995","unstructured":"David Garlan, Robert Allen, and John Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, 12(6):17\u201326, November 1995. Carnegie Mellon University.","journal-title":"IEEE Software"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231\u2013271, 1987.","journal-title":"Science of Computer Programming"},{"key":"10_CR13","volume-title":"Object-Oriented Programming in the Beta Programming Language","author":"O. L. Madsen","year":"1993","unstructured":"Ole Lehrman Madsen, Birger M\u00f8ller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, Reading, Massachusetts, 1993."},{"key":"10_CR14","volume-title":"Petri Net Theory and the Modelling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice Hall, Englewood Cliffs, New Jersey, 1981."},{"key":"10_CR15","first-page":"511","volume":"28","author":"J. Bos van den","year":"1991","unstructured":"Jan van den Bos and Chris Laffra. Procol: a concurrent object language with protocols, delegation and Acta Informatica, 28:511\u2013538, September 1991.","journal-title":"Procol: a concurrent object language with protocols, delegation and Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Generative and Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44815-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T08:55:12Z","timestamp":1551084912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44815-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425786","9783540448150"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44815-2_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}