{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T07:35:09Z","timestamp":1672385709928},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1993,5]]},"DOI":"10.1007\/bf01088587","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T18:13:53Z","timestamp":1107540833000},"page":"173-195","source":"Crossref","is-referenced-by-count":13,"title":["Graphical animation as a form of prototyping real-time software systems"],"prefix":"10.1007","volume":"5","author":[{"given":"P.","family":"Pulli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Heikkinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Lintulampi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"CR1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/358080.358095","volume":"27","author":"M. Alavi","year":"1984","unstructured":"Alavi, M. 1984. An assessment of prototyping approach to information systems development.Communication of the ACM, 27(6): 91?98.","journal-title":"Communication of the ACM"},{"key":"CR2","unstructured":"Athena Systems. 1989. Foresight: Modeling and Simulation Toolset for Real-Time System Development, User's Manual. Athena Systems Inc."},{"issue":"4","key":"CR3","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1005950.1005953","volume":"7","author":"B. Blum","year":"1982","unstructured":"Blum, B. 1982. The life cycle?A debate over alternate models.ACM Sigsoft Software Engineering Notes, 7(4): 18?20.","journal-title":"ACM Sigsoft Software Engineering Notes"},{"issue":"3","key":"CR4","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/51696.51702","volume":"13","author":"R. Blumofe","year":"1989","unstructured":"Blumofe, R. and Hecht, A. 1989. Executing real-time structured analysis specifications.ACM Sigsoft Software Engineering Notes, 13(3): 32?40.","journal-title":"ACM Sigsoft Software Engineering Notes"},{"issue":"3","key":"CR5","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/TSE.1984.5010238","volume":"10","author":"B. Boehm","year":"1984","unstructured":"Boehm, B., Gray, T., and Seewalt, T. (1984). Prototyping versus specifying: A multiproject experiment.IEEE Transactions on Software Engineering, 10(3): 290?302.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"CR6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"B. Boehm","year":"1988","unstructured":"Boehm, B. 1988. A spiral model of software development and enhancement.IEEE Computer, 21(5): 61?72.","journal-title":"IEEE Computer"},{"issue":"4","key":"CR7","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks Jr.","year":"1987","unstructured":"Brooks, F.P. Jr. 1987. No silver bullet: Essence and accidents of software engineering.IEEE Computer, 20(4): 10?19.","journal-title":"IEEE Computer"},{"key":"CR8","unstructured":"Cadre Technologies. 1990. Teamwork\/SIM. User's Guide. Release 4.0. Cadre Technologies, Inc., Part Number D048XX4A."},{"issue":"9","key":"CR9","first-page":"1","volume":"19","author":"R. Canning","year":"1981","unstructured":"Canning, R. 1981. Developing systems by prototyping,EDP Analyzer, 19(9): 1?14.","journal-title":"EDP Analyzer"},{"issue":"12","key":"CR10","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/29934.29938","volume":"7","author":"J. D\u00e4hler","year":"1987","unstructured":"D\u00e4hler, J., Gerber, B., Gisinger, H.-P., and K\u00fcndig, A. 1987. A graphical tool for the design and prototyping of distributed systems.ACM Software Engineer Notes, 7(12): 25?36.","journal-title":"ACM Software Engineer Notes"},{"key":"CR11","first-page":"13","volume-title":"ENVISAGER: A visual, object-oriented specification environment for Real-Time Systems","author":"J.P. Diaz-Gonzales","year":"1987","unstructured":"Diaz-Gonzales, J.P. and Urban, J.E. 1987. ENVISAGER: A visual, object-oriented specification environment for Real-Time Systems.Proceedings of the Fourth International Workshop on Software Specification and Design, Monterey, CA. Washington, D.C.: IEEE Computer Society Press, pp. 13?20."},{"issue":"2\/3","key":"CR12","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF01088591","volume":"5","author":"R. Elmstr\u00f8m","year":"1993","unstructured":"Elmstr\u00f8m, R., Lintulampi, R. and Pezz\u00e9, M. 1993. Giving semantics to SA\/RT by means of high-level timed Petri nets.Real-Time Systems, 5(2\/3): 249?271.","journal-title":"Real-Time Systems"},{"issue":"2\/3","key":"CR13","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01088588","volume":"5","author":"R. Elmstr\u00f8m","year":"1993","unstructured":"Elmstr\u00f8m, R., Lassen, P.B., and Andersen, M. 1993. An executable subset of VDM-SL, in an SA\/RT framework.Real-Time Systems, 5(2\/3): 197?211.","journal-title":"Real-Time Systems"},{"issue":"2\/3","key":"CR14","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF01088590","volume":"5","author":"M. Felder","year":"1993","unstructured":"Felder, M., Ghezzi, C., and Pezz\u00e9, M. 1993. High-level timed Petri nets as a kernel for executable specification.Real-Time Systems, 5(2\/3): 235?248.","journal-title":"Real-Time Systems"},{"key":"CR15","first-page":"1","volume-title":"Approaches to Prototyping","author":"C. Floyd","year":"1984","unstructured":"Floyd, C. 1984. A systematic look at prototyping. In (Budde, R., Kuhlenkamp, K., Mathiassen, L., and Z\u00fcllinghoven, H. eds.),Approaches to Prototyping, Berlin: Springer-Verlag, pp. 1?18."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Gabriel, R.P. (editor). 1989. Draft report on requirements for a common prototyping system.ACM Sigplan Notices, 24(3): 93?165.","DOI":"10.1145\/66083.66092"},{"issue":"2","key":"CR17","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"G. Ghezzi","year":"1991","unstructured":"Ghezzi, G., Mandrioli, D., Morasca, S., and Pezz\u00e9, M. 1991. A unified high-level Petri net model for time-critical systems.IEEE Transactions on Software Engineering 17(2): 160?172.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR18","first-page":"333","volume-title":"Prototyping as a tool in the specification of user requirements","author":"H. Gomaa","year":"1981","unstructured":"Gomaa, H. and Scott, D. 1981. Prototyping as a tool in the specification of user requirements.Proceedings of the 5th International Conference on Software Engineering, San Diego, California. Washington, DC: IEEE Computer Society Press, pp. 333?342."},{"issue":"2","key":"CR19","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0164-1212(89)90012-5","volume":"9","author":"H. Gomaa","year":"1989","unstructured":"Gomaa, H. 1989. A software design method for distributed real-time applications.The Journal of Systems and Software, 9(2): 81?94.","journal-title":"The Journal of Systems and Software"},{"issue":"3","key":"CR20","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D. 1987. StateCharts: A visual formalism for complex systems.Science of Computer Programming, 8(3): 231?274.","journal-title":"Science of Computer Programming"},{"issue":"4","key":"CR21","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., and Trakhtenbrot, M. 1990. STATEMATE: A working environment for the development of complex reactive systems.IEEE Transactions on Software Engineering, 16(4): 403?414.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"CR22","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.108047","volume":"25","author":"D. Harel","year":"1992","unstructured":"Harel, D. 1992. Biting the silver bullet?Towards a brighter future for system development.IEEE Computer, 25(1): 8?20.","journal-title":"IEEE Computer"},{"key":"CR23","volume-title":"Strategies for Real-Time System Specification","author":"D.J. Hatley","year":"1987","unstructured":"Hatley, D.J. and Pirbhai, I.A. 1987.Strategies for Real-Time System Specification. New York: Dorset House."},{"key":"CR24","volume-title":"Software Prototyping, Formal Methods and VDM","author":"S. Hekmatpour","year":"1988","unstructured":"Hekmatpour, S. and Ince, D. 1988.Software Prototyping, Formal Methods and VDM. Reading, MA: Addison-Wesley."},{"issue":"2\/3","key":"CR25","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF01088586","volume":"5","author":"G. Le\u00f3n","year":"1993","unstructured":"Le\u00f3n, G., de la Puente, J.A., Due\u00f1as, J.C., Alonso, A., and Zakhama, N. 1993. The IPTES environment: Support for incremental, heterogeneous and distributed prototyping.Real-Time Systems, 5(2\/3): 153?171.","journal-title":"Real-Time Systems"},{"key":"CR26","first-page":"45","volume-title":"Real-Time Programming","author":"R. Lintulampi","year":"1992","unstructured":"Lintulampi, R. and Pulli, P. 1992. Graphical prototyping of tasking behavior. In: (Halang, W.A. and Ramamritham, K. eds.).Real-Time Programming, pp. 45?49, IFAC Workshop Series, Oxford: Pergamon Press."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-3-642-69796-8_10","volume-title":"Approaches to Prototyping","author":"H.C. Mayr","year":"1984","unstructured":"Mayr, H.C., Bever, M., and Lockemann, P.C. 1984. Prototyping interactive application systems. In: (Budde, R., Kuhlenkamp, K., Mathiassen, L., and Z\u00fcllinghoven, H. eds.),Approaches to Prototyping, pp. 105?121, Berlin: Springer-Verlag."},{"issue":"2\/3","key":"CR28","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF01088589","volume":"5","author":"J.A. Puente de la","year":"1993","unstructured":"de la Puente, J.A., Alonso, A., Le\u00f3n, G., and Due\u00f1as, J.C. 1993. Distributed execution of specifications.Real-Time Systems, 5(2\/3): 213?234.","journal-title":"Real-Time Systems"},{"key":"CR29","unstructured":"Pulli, P., Elmstr\u00f8m, R., Le\u00f3n, G., and de la Puente, J.A. 1991. IPTES?Incremental Prototyping Technology for Embedded Real-Time Systems. InESPRIT Information Processing Systems and Software, Results and Progress of Selected Projects 1991. pp. 497?512, Esprit, Commission of the European Communities."},{"issue":"2\/3","key":"CR30","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01088585","volume":"5","author":"P. Pulli","year":"1993","unstructured":"Pulli, P. and Elmstr\u00f8m, R. 1993. IPTES: A concurrent engineering approach for real-time software development.Real-Time Systems, 5(2\/3): 139?152.","journal-title":"Real-Time Systems"},{"key":"CR31","volume-title":"Prototyping?The Effective Use of CASE Technology","author":"R. Vonk","year":"1990","unstructured":"Vonk, R. 1990.Prototyping?The Effective Use of CASE Technology. Englewood Cliffs, NJ: Prentice Hall."},{"key":"CR32","volume-title":"Structured Development of Real-Time Systems. Volumes 1?3","author":"P.T. Ward","year":"1985","unstructured":"Ward, P.T. and Mellor, S.J. 1985?1986.Structured Development of Real-Time Systems. Volumes 1?3, New York: Yourdon Press."},{"issue":"2","key":"CR33","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"SE-12","author":"P.T. Ward","year":"1986","unstructured":"Ward, P.T. 1986. The transformation schema: An extension of the data flow diagram to represent control and timing.IEEE Transactions on Software Engineering, SE-12(2): 198?210.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"CR34","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/2.50272","volume":"23","author":"A.I Wassermann","year":"1990","unstructured":"Wassermann, A.I, Pircher, P.A., and Muller, R.J. 1990. The object-oriented structured design notation for software design representation.IEEE Computer, 23(3): 50?63.","journal-title":"IEEE Computer"},{"issue":"5","key":"CR35","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/1006258.1006290","volume":"7","author":"M. Weiser","year":"1982","unstructured":"Weiser, M. 1982. Scale models and rapid prototyping.ACM Sigsoft Software Engineering Notes, 7(5): 181?185.","journal-title":"ACM Sigsoft Software Engineering Notes"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088587.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088587\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T05:56:03Z","timestamp":1556603763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088587"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":35,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["BF01088587"],"URL":"https:\/\/doi.org\/10.1007\/bf01088587","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}