{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:49:42Z","timestamp":1725986982115},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":[[1993]]},"DOI":"10.1007\/3-540-56777-1_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:31:08Z","timestamp":1330255868000},"page":"328-351","source":"Crossref","is-referenced-by-count":4,"title":["An abstraction-based rule approach to large-scale information systems development"],"prefix":"10.1007","author":[{"given":"Anne Helga","family":"Seitveit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"18_CR1","unstructured":"M. Alford: Strengthening the Systems\/Software Engineering Interface for Real Time Systems, Ascent Logic Corporation, 1991."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Barker et al: Expert Systems for Configuration at Digital: XCON and Beyond, Communications of the ACM, Volume 32, Number 3, March 1989.","DOI":"10.1145\/62065.62067"},{"key":"18_CR3","unstructured":"S. Berdal, S. Carlsen: PIP \u2014 Processes Interfaced through Ports, Technical Report, IDT, NTH, 1986."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"V. Berzins and M. Gray: Analysis and Design in MSG.84: Formalizing functional specifications, IEEE Trans. Softw. Eng., Aug. 1985.","DOI":"10.1109\/TSE.1985.232516"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"V. Berzins et al: Abstraction-Based Software Development, Communications of the ACM, Vol. 29, No. 5, May 1986.","DOI":"10.1145\/5689.5691"},{"key":"18_CR6","volume-title":"Modern Software Engineering Foundations and Current Perspectives","author":"V. Berzins","year":"1990","unstructured":"V. Berzins and Luqi: Languages for Specification, Design, and Prototyping, In P. A. Ng and R. T. Yeh (Eds.): Modern Software Engineering Foundations and Current Perspectives, Van Nostrand Reinhold, New York, 1990."},{"key":"18_CR7","volume-title":"BIM_PROBE Manual","author":"BIM","year":"1990","unstructured":"BIM: BIM_PROBE Manual, BIM, Belgium, June 1990."},{"key":"18_CR8","unstructured":"J. A. Bubenko: Problems and Unclear Issues with Hierarchical Business Activity and Data Flow Modelling, SYSLAB Working Paper no. 134, Stockholm, 1988."},{"key":"18_CR9","unstructured":"C. J. Date: An Introduction to Database Systems, Addison-Wesley Publishing Company Inc., 1986."},{"key":"18_CR10","unstructured":"C. Gane and T. Sarson: Structured Systems Analysis: tools and techniques, Prentice-Hall, 1979."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"S. McGinnes: How Objective is Object-Oriented Analysis?, In P. Loucopoulos (Ed.): Advanced Information Systems Engineering, 4th International Conference CAiSE'92, Manchester, U. K., 1992.","DOI":"10.1007\/BFb0035122"},{"key":"18_CR12","unstructured":"ISO\/DIS 8613: Information Processing \u2014 Text and office systems \u2014 Office Document Architecture (ODA) and interchange format, draft version, The International Standardization Organization (ISO), 1986."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"J. Krogstie, P. McBrien, R. Owens, and A. H. Seltveit: Information Systems Development Using a Combination of Process and Rule Based Approaches, In R. Andersen, J. A. Bubenko, and A. Solvberg (Eds.): Advanced Information Systems Engineering, 3rd International Conference CAiSE'91, Trondheim, Norway, 1991.","DOI":"10.1007\/3-540-54059-8_92"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Xiaofeng Li: What's So Bad About Rule-Based Programming, IEEE Software, Vol. 8, No. 5, Sept. 1991.","DOI":"10.1109\/52.84226"},{"key":"18_CR15","unstructured":"O. I. Lindland et al: PPP \u2014 An Integrated CASE Environment, In R. Andersen, J. A. Bubenko, and A. Solvberg (Eds.): Advanced Information Systems Engineering, 3rd International Conference CAiSE'91, Trondheim, Norway, 1991."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Luqi et al: Graphical tool for computer-aided prototyping, Information and Software Technology, Vol. 32, No. 3, April 1990.","DOI":"10.1016\/0950-5849(90)90178-T"},{"key":"18_CR17","unstructured":"McBrien, M. Niezette, D. Pantazis, A. H. Seltveit, U. Sundin, B. Theodoulidis, G. Tziallas, and R. Wohed: A Rule Language to Capture and Model Business Policy Specifications, In R. Andersen, J. A. Bubenko, and A. Solvberg (Eds.): Advanced Information Systems Engineering, 3rd International Conference CAiSE'91, Trondheim, Norway, 1991."},{"key":"18_CR18","unstructured":"McBrien, A. H. Seltveit, and B. Wangler: An Entity-Relationship Model Extended To Describe Historical Information, Proceedings of CISMOD'92, Bangalore, India, 1992."},{"key":"18_CR19","unstructured":"A.L. Opdahl: RAPIER \u2014 A Formal Definition of Diagrammatic Systems Specifications, M.Sc. Thesis, Dept. of Electrical Engineering and Computer Science, IDT, NTH, 1988."},{"key":"18_CR20","unstructured":"R.P. Owens: Notes on the TEMPORA Computation Model, E2469\/IC\/3.4\/7\/1, December, 1990."},{"key":"18_CR21","unstructured":"C. Parent, S. Spaccapietra: View integration: a step forward in solving structural conflicts, EPFL-Computer Sc. Dept. Lausanne, Research Report, Aug. 1990."},{"key":"18_CR22","unstructured":"U. Persson, A.H. Seltveit, B. Wangler, R. Wohed: Experience from the Sweden Post Case Study, E2469\/SISU\/T10.1\/12\/1, Nov. 1991."},{"key":"18_CR23","unstructured":"T. Pettersen, A.H. Seltveit: A Proposal for a Rule Structuring Mechanism in TEMPORA, E2469\/SINTEF\/NT1.2\/2\/1, April 1992."},{"key":"18_CR24","unstructured":"A.H. Seltveit: A Proposal for Abstraction Mechanisms in TEMPORA, E2469\/SINTEF\/NT1.5\/1\/1, Nov. 1992."},{"key":"18_CR25","unstructured":"G. Sindre: Rules and Processes in TEMPORA, E2469\/SINTEF\/T1.1\/11\/1, Oct. 1989."},{"key":"18_CR26","volume-title":"Ph. D. Thesis","author":"G. Sindre","year":"1990","unstructured":"G. Sindre: Hicons: A General Diagrammatic Framework for Hierarchical Modelling, Ph. D. Thesis, Dept. of Electrical Engineering and Computer Science, The Norwegian Institute of Technology, Trondheim, July 1990."},{"key":"18_CR27","volume-title":"A Model for Spefication of Phenomena, Properties, and Information Structures","author":"A. Solvberg","year":"1977","unstructured":"A. Solvberg: A Model for Spefication of Phenomena, Properties, and Information Structures, IBM Research Laboratory, San Jose, California, 1977."},{"key":"18_CR28","volume-title":"On the Specification of Scenarios in Information System Design","author":"A. Solvberg","year":"1977","unstructured":"A. Solvberg: On the Specification of Scenarios in Information System Design, IBM Research Laboratory, San Jose, California, 1977."},{"key":"18_CR29","unstructured":"TEMPORA: Concepts Manual, Sept. 1990."},{"key":"18_CR30","unstructured":"TEMPORA: The Sweden Post Case Study, Nov. 1991."},{"key":"18_CR31","unstructured":"TEMPORA: Concepts Manual, Sept. 1992."},{"key":"18_CR32","volume-title":"Data Models","author":"D. C. Tsichritzis","year":"1982","unstructured":"D. C. Tsichritzis and F. H. Lochovsky: Data Models, Prentice-hall, Inc., New Jersey, 1982."},{"key":"18_CR33","unstructured":"S. Weiss and M. Page-Jones: Synthesis: An Object-Oriented Analysis and Design Method, Macmillan, 1991."},{"key":"18_CR34","unstructured":"R. J. Wirfs-Brock et al: Designing Object-Oriented Software, Prentice-hall, Inc., 1990."}],"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-56777-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T11:35:38Z","timestamp":1561376138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_18","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}