{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:56:03Z","timestamp":1725987363615},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"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":[[1990]]},"DOI":"10.1007\/bfb0000595","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T08:48:16Z","timestamp":1128502096000},"page":"228-250","source":"Crossref","is-referenced-by-count":1,"title":["The conceptual task model: a specification technique between requirements engineering and program development (extended abstract)"],"prefix":"10.1007","author":[{"given":"S.","family":"Brinkkemper","sequence":"first","affiliation":[]},{"given":"A. H. M.","family":"ter Hofstede","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,22]]},"reference":[{"key":"17_CR1","unstructured":"Bergstra, J.A. and J.W. Klop, \"Process Algebra: specification and verification in bisimulation semantics\". In: Mathematics and Computer Science II, CWI Monograph 4, Eds. M. Hazewinkel, J.K. Lenstra and L.G.L.T. Meertens, North-Holland, 1986, pp.61\u201394."},{"key":"17_CR2","first-page":"117","volume-title":"Proceedings of the CRIS 88 conference on Computerized Assistance during the Information Systems Life Cycle","author":"S. Brinkkemper","year":"1988","unstructured":"Brinkkemper, S., N. Brand and J. Moormann, \"Deterministic Modelling Procedures for Automated Analysis and Design Tools\". In: Proceedings of the CRIS 88 conference on Computerized Assistance during the Information Systems Life Cycle, Eds. T.W. Olle, A.A. Verrijn Stuart and L. Bhabuta, Egham, England, September 1988, North-Holland, Amsterdam, pp. 117\u2013160."},{"key":"17_CR3","unstructured":"Brinkkemper, S. and A.H.M. ter Hofstede, \"The Modelling of Tasks at a Conceptual Level in Information Systems Development Methods\". In: Workshop Proceedings for the CRIS review workshop, Eds. G.M. Nijssen and S. Twine, IFIP WG 8.1 meeting, Sesimbra, Portugal, June 1989."},{"key":"17_CR4","volume-title":"Advance Working Papers, Third International Conference on Computer Aided Software Engineering","author":"S. Brinkkemper","year":"1989","unstructured":"Brinkkemper, S., \"The Essence and Support of Modelling Transparency\", Position paper. In: Advance Working Papers, Third International Conference on Computer Aided Software Engineering, Ed. J. Jenkins, Imperial College, London, UK, July 1989."},{"key":"17_CR5","unstructured":"Brodie, M.L. and E. Silva, \"Active and Passive Component Modelling: ACM\/PCM\". In: [Olle 82], pp.41\u201392."},{"key":"17_CR6","unstructured":"Falkenberg, E.D., R. van der Pols and Th.P. van der Weide, \"Understanding Process Structure Diagrams\". In: Workshop Proceedings for the CRIS review workshop, Eds. G.M. Nijssen and S. Twine, IFIP WG 8.1 meeting, Sesimbra, Protugal, June 1989."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Genrich, H. and K. Lautenbach: \"The Analysis of Distributed Systems by means of Predicate\/Transition Nets\", Semantics of Concurrent Computation. Evian 1979, Ed. G. Kahn, Lecture Notes in Computer Sciences, vol.70, Springer Verlag 1979, pp.123\u2013146.","DOI":"10.1007\/BFb0022467"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Genrich, H.: \"Predicate\/Transition Nets\". In Petri Nets: Central models and their properties, Eds. W. Brauer, W. Reisig and G. Rozenberg, L.N.C.S. nr 254, Springer Verlag 1987, pp 207\u2013247.","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"17_CR9","unstructured":"van Hee, K.M., G.J. Houben, L.J. Somers and M. Voorhoeve, \"Executable Specifications for Information Systems\", Computing Science Notes, nr. 88\/05, Department of Computing Science, Eindhoven University of Technology, March 1988."},{"key":"17_CR10","unstructured":"Jackson, M.A., \"System Development\", Prentice Hall, 1983."},{"key":"17_CR11","unstructured":"Kung, C.H. and A. S\u00f6lvberg, \"Activity Modeling and Behavior Modeling\". In: Information System Design Methodologies \u2014 Improving the Practice, Eds. Olle, T.W., H.G. Sol and A.A. Verrijn Stuart, Proceedings of the CRIS-86 conference, North Holland Publ. Co., 1986, pp. 145\u2013171."},{"key":"17_CR12","unstructured":"Lewis, H.R. and C.H. Papadimitriou, \"Elements of the theory of Computation\", Prentice Hall, 1981."},{"key":"17_CR13","volume-title":"Information Systems Development \u2014 A Systematic Approach","author":"M. Lundeberg","year":"1980","unstructured":"Lundeberg, M., G. Goldkuhl and A. Nilsson, \"Information Systems Development \u2014 A Systematic Approach\". Prentice Hall, Englewood Cliffs, 1980."},{"key":"17_CR14","volume-title":"Action Diagrams","author":"J. Martin","year":"1985","unstructured":"Martin, J. and C. McClure, \"Action Diagrams\", Prentice Hall, Englewood Cliffs, N.J., 1985."},{"key":"17_CR15","series-title":"Research Report","volume-title":"The RIDL Conceptual Language","author":"R. Meersman","year":"1982","unstructured":"Meersman, R., \"The RIDL Conceptual Language\", Research Report ICIAS, Brussels, 1982."},{"key":"17_CR16","unstructured":"Nijssen, G.M. and T.A. Halpin, \"Conceptual Schema and Relational Database Design: a Fact-Based Approach\", Prentice Hall, 1989."},{"key":"17_CR17","unstructured":"Olle, T.W., H.G. Sol and A.A. Verrijn Stuart (Eds.), \"Information System Design Methodologies \u2014 A Comparative Review\". North Holland Publ. Co., 1982."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Reisig, W., \"Petri Nets\", EATCS Monographs on Theoretical Computer Science Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"17_CR19","unstructured":"Richter, G. and R. Durchholz, \"IML-Inscribed High-Level Petri Nets\". In: [Olle 82], pp.335\u2013368."},{"key":"17_CR20","unstructured":"Rolland, C. and C. Richard, \"The REMORA Methodology for Information System Design and Management\". In: [Olle 82], pp. 369\u2013426."},{"key":"17_CR21","unstructured":"Ter Hofstede, A.H.M. and S. Brinkkemper, \"Conceptual Task Modelling\", Technical report nr. 89\u201314, Department of Information Systems, University of Nijmegen, September 1989."},{"key":"17_CR22","volume-title":"Structured Design","author":"E. Yourdon","year":"1978","unstructured":"Yourdon, E. and L. Constantine, \"Structured Design\", Yourdon Press, Englewood Cliffs, N.J., 1978."}],"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\/BFb0000595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T19:55:12Z","timestamp":1549223712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000595"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783319981765","9783319981772"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0000595","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1990]]}}}