{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:35:13Z","timestamp":1759336513891},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540548348"},{"type":"electronic","value":"9783540464495"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54834-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:15:46Z","timestamp":1330211746000},"page":"31-44","source":"Crossref","is-referenced-by-count":39,"title":["Formalizing design spaces: Implicit invocation mechanisms"],"prefix":"10.1007","author":[{"given":"David","family":"Garlan","sequence":"first","affiliation":[]},{"given":"David","family":"Notkin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"5_CR1","unstructured":"R.M. Balzer. Living in the Next Generation Operating System. Proceedings of the Fourth World Computer Conference. (September, 1986)."},{"key":"5_CR2","unstructured":"N. Delisle and D. Garlan. Applying Formal Specification to Industrial Problems: A Specification of an Oscilloscope. IEEE Software (September 1990)."},{"key":"5_CR3","unstructured":"Bill Flinn and Ib. S\u00f8rensen. CAVIAR: A Case Study in Specification. In Specification Case Studies, ed. Ian Hayes, Prentice Hall International (1987)."},{"key":"5_CR4","volume-title":"Proceedings of the International Symposium: VDM'90 \u2014 VDM and Z.","author":"D. Garlan","year":"1990","unstructured":"David Garlan and Norman Delisle. Formal Specifications as Reusable Frameworks. Proceedings of the International Symposium: VDM'90 \u2014 VDM and Z. Kiel, Germany (April 1990), Springer-Verlag, LNCS 428."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"D. Garlan and E. Ilias. Low-cost, Adaptable Tool Integration Policies for Integrated Environments. Proceedings of ACM SIGSOFT90: Fourth Symposium on Software Development Environments, pp. 1\u201310 (December 1990).","DOI":"10.1145\/99278.99279"},{"key":"5_CR6","unstructured":"David Garlan, Gail E. Kaiser, and David Notkin. On the Criteria to be Used in Composing Tools into Systems. Technical Report CUCS-034-90, Department of Computer Science, Columbia University (July 1990). To appear, IEEE Computer."},{"key":"5_CR7","volume-title":"Technical Report SESD-89-25","author":"C. Gerety","year":"1989","unstructured":"Colin Gerety. HP SoftBench: A New Generation of Software Development Tools. Technical Report SESD-89-25, Hewlett-Packard Software Engineering Systems Division, Fort Collins, Colorado (November 1989)."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"J.A. Goguen. Reusing and Interconnecting Software Components. IEEE Computer (February 1986).","DOI":"10.1109\/MC.1986.1663146"},{"key":"5_CR9","unstructured":"A. Goldberg and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley (1983)."},{"key":"5_CR10","unstructured":"A.N. Habermann, D. Garlan, and D. Notkin. Generation of Integrated Task-Specific Programming Environments. In CMU Computer Science: 25th Anniversary Commemorative Symposium. Addison-Wesley (January 1991)."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"A.N. Habermann and D. Notkin. Gandalf Software Development Environments. IEEE Transactions on Software Engineering SE-12, 12 (December 1986), pp. 1117\u20131127.","DOI":"10.1109\/TSE.1986.6313007"},{"key":"5_CR12","unstructured":"Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots. Proceedings of the First International Joint Conference in Artificial Intelligence., Washington DC (1969)."},{"key":"5_CR13","first-page":"26","volume":"3","author":"G. E. Krasner","year":"1988","unstructured":"G.E. Krasner and S.T. Pope. A Cookbook for Using the Model-View-Controller User Interface Paradigm in Smalltalk-80. Journal of Object Oriented Programming 1, 3 (August\/September 1988), pp. 26\u201349.","journal-title":"Journal of Object Oriented Programming 1"},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/52.56450","volume":"4","author":"S. P. Reiss","year":"1990","unstructured":"S.P. Reiss. Connecting Tools using Message Passing in the Field Environment. IEEE Software 7, 4 (July 1990), pp. 57\u201366.","journal-title":"IEEE Software 7"},{"key":"5_CR15","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International (1989)."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"K. Sullivan and D. Notkin. Reconciling Environment Integration and Component Independence. Proceedings of ACM SIGSOFT90: Fourth Symposium on Software Development Environments, pp. 22\u201333 (December 1990).","DOI":"10.1145\/99277.99281"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"S.M. Sutton, Jr., D. Heimbigner, & L.J. Osterweil. Language Constructs for Managing Change in Process-Centered Environments. Proceedings of ACM SIGSOFT90: Fourth Symposium on Software Development Environments, pp. 206\u2013217 (December 1990).","DOI":"10.1145\/99277.99296"}],"container-title":["Lecture Notes in Computer Science","VDM'91 Formal Software Development Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54834-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:43Z","timestamp":1605646603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54834-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540548348","9783540464495"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-54834-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}