{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T08:17:43Z","timestamp":1648887463688},"reference-count":21,"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\/bf01088586","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T18:13:53Z","timestamp":1107540833000},"page":"153-171","source":"Crossref","is-referenced-by-count":19,"title":["The IPTES environment: Support for incremental, heterogeneous and distributed prototyping"],"prefix":"10.1007","volume":"5","author":[{"given":"Gonzalo","family":"Le\u00f3n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Carlos","family":"Due\u00f1as","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan A.","family":"De La Puente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabil","family":"Zakhama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"CR1","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"},{"key":"CR2","unstructured":"Crespo, A., de la Puente, J.A., Espinosa, A., and Garcia-Fornes, A. 1989. Ada tools for rapid prototyping of Real-Time Systems. InAda: The Design Choice. Cambridge University Press: 105?114."},{"key":"CR3","unstructured":"ECMA. 1990. PCTE Abstract Specification. Technical Report, European Computer Manufacturers Association."},{"key":"CR4","volume-title":"A specification of the simulation of SA\/RT models. ESPEX project report","author":"R. Lintulampi","year":"1990","unstructured":"R. Lintulampi. 1990. A specification of the simulation of SA\/RT models. ESPEX project report. Oulu, Finland, Technical Research Centre of Finland."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"R. Elmstr\u00f8m, P.B. Lassen, M. Andersen. 1993. An executable subset of VDM-SL, in an SA\/RT framework.Real-Time Systems, 5(2\/3): - .","DOI":"10.1007\/BF01088588"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"M. Felder, C. Ghezzi, M. Pezz\u00e9. 1993. High level timed Petri nets as a kernel for executable specification.Real-Time Systems, 5(2\/3): - .","DOI":"10.1007\/BF01088590"},{"issue":"3","key":"CR7","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/66083.66092","volume":"24","author":"R. Gabriel","year":"1989","unstructured":"Gabriel, R. 1989. Draft report on requirements for a common prototyping system.ACM Sigplan Notices, 24(3):93?165.","journal-title":"ACM Sigplan Notices"},{"issue":"17","key":"CR8","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1109\/32.67597","volume":"2","author":"C. Ghezzi","year":"1991","unstructured":"Ghezzi, C., Mandrioli, D., Morasca, S., Pezz\u00e9, M. 1991. A unified high-level petri net formalism for time critical systems.IEEE Transactions on Software Engineering, 2(17):160?173.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR9","volume-title":"Building a visual designer's environment","author":"M. Graf","year":"1990","unstructured":"Graf, M. 1990.Building a visual designer's environment. (S.-K Chang, ed.) Englewood Cliffs, NJ: Prentice Hall."},{"issue":"3","key":"CR10","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":"CR11","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., Pneuli, 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":"12","key":"CR12","doi-asserted-by":"crossref","first-page":"1254","DOI":"10.1109\/TSE.1987.232879","volume":"SE-13","author":"R. Hayes","year":"1987","unstructured":"Hayes, R. and Schlichting, D. 1987. Facilitating mixed language programming in distributed systems.IEEE Transactions On Software Engineering, SE-13(12):1254?1264.","journal-title":"IEEE Transactions On Software Engineering"},{"key":"CR13","volume-title":"Introduction to the X Window System","author":"O. Jones","year":"1986","unstructured":"Jones, O. 1986.Introduction to the X Window System. Englewood Cliffs, NJ: Prentice Hall."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Kordon, F., Estraillier, P., and Card, R. 1990. Rapid Ada prototyping: Principles and example of a complex application.Proceedings of the 9th Annual International Phoenix Conference on Computer and Communications, IEEE, Computer Society Press.","DOI":"10.1109\/PCCC.1990.101656"},{"key":"CR15","unstructured":"Kramer, J. 1990. Configuration programming?a framework for the development of distributable systems.Int. Conf. on Computer Systems and Software Engineering, May."},{"key":"CR16","volume-title":"Proceedings of IEE International Workshop on Configurable Didstributed Systems","author":"J. Magee","year":"1992","unstructured":"Magee, J., Kramer, J., and Dulay, N. Structuring parallel and distributed programs.Proceedings of IEE International Workshop on Configurable Didstributed Systems. Imperial College, London, 1992."},{"issue":"3","key":"CR17","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/24039.24040","volume":"9","author":"D. Lamb","year":"1987","unstructured":"Lamb, D. 1987. IDL: Sharing intermediate representations.ACM Transactions on Programming Languages. 9(3):297?318.","journal-title":"ACM Transactions on Programming Languages"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Pulli, P., Elmstr\u00f8m. 1993. IPTES: A concurrent engineering approach for real-time software development.Real-Time Systems, 5(2\/3): - .","DOI":"10.1007\/BF01088585"},{"key":"CR19","doi-asserted-by":"crossref","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): - .","DOI":"10.1007\/BF01088589"},{"key":"CR20","series-title":"Technical Report","volume-title":"An environment for prototyping distributed applications","author":"J.M. Purtilo","year":"1989","unstructured":"Purtilo, J.M. and Jalote, P. 1989. An environment for prototyping distributed applications. Technical Report UMIACS-TR-89-43, University of Maryland, USA, 1989."},{"key":"CR21","series-title":"Technical Report","volume-title":"A software interconnection technology","author":"J.M. Purtilo","year":"1988","unstructured":"Purtilo, J.M. 1988. A software interconnection technology. Technical Report UMIACS-TR-88-83, University of Maryland, USA."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088586.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088586\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T15:48:49Z","timestamp":1586101729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088586"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":21,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["BF01088586"],"URL":"https:\/\/doi.org\/10.1007\/bf01088586","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}