{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:36Z","timestamp":1725487656280},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657651"},{"type":"electronic","value":"9783540489580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_6","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T22:11:42Z","timestamp":1185142302000},"page":"101-123","source":"Crossref","is-referenced-by-count":8,"title":["OOD Frameworks in Component-Based Software - Development in Computational Logic"],"prefix":"10.1007","author":[{"given":"Kung-Kiu","family":"Lau","sequence":"first","affiliation":[]},{"given":"Mario","family":"Ornaghi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"issue":"2","key":"6_CR2","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-1983-6202","volume":"VI","author":"A. Bertoni","year":"1983","unstructured":"A. Bertoni, G. Mauri, and P. Miglioli. On the power of model theory in specifying abstract data types and in capturing their recursiveness. Fundamenta Informaticae VI(2):127\u2013170, 1983.","journal-title":"Fundamenta Informaticae"},{"issue":"10","key":"6_CR3","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1109\/32.469459","volume":"21","author":"R.H. Bourdeau","year":"1995","unstructured":"R.H. Bourdeau and B.H.C. Cheng. A formal semantics for object model diagrams. IEEE Trans. Soft. Eng., 21(10):799\u2013821, 1995.","journal-title":"IEEE Trans. Soft. Eng"},{"key":"6_CR4","unstructured":"D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice-Hall, 1994."},{"key":"6_CR5","unstructured":"S. Cook and J. Daniels. Designing Object Systems. Prentice-Hall, 1994."},{"key":"6_CR6","unstructured":"D.F. D\u2019Souza and A.C. Wills. Extending Fusion: practical rigor and refinement. In R. Malan et al, editors, Object-Oriented Development at Work. Prentice-Hall 1996."},{"key":"6_CR7","unstructured":"D.F. D\u2019Souza and A.C. Wills. Catalysis: Components, Objects and Frameworks in UML. Addison-Wesley, October 1998. Draft available at http:\/\/www.trireme.com\/catalysis\/book ."},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J.L. Fiadeiro","year":"1997","unstructured":"J.L. Fiadeiro and T. Maibaum. Categorical semantics of parallel program design. Science of Computer Programming 28:111\u2013138, 1997.","journal-title":"Science of Computer Programming"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"R.B. France, J.-M. Bruel, M. Larrondo-Petrie, E. Grant, and M. Saksena. Towards a rigorous object-oriented analysis and design method. Proc. 1st IEEE Int. Conf. on Formal Engineering Methods, pages 7\u201316, IEEE Computer Society, 1997.","DOI":"10.1109\/ICFEM.1997.630392"},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/978-3-540-49524-6_22","volume-title":"Proc. 17th Int. Conference on Conceptual Modeling","author":"A. Grau","year":"1998","unstructured":"A. Grau, J. K\u00fcster Filipe, M. Kowsari, S. Eckstein, R. Pinger and H.-D. Ehrich. The TROLL approach to conceptual modelling: syntax, semantics and tools. In T.W. Ling, S. Ram and M.L. Leebook, editors, Proc. 17th Int. Conference on Conceptual Modeling, LNCS 1507:277\u2013290, Springer, 1998."},{"key":"6_CR11","unstructured":"Y. Gurevich, Evolving Algebras 1993: Lipari Guide. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201336, Oxford University Press, 1995."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"J.V. Guttag and J.J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"R. Helm, I.M. Holland, and D. Gangopadhay. Contracts-Specifying behavioural compositions in OO systems. Sigplan Notices 25(10) (Proc. ECOOP\/OOPSLA 90).","DOI":"10.1145\/97946.97967"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"C. Kreitz, K.-K. Lau, and M. Ornaghi. Formal reasoning about modules, reuse and their correctness. In D.M. Gabbay and H.J. Ohlbach, editors, Proc. Int. Conf. on Formal and Applied Practical Reasoning, LNAI 1085:384\u2013399, Springer-Verlag 1996.","DOI":"10.1007\/3-540-61313-7_88"},{"key":"6_CR15","unstructured":"J. K\u00fcster Filipe. Using a modular distributed temporal logic for in-the-large object specification. In A. Brogi and P. Hill, editors, Proc. 1st Int. Workshop on Component-based Software Development in Computational Logic, pages 43\u201357, September 1998, Pisa, Italy."},{"key":"6_CR16","unstructured":"K.-K. Lau, S. Liu, M. Ornaghi, and A. Wills. Interacting Frameworks in Catalysis. To appear in Proc. 2nd IEEE Int. Conf. on Formal Engineering Methods, 9\u201311 December 1998, Brisbane, Australia."},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/3-540-58792-6_7","volume-title":"Proc. LOPSTR 94 and META 94","author":"K.-K. Lau","year":"1994","unstructured":"K.-K. Lau and M. Ornaghi. On specification frameworks and deductive synthesis of logic programs. In L. Fribourg and F. Turini, editors, Proc. LOPSTR 94 and META 94, Lecture Notes in Computer Science 883, pages 104\u2013121, Springer-Verlag, 1994."},{"key":"6_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-60939-3_11","volume-title":"Proc. LOPSTR 95","author":"K.-K. Lau","year":"1996","unstructured":"K.-K. Lau and M. Ornaghi. Towards an object-oriented methodology for deductive synthesis of logic programs. In M. Proietti, editor, Proc. LOPSTR 95, LNCS 1048:152\u2013169, Springer-Verlag, 1996."},{"key":"6_CR19","unstructured":"K.-K. Lau and M. Ornaghi. A formal approach to deductive synthesis of constraint logic programs. In J.W. Lloyd, editor, Proc. 1995 Int. Logic Programming Symp., pages 543\u2013557, MIT Press, 1995."},{"key":"6_CR20","unstructured":"K.-K. Lau and M. Ornaghi, Isoinitial Models for Logic Programs: A Preliminary Study, in J.L. Freire-Nistal, M. Falaschi, and M. Vilares-Ferro, editors, Proceedings of the 1998 Joint Conference on Declarative Programming, pages 443\u2013455, A Coru\u00f1a, Spain, July 1998."},{"key":"6_CR21","unstructured":"K.-K. Lau and M. Ornaghi. On specification and correctness of OOD frameworks in computational logic. In A. Brogi and P. Hill, editors, Proc. 1st Int. Workshop on Component-based Software Development in Computational Logic, pages 59\u201375, September 1998, Pisa, Italy."},{"key":"6_CR22","unstructured":"K.-K. Lau, M. Ornaghi, and S.-\u00c5. T\u00e4rnlund. Steadfast logic programs. To appear in J. Logic Programming."},{"key":"6_CR23","unstructured":"K.-K. Lau, M. Ornaghi, and A. Wills. Frameworks in Catalysis: Pictorial Notation and Formal Semantics. Proc. 1st IEEE Int. Conf. on Formal Engineering Methods, pages 213\u2013220, IEEE Computer Society, 1997."},{"key":"6_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BFb0030588","volume-title":"Proc. TAPSOFT 97","author":"T. Maibaum","year":"1997","unstructured":"T. Maibaum. Conservative extensions, interpretations between theories and all that! In Proc. TAPSOFT 97, LNCS 1214:40\u201366, Springer Verlag, 1997."},{"issue":"9","key":"6_CR25","first-page":"10","volume":"21","author":"R. Mauth","year":"1996","unstructured":"R. Mauth. A better foundation: development frameworks let you build an application with reusable objects. BYTE 21(9):40IS 10\u201313, September 1996.","journal-title":"BYTE"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1006\/jsco.1994.1036","volume":"18","author":"P. Miglioli","year":"1994","unstructured":"P. Miglioli, U. Moscato and M. Ornaghi. Abstract parametric classes and abstract data types defined by classical and constructive logical methods. J. Symb. Comp. 18:41\u201381, 1994.","journal-title":"J. Symb. Comp"},{"key":"6_CR27","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Sorenson. Object-Oriented Modeling and Design. Prentice-Hall, 1991."},{"key":"6_CR28","unstructured":"J.M. Spivey. The Z Notation. Prentice Hall, 2nd edition, 1992."},{"key":"6_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-60117-1_22","volume-title":"Proc. MCP 95","author":"Y.V. Srinvas","year":"1995","unstructured":"Y.V. Srinvas and R. J\u00fcllig Specware: Formal support for composing software. In Proc. MCP 95, LNCS 947:399\u2013422, Springer Verlag, 1995."},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 675\u2013788. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48958-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T03:37:20Z","timestamp":1629430640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}