{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T13:16:56Z","timestamp":1773407816759,"version":"3.50.1"},"reference-count":38,"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\/bf01088585","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T13:13:53Z","timestamp":1107522833000},"page":"139-152","source":"Crossref","is-referenced-by-count":15,"title":["IPTES: A concurrent engineering approach for real-time software development"],"prefix":"10.1007","volume":"5","author":[{"given":"P.","family":"Pulli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Elmstr\ufffdm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"New Paradigms for Software Development","year":"1986","unstructured":"Agresti, W. (editor). 1986.New Paradigms for Software Development. Washington, D.C.: IEEE Computer Society Press."},{"key":"CR2","volume-title":"Quality Function Deployment: Integrating Customer Requirements in Product Design","author":"Y. Akao","year":"1990","unstructured":"Akao, Y. 1990.Quality Function Deployment: Integrating Customer Requirements in Product Design. Cambridge, Massachusetts\/Norwalk, Connecticut: Productivity Press."},{"key":"CR3","first-page":"330","volume-title":"Proceedings of COMPSAC'90","author":"M. Aoyama","year":"1990","unstructured":"Aoyama, M. 1990. Distributed concurrent development of software systems: An object-oriented process model. In:Proceedings of COMPSAC'90. IEEE Computer Society Press, Washington, D.C., pp. 330?336."},{"key":"CR4","unstructured":"Athena Systems Inc. 1989. Foresight: Modeling and Simulation Toolset for Real-Time System Development, User's Manual."},{"key":"CR5","doi-asserted-by":"crossref","DOI":"10.21236\/ADA228487","volume-title":"Sample Tailoring of 2167A DIDS for Software-First Life Cycle. Document number CDRL 1880","author":"M. Blumberg","year":"1990","unstructured":"Blumberg, M. 1990. Sample Tailoring of 2167A DIDS for Software-First Life Cycle. Document number CDRL 1880. IBM Federal Sector Division, Gaithersburg, Maryland."},{"issue":"3","key":"CR6","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"},{"key":"CR7","volume-title":"Software Engineering Economics","author":"B. Boehm","year":"1981","unstructured":"Boehm, B. 1981.Software Engineering Economics. Englewood Cliffs, NJ: Prentice-Hall."},{"issue":"5","key":"CR8","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":"1","key":"CR9","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/52.62930","volume":"8","author":"B. Boehm","year":"1991","unstructured":"Boehm, B. 1991. Software risk management: Principles and practices.IEEE Software, 8(1):32?41.","journal-title":"IEEE Software"},{"key":"CR10","unstructured":"Cadre Technologies Inc. 1990. Teamwork\/SIM. User's Guide. Release 4.0. Part Number D048XX4A."},{"key":"CR11","first-page":"104","volume-title":"Experience in Modeling a Concurrent Software System using Statemate","author":"G.L. Coleman","year":"1990","unstructured":"Coleman, G.L., Ellison, C.P., Gardner, G.G., Sandini, D.L. and Brackett, J.W. 1990. Experience in Modeling a Concurrent Software System using Statemate.Proceedings of the Compeuro'90 Conference. Tel Aviv, Israel. Washington, D.C.: IEEE Computer Society Press, pp. 104?108."},{"issue":"2","key":"CR12","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/382296.382705","volume":"15","author":"C. Coomber","year":"1990","unstructured":"Coomber, C. and Childs, R. 1990. A graphical tool for prototyping of Real-Time Systems.ACM Sigsoft Software Engineering Notes, 15(2):70?82.","journal-title":"ACM Sigsoft Software Engineering Notes"},{"key":"CR13","first-page":"53","volume-title":"Models of Iteration in Software Development","author":"B. Curtis","year":"1987","unstructured":"Curtis, B. 1987. Models of Iteration in Software Development.Proceedings 3rd International Software Process Workshop, Breckenridge, Colorado, 17?19 November. Washington, D.C.: IEEE Computer Society Press, pp. 53?56."},{"issue":"2\/3","key":"CR14","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":"CR15","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":"CR16","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":"CR17","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"},{"key":"CR18","volume-title":"Smalltalk-80: The Language and its implementation","author":"A. Goldberg","year":"1985","unstructured":"Goldberg, A., Robson, D. 1985. Smalltalk-80: The Language and its implementation. Reading MA: Addison Wesley."},{"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"},{"key":"CR22","unstructured":"Hatley, D.J. 1991. Parallel, cooperative system development.Proceedings of Embedded Systems Conference, Santa Clara, California, September 24?27, Vol. II, pp. 823?836."},{"key":"CR23","volume-title":"Better designs in Half the Time: Implementing QFD Quality Function Deployment in America","author":"B. King","year":"1989","unstructured":"King, B. 1989.Better designs in Half the Time: Implementing QFD Quality Function Deployment in America. Goal\/QPC, Methuen, Massachusetts."},{"issue":"2\/3","key":"CR24","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":"CR25","unstructured":"Luqi. 1986. Rapid prototyping for large software system design. PhD thesis, University of Minnesota."},{"key":"CR26","unstructured":"Manperil, C., Rommel, Y. and Prinz, J. 1991. Risk management applied to predominantly software-oriented systems: The RiskMan project. Draft paper, available from CGI\/CR2A, 19 Avenue Dubonnet, 92411 Courbevoie Cedex, France."},{"key":"CR27","volume-title":"Process model for high performance trusted systems in Ada. Technical Report","author":"A. Marmor-Squires","year":"1989","unstructured":"Marmor-Squires, A. (principal investigator). 1989. Process model for high performance trusted systems in Ada. Technical Report, TRW Systems Division, Fairfax, Virginia."},{"key":"CR28","unstructured":"Nettles, D. 1991. Consortium prepares evolutionary spiral process deliverables.SPC Quarterly, Spring 1991, pp. 4?6. Available from Software Productivity Consortium, 2214 Rock Hill Road, Herndon, Virginia 22070."},{"issue":"2\/3","key":"CR29","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":"CR30","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."},{"key":"CR31","unstructured":"Reddy, R., Wood, R.T. and Cleetus, K.J. 1992. The DARPA initiative in concurrent engineering.Concurrent Engineering Research in Review, Winter 1991\/1992, pp. 2?10. Available from Concurrent Engineering Research Center, West Virginia University, Drawer 2000, Morgantown, WV 26506."},{"key":"CR32","unstructured":"Reilly, E.L. and Brackett, J.W. 1987. An experimental system for executing real-time structured analysis models.Proceedings of the XII Structure Methods Conference. Chicago, Illinois, Structured Techniques Association, Chicago, pp. 301?313."},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Royce, W. 1990. TRW's Ada Process Model for Incremental Development of Large Software Systems.12th International Conference on Software Engineering. Washington, D.C.: IEEE Computer Society Press, pp. 2?11.","DOI":"10.1109\/ICSE.1990.63598"},{"issue":"4","key":"CR34","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1080\/09544829008901666","volume":"1","author":"R. Thackeray","year":"1990","unstructured":"Thackeray, R., van Treeck, G. 1990. Applying quality function deployment for software product development.Journal of Engineering Design 1(4):389?410.","journal-title":"Journal of Engineering Design"},{"key":"CR35","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/ISPW.1989.690449","volume-title":"Proceedings of the 5th International Software Process Workshop","author":"I. Thomas","year":"1990","unstructured":"Thomas, I. 1990. The Software Process as a Goal-Directed Activity. In: Perry, D. (editor)Proceedings of the 5th International Software Process Workshop. Washington, D.C.: IEEE Computer Society Press, pp. 137?139."},{"key":"CR36","volume-title":"Structured Development for Real-Time Systems, Volumes 1?3","author":"P.T. Ward","year":"1985","unstructured":"Ward, P.T. and Mellor, S.J. 1985?1986.Structured Development for Real-Time Systems, Volumes 1?3, New York: Yourdon Press."},{"key":"CR37","first-page":"1","volume-title":"Proceedings of the Structured Development Forum VIII","author":"M. Webb","year":"1986","unstructured":"Webb, M. and Ward, P. 1986. Executable data flow diagrams: An experimental implementation.Proceedings of the Structured Development Forum VIII. Structured Techniques Association, Chicago, Illinois, pp. 1?21."},{"key":"CR38","unstructured":"Zultner, R.E. 1989. Software Quality (Function) Deployment?Applying QFD to Software. Available form Zultner & Company, 12 Wallingford Drive, Princeton, NJ 08540."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088585.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088585\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:56:03Z","timestamp":1556589363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088585"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":38,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["BF01088585"],"URL":"https:\/\/doi.org\/10.1007\/bf01088585","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}