{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:57:41Z","timestamp":1725987461886},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47961-9_13","type":"book-chapter","created":{"date-parts":[[2007,5,18]],"date-time":"2007-05-18T16:52:45Z","timestamp":1179507165000},"page":"151-166","source":"Crossref","is-referenced-by-count":2,"title":["Supporting the Deployment of Object-Oriented Frameworks"],"prefix":"10.1007","author":[{"given":"Daqing","family":"Hou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. James","family":"Hoover","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleni","family":"Stroulia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"R. Anderson, P. Beame, S. Burns, W. Chan, F. Modugno, D. Notkin, and J. Reese. Model Checking Large Software Specifications, Software Engineering Notes, 21(6):156\u2013166, November 1996.","DOI":"10.1145\/250707.239127"},{"issue":"1","key":"13_CR2","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/32.210305","volume":"19","author":"J. Atlee","year":"1993","unstructured":"J. Atlee, J. Gannon. State-based Model Checking of Event-driven System Requirements, IEEE Transactions on Software Engineering, 19(1):24\u201340, June 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"A. Birrer, T. Eggenschwiler. Frameworks in the Financial Engineering Domain: An Experience Report, Proceedings of ECOOP 93, 1993.","DOI":"10.1007\/3-540-47910-4_3"},{"key":"13_CR4","unstructured":"J. Bosch, P. Molin, M. Mattsson and P. Bengtsson. Obstacles in Object-Oriented Framework-based Software Development, ACM Computing Surveys Symposia on Object-Oriented Application Frameworks, 1998."},{"key":"13_CR5","unstructured":"P. DiLascia. Meandering Through the Maze of MFC Message and Command Routing, Microsoft System Journal, July 1995. Available at http:\/\/www.microsoft.com\/msj\/0795\/dilascia\/dilascia.htm"},{"key":"13_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-63531-9_18","volume-title":"Proceedings of the 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"M. Dwyer","year":"1997","unstructured":"M. Dwyer, V. Carr, and L. Hines. Model Checking Graphical User Interfaces Using Abstractions, In LNCS 1301, pages 244\u2013261. Proceedings of the 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 1997."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"G. Froehlich, H. J. Hoover, L. Liu, P. G. Sorenson. Hooking into Object-Oriented Application Frameworks, Proceedings of the 1997 International Conference on Software Engineering, Boston, Mass., May 17\u201323, 1997.","DOI":"10.1145\/253228.253432"},{"key":"13_CR8","unstructured":"E. Gamma, R. Helm, R. E. Johnson, J. O. Vlissides. Design Patterns-Elements of Reusable Object-Oriented Software, Addison Wesley, 1994."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"D. Garlan, R. Allen, J. Ockerbloom. Architectural Mismatch or Why it is so hard to build systems out of existing parts, Proceedings of the 17th International Conference on Software Engineering, April 1995.","DOI":"10.1145\/225014.225031"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"R. Helm, I. M. Holland, D. Gangopadhyay. Contracts: Specifying behavioral Compositions in Object-Oriented Systems, Proceedings of ECOOP\/OOPSLA 90, Ottawa, Canada, 1990.","DOI":"10.1145\/97945.97967"},{"key":"13_CR11","volume-title":"Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"G. Holzmann. Design and Validation of Computer Protocols, Prentice Hall, Engle-wood Cliffs, NJ, 1991."},{"key":"13_CR12","series-title":"Lect Notes Comput Sci","volume-title":"The 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"G. Naumovich","year":"1997","unstructured":"G. Naumovich, G. Avrunin, L. Clarke, and L. Osterweil. Applying Static Analysis to Software Architectures. In LNCS 1301. The 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 1997."},{"key":"13_CR13","unstructured":"O. Nierstrasz. Regular Types for Active Objects, Object-Oriented Software Composition, O. Nierstrasz and D. Tsichritzis eds, Prentice Hall, 1995, pp. 99\u2013121."},{"key":"13_CR14","unstructured":"W. Pree. Design Patterns for Object-Oriented Software Development, AddisonWesley, 1995."},{"key":"13_CR15","unstructured":"G. Shepherd, S. Wingo. MFC Internals: Inside the Microsoft Foundation Class Architecture, Addison Wesley, 1996."},{"key":"13_CR16","volume-title":"Designing Object-Oriented Software","author":"R. J. Wirfs-Brock","year":"1990","unstructured":"R. J. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software, Prentice Hall, Englewood Cliffs, NJ, 1990."},{"key":"13_CR17","unstructured":"Microsoft Developer Network. Available at < http:\/\/www.msdn.microsoft.com >"},{"key":"13_CR18","unstructured":"Promela Model for the Observer Pattern. Available at < http:\/\/www.cs.ualberta.ca\/~daqing\/frameworks\/so >"},{"key":"13_CR19","unstructured":"The Client Server Framework Web Site. Available at < http:\/\/www.cs.ualberta.ca\/~garry\/framework >"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47961-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T04:46:18Z","timestamp":1556426778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47961-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783319981765","9783319981772"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-47961-9_13","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2002]]}}}