{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T22:05:01Z","timestamp":1749679501591},"publisher-location":"Cham","reference-count":31,"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_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:31:48Z","timestamp":1330237908000},"page":"165-183","source":"Crossref","is-referenced-by-count":16,"title":["Validating conceptual models by transformational prototyping"],"prefix":"10.1007","author":[{"given":"Odd Ivar","family":"Lindland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Krogstie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"9_CR1","unstructured":"B.W. Boehm. Software Engineering Economics. Prentice-Hall, Inc., 1981."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"F. P. Brooks. No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer, pages 10\u201318, April 1987.","DOI":"10.1109\/MC.1987.1663532"},{"issue":"1","key":"9_CR3","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/TSE.1981.230815","volume":"7","author":"M. Broy","year":"1981","unstructured":"M. Broy and P. Pepper. Program Development as a Formal Activity. IEEE Transactions on Software Engineering, 7(1):14\u201322, January 1981.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"9_CR4","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1109\/TSE.1986.6312938","volume":"SE-12","author":"J. R. Cameron","year":"1986","unstructured":"J. R. Cameron. An Overview of JSD. IEEE Transactions on Software Engineering, SE-12(2):222\u2013240, February 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR5","unstructured":"A. M. Davis. Software Requirements: analysis and specification. Prentice-Hall, Inc., 1990."},{"issue":"5","key":"9_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/1006258.1006266","volume":"7","author":"A. M. Davis","year":"1982","unstructured":"A.M. Davis. Rapid Prototyping Using Executable Requirements Specifications. ACM SIGSOFT Software Engineering Notes, 7(5):39\u201344, December 1982.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"3","key":"9_CR7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0169-023X(87)90031-0","volume":"2","author":"F. Dignum","year":"1987","unstructured":"F. Dignum, T. Kemme, W. Kreuzen, H. Weigand, and R. P. van de Riet. Constraint modelling using a conceptual prototyping language. Data & Knowledge Engineering, 2(3):213\u2013254, September 1987.","journal-title":"Data & Knowledge Engineering"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"J.A. Gulla, O.I. Lindland, and G. Willumsen. PPP \u2014 An Integrated CASE environment. In R. Andersen, J.A Bubenko jr, and A. Solvberg, editors, Advanced Information Systems Engineering, Third International Conference \u2014 CAiSE'91, pages 194\u2013221. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54059-8_86"},{"key":"9_CR9","volume-title":"Master's thesis","author":"G. F. H\u00e5land","year":"1991","unstructured":"G.F. H\u00e5land. SIMSPEC \u2014 Simulating a PPP Specification. Master's thesis, Faculty of Electrical Engineering and Computer Science, Norwegian Institute of Technology, Trondheim, 1991."},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming, (8):231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"issue":"1","key":"9_CR11","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.108047","volume":"25","author":"D. Harel","year":"1992","unstructured":"D. Harel. Biting the Silver Bullet \u2014 Towards a Brighter Future for System Development. IEEE Computer, 25(1):8\u201320, January 1992.","journal-title":"IEEE Computer"},{"issue":"4","key":"9_CR12","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel et. al. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403\u2013414, April 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR13","volume-title":"Master's thesis","author":"J. R. Jorgensen","year":"1991","unstructured":"J.R. Jorgensen, O.T. Kogstad, and H. Nilsen. Rapid Prototyping of User Interfaces in the I-CASE Environment PPP. Master's thesis, Faculty of Electrical Engineering and Computer Science, Norwegian Institute of Technology, Trondheim, 1991."},{"key":"9_CR14","unstructured":"M.D. Konrad. Functional Prototyping with PROTO. In P.A. Ng and R.T. Yeh, editors, Modern software engineering: foundations and current perspectives, pages 378\u2013398. Van Nostrand Reinhold, 1990."},{"key":"9_CR15","volume-title":"Master's thesis","author":"J. Krogstie","year":"1991","unstructured":"J. Krogstie. Conceptual Modelling in Tempora. Master's thesis, Faculty of Electrical Engineering and Computer Science, Norwegian Institute of Technology, Trondheim, 1991."},{"key":"9_CR16","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 jr, and A. Solvberg, editors, Advanced Information Systems Engineering, Third International Conference \u2014 CAiSE'91, pages 319\u2013335. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54059-8_92"},{"issue":"2","key":"9_CR17","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0164-1212(91)90055-B","volume":"15","author":"C. Kung","year":"1991","unstructured":"C. Kung. Process Interface Modeling and Consistency Checking. The Journal of Systems and Software, 15(2):185\u2013191, May 1991.","journal-title":"The Journal of Systems and Software"},{"key":"9_CR18","unstructured":"O.I. Lindland and J. Krogstie. Transformations in CASE tools \u2014 A Compiler View. Submitted to CASE'93."},{"key":"9_CR19","unstructured":"O.I. Lindland, G. Willumsen, and J.A. Gulla. Prototyping in Transformation-Based CASE Environments. Submitted to SEKE'93."},{"key":"9_CR20","unstructured":"J. Lingat, P. Colignon, and C. Rolland. Rapid Application Prototyping \u2014 The PROQUEL Language. In F. Bancilhon and D.J. DeWitt, editors, Proceedings of the fourteenth international conference on very large data bases, pages 206\u2013217, 1988."},{"key":"9_CR21","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1111\/j.1365-2575.1991.tb00032.x","volume":"1","author":"P. Loucopoulos","year":"1991","unstructured":"P. Loucopoulos et. al. Integrating database technology, rule-based systems and temporal reasoning for effective information systems: the TEMPORA paradigm. Journal of Information Systems, 1:129\u2013152, 1991.","journal-title":"Journal of Information Systems"},{"key":"9_CR22","unstructured":"M. D. Lubars. A General Design Representation. Technical Report STP-066-89, Microelectronics and computer technology corporation (MCC), 1989."},{"key":"9_CR23","unstructured":"A.L. Opdahl. RAPIER \u2014 A Formal Definition of Diagrammatic Systems Specification. Technical Report DAISEE Working Paper No. 88, Faculty of Electrical Engineering and Computer Science, Norwegian Institute of Technology, 1988."},{"key":"9_CR24","unstructured":"R.P. Owens and P. McBrien. TEQUEL: The TEMPORA Execution Language. Technical Report E2469\/IC\/3.1\/2\/3, Imperial College, 1990."},{"issue":"3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/62061.62062","volume":"20","author":"J. Peckham","year":"1988","unstructured":"J. Peckham and F. Maryanski. Semantic Data Models. ACM Computing Surveys, 20(3):153\u2013190, September 1988.","journal-title":"ACM Computing Surveys"},{"key":"9_CR26","unstructured":"A. Solvberg. A contribution to the definition of concepts for expressing user's information systems requirements. \u201cEntity-Relationship Approach to Systems Analysis and Design\u201d, N. H. Publ. Comp., 1980."},{"key":"9_CR27","volume-title":"Technical report","author":"TEMPORA","year":"1992","unstructured":"TEMPORA. Project Manual \u2014 Esprit Project 2469. Technical report, BIM, Belgium, 1992."},{"key":"9_CR28","volume-title":"Technical report","author":"TEMPORA-Esprit Project 2469","year":"1991","unstructured":"TEMPORA-Esprit Project 2469. The Sweden Post Case Study. Technical report, BIM, Belgium, November 1991."},{"issue":"2","key":"9_CR29","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/52.120599","volume":"9","author":"I. Thomas","year":"1992","unstructured":"I. Thomas and B.A. Nejmeh. Definitions of Tool Integration for Environments. IEEE Software, 9(2):29\u201335, March 1992.","journal-title":"IEEE Software"},{"issue":"4","key":"9_CR30","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/58418.58420","volume":"13","author":"L. L. Tripp","year":"1988","unstructured":"L. L. Tripp. A Survey of Graphical Notations for Program Design \u2014 An Update. ACM SIGSOFT Software Engineering Notes, 13(4):39\u201344, October 1988.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"2","key":"9_CR31","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"SE-12","author":"Paul T. T. Ward","year":"1986","unstructured":"Paul T. Ward. The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing. IEEE Transactions on Software Engineering, SE-12(2):198\u2013210, February 1986.","journal-title":"IEEE Transactions on Software Engineering"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T00:53:49Z","timestamp":1593737629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_9","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}