{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:29:03Z","timestamp":1725492543998},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540440888"},{"type":"electronic","value":"9783540461050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46105-1_29","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:11:26Z","timestamp":1191935486000},"page":"245-259","source":"Crossref","is-referenced-by-count":1,"title":["Systems Engineering Foundations of Software Systems Integration"],"prefix":"10.1007","author":[{"given":"Peter","family":"Denno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allison Barnard","family":"Feeney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D., \u201cA Formal Basis for Architectural Connection,\u201d ACM Transactions on Software Engineering and Methodology. July, 1997. 248, 256","DOI":"10.1145\/258077.258078"},{"key":"29_CR2","unstructured":"American Institute of Aeronautics and Astronautics, AIAA Guide for the Verification and Validation of Computational Fluid Dynamics Simulations (G-077-1998), AIAA Standards Series, 1998. 258"},{"key":"29_CR3","unstructured":"Barkmeyer, E. J., (Editor). Concepts for Automating Systems Integration, NIST Interagency Report, National Institute of Standards and Technology, Gaithersburg, Maryland, To be published. 246, 250"},{"key":"29_CR4","series-title":"Lect Notes Comput Sci","volume-title":"UML 2000-The Unified Modeling Language: Advancing the Standard","author":"S. Cook","year":"2000","unstructured":"Cook, S., \u201cThe UML Family: Profiles, Prefaces and Packages\u201d UML 2000-The Unified Modeling Language: Advancing the Standard, Proceedings of the Third International Conference, York, UK, Springer Lecture Notes in Computer Science, Vol 1939, October 2000. 255"},{"key":"29_CR5","volume-title":"Formal Specification of Advanced AI Architectures","author":"I. D. Craig","year":"1991","unstructured":"Craig, I. D., Formal Specification of Advanced AI Architectures, Ellis Horwood Limited, Chichester, West Sussex, 1991. 254"},{"issue":"2","key":"29_CR6","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J., \u201cAn Assumption-Based TMS,\u201d Artificial Intelligence 28(2): 127\u2013162, 1986. 254","journal-title":"Artificial Intelligence"},{"issue":"1","key":"29_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0004-3702(93)90171-7","volume":"59","author":"J. Kleer de","year":"1993","unstructured":"de Kleer, J., \u201cA Perspective on Assumption-Based Truth Maintenance,\u201d Artificial Intelligence 59(1\u20132): 63\u201367, 1993. 254","journal-title":"Artificial Intelligence"},{"key":"29_CR8","unstructured":"Denno, P., Flater, D., Gruninger, M., \u201cModeling Technology for a Model-Intensive Enterprise,\u201d Proceedings of SSGRR-2001, Infrastructure for e-Business, e-Education, e-Science, and e-Medicine, Scuola Superiore G. Reiss Romoli, L\u2019Aquila, Italy, July, 2001. 246, 254"},{"key":"29_CR9","volume-title":"CIMOSA: Open System Architecture for CIM","year":"1993","unstructured":"Esprit Consortium AMICE (editors), CIMOSA: Open System Architecture for CIM, 2nd revised and extended edition, Springer-Verlag, Berlin, 1993. 256","edition":"2nd revised and"},{"key":"29_CR10","unstructured":"Gabb, A., \u201cRequirements Categorization,\u201d Requirements Working Group of the International Council on Systems Engineering (INCOSE), 2002. 251"},{"key":"29_CR11","volume-title":"System Integration","author":"J. O. Grady","year":"1994","unstructured":"Grady, J. O., System Integration, CRC Press, Boca Raton, Florida, 1994. 251"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Harel, D., \u201cStatecharts: a visual formalism for complex systems\u201d. Science of Computer Programming 8, 3, June 1987. 256","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Johnson, W. L., Feather, M. S., and Harris, D. R., \u201cRepresentation and Presentation of Requirements Knowledge,\u201d IEEE Transactions on Software Engineering, Vol 18, No. 10. October, 1992. 255, 257","DOI":"10.1109\/32.163603"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Mark, W., et al., \u201cCommitment-Based Software Development,\u201d IEEE Transactions on Software Engineering, Vol 18, No. 10. October, 1992. 248","DOI":"10.1109\/32.163604"},{"key":"29_CR15","volume-title":"The Society of Mind","author":"M. Minsky","year":"1985","unstructured":"Minsky, M., The Society of Mind, Simon & Schuster, New York, New York, 1985. 251"},{"key":"29_CR16","unstructured":"Object Management Group, Model Driven Architecture (MDA), http:\/\/www.omg.org\/cgi-bin\/doc?ormsc\/2001-07-01 , July 1, 2001. 256"},{"key":"29_CR17","unstructured":"Object Management Group, Meta Object Facility (MOF) Specification, Version 1.3: ftp:\/\/ftp.omg.org\/pub\/docs\/ formal\/00-04-03 March, 2000. 255"},{"key":"29_CR18","unstructured":"Object Management Group, Request For Proposal: UML 2.0 Infrastructure, ftp:\/\/ftp.omg.org\/pub\/docs\/ad\/2000-09-01 , September, 2000. 256"},{"key":"29_CR19","unstructured":"Oliver, D. O., Personal communications. 252"},{"key":"29_CR20","unstructured":"Oliver, D. O., Kelliher, T. P., and Keegan, G. J., Engineering Complex Systems With Models and Objects, McGraw Hill Text, 1997. 256"},{"key":"29_CR21","doi-asserted-by":"crossref","unstructured":"Preece, A., et al. \u201cBetter Knowledge Management through Knowledge Engineering,\u201d IEEE Intelligent Systems 16:1, Jan-Feb, 2001. 255, 257","DOI":"10.1109\/5254.912383"},{"key":"29_CR22","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctv1c5cx5c","volume-title":"From a Logical Point of View","author":"W. V. Quine","year":"1980","unstructured":"Quine, W. V., From a Logical Point of View, second edition, Harvard University Press, Cambridge Massachusetts, 1980. 250","edition":"second edition"},{"key":"29_CR23","volume-title":"The Sciences of the Artificial","author":"H. A. Simon","year":"1996","unstructured":"Simon, H. A., The Sciences of the Artificial, Third Edition, The MIT Press, Cambridge, Massachusetts, 1996. 252","edition":"Third Edition"},{"key":"29_CR24","volume-title":"The Z Notation: A Reference Manual","author":"J. M. Spivey","year":"1989","unstructured":"Spivey, J. M., The Z Notation: A Reference Manual, Prentice-Hall, London, 1989. 255"},{"key":"29_CR25","unstructured":"Thomas, L. D., \u201cSystem Engineering the International Space Station,\u201d NASA Langley Research Center, International Space Station Video Conference\u2019 97, 1997. 251"},{"key":"29_CR26","doi-asserted-by":"crossref","unstructured":"Wiederhold, G., \u201cMediators in the Architecture of Future Information Systems,\u201d IEEE Computer Magazine, March, 1992. 256","DOI":"10.1109\/2.121508"},{"key":"29_CR27","doi-asserted-by":"crossref","unstructured":"Zave, P., Jackson, M.: \u201cFour Dark Corners in Requirements Engineering,\u201d ACM Transactions on Software Engineering and Methodology, Vol 6, No. 1, January 1997. 248, 251, 255","DOI":"10.1145\/237432.237434"},{"key":"29_CR28","doi-asserted-by":"crossref","unstructured":"Zave, P., Jackson, M.: \u201cConjunction as Composition,\u201d ACM Transactions on Software Engineering and Methodology, Vol 2, No. 4, October, 1993. 255, 257","DOI":"10.1145\/158431.158438"}],"container-title":["Lecture Notes in Computer Science","Advances in Object-Oriented Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46105-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T10:42:43Z","timestamp":1684060963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46105-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440888","9783540461050"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-46105-1_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}