{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:17Z","timestamp":1725561257259},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_8","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:53:55Z","timestamp":1280379235000},"page":"103-108","source":"Crossref","is-referenced-by-count":0,"title":["Component-Based Software Development and Logic Programming"],"prefix":"10.1007","author":[{"given":"Kung-Kiu","family":"Lau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"BEA Systems et al. CORBA Components. Technical Report orbos\/99-02-05, Object Management Group (1999)"},{"key":"8_CR2","volume-title":"Essential COM","author":"D. Box","year":"1998","unstructured":"Box, D.: Essential COM. Addison-Wesley, Reading (1998)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Brown, A.W., Wallnau, K.C.: The current state of CBSE. IEEE Software, 37\u201346 (September\/October 1998)","DOI":"10.1109\/52.714622"},{"key":"8_CR4","volume-title":"UML Components: A Simple Process for Specifying Component-based Software","author":"J. Cheesman","year":"2001","unstructured":"Cheesman, J., Daniels, J.: UML Components: A Simple Process for Specifying Component-based Software. Addison-Wesley, Reading (2001)"},{"key":"8_CR5","unstructured":"The Ciao Prolog Development System, \n                    \n                      http:\/\/clip.dia.fi.upm.es\/Software\/Ciao\/"},{"key":"8_CR6","unstructured":"COM web page, \n                    \n                      http:\/\/www.microsoft.com\/com\/"},{"key":"8_CR7","unstructured":"CORBA FAQ web page, \n                    \n                      http:\/\/www.omg.org\/gettingstarted\/corbafaq.htm"},{"key":"8_CR8","volume-title":"Objects, Components, and Frameworks with UML: The Catalysis Approach","author":"D.F. D\u2019Souza","year":"1999","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)"},{"key":"8_CR9","unstructured":"EJB web page, \n                    \n                      http:\/\/java.sun.com\/products\/ejb\/"},{"volume-title":"Component-Based Software Engineering: Putting the Pieces Together","year":"2001","key":"8_CR10","unstructured":"Heineman, G.T., Councill, W.T. (eds.): Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, Reading (2001)"},{"key":"8_CR11","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)"},{"key":"8_CR12","unstructured":"Lau, K.-K.: A priori reasoning for component-based software development. In: Carro, M., Vaucheret, C., Lau, K.-K. (eds.) Proc. 1st CoLogNET Workshop on Component-based Software Development and Implementation Technology fo Computational Logic Systems, pp. 5\u201319. Technical Report CLIP4\/02.0, School of Computer Science, Technical University of Madrid (2002)"},{"key":"8_CR13","unstructured":"Lau, K.-K.: The role of logic programming in next-generation component-based software development. In: Gupta, G., Ramakrishnan, I.V. (eds.) Proc. Workshop on Logic Programming and Software Enginering, London, UK (July 2000)"},{"key":"8_CR14","unstructured":"Lau, K.-K.: Some ingredients of trusted components. In: Proc. Workshop on Trusted Components, Prato, Italy, pp. 1\u20135 (January 2003)"},{"key":"8_CR15","first-page":"80","volume-title":"Proc. 4th ICSE Workshop on Component-based Software Engineering","author":"K.-K. Lau","year":"2001","unstructured":"Lau, K.-K.: Component certification and system prediction: Is there a role for formality? In: Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K. (eds.) Proc. 4th ICSE Workshop on Component-based Software Engineering, pp. 80\u201383. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"8_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/3-540-45628-7_14","volume-title":"Computational Logic: Logic Programming and Beyond","author":"K.-K. Lau","year":"2002","unstructured":"Lau, K.-K., Ornaghi, M.: Logic for component-based software development. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 347\u2013373. Springer, Heidelberg (2002)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/3-540-45619-8_30","volume-title":"Logic Programming","author":"K.-K. Lau","year":"2002","unstructured":"Lau, K.-K., Vanden Bossche, M.: Logic programming for software engineering: A second chance. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 437\u2013451. Springer, Heidelberg (2002)"},{"key":"8_CR18","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"8_CR19","unstructured":"Microsoft .NET web page, \n                    \n                      http:\/\/www.microsoft.com\/net\/"},{"key":"8_CR20","unstructured":"Object Management Group. The Common Object Request Broker: Architecture and specification Revision 2.2 (February 1998)"},{"key":"8_CR21","unstructured":"OMG Model Driven Architecture, \n                    \n                      http:\/\/www.omg.org\/mda\/"},{"key":"8_CR22","volume-title":"Introducing Microsoft .NET","author":"D.S. Platt","year":"2003","unstructured":"Platt, D.S.: Introducing Microsoft .NET, 3rd edn. Microsoft Press, Redmond (2003)","edition":"3"},{"key":"8_CR23","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)"},{"key":"8_CR24","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: Mercury \u2013 an efficient, purely declarative logic programming language. In: Proc. Australian Computer Science Comference, pp. 499\u2013512 (1995)"},{"key":"8_CR25","unstructured":"Sun Microsystems. Enterprise JavaBeans Specification. Version 2.0 (2001)"},{"key":"8_CR26","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"8_CR27","unstructured":"Introduction to OMG UML, \n                    \n                      http:\/\/www.omg.org\/gettingstarted\/what_is_uml.htm"},{"key":"8_CR28","volume-title":"Building Systems from Commercial Components","author":"K. Wallnau","year":"2001","unstructured":"Wallnau, K., Hissam, S., Seacord, R.: Building Systems from Commercial Components. Addison-Wesley, Reading (2001)"},{"key":"8_CR29","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1999)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T11:02:42Z","timestamp":1552820562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}