{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:02:50Z","timestamp":1746158570672,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642880513"},{"type":"electronic","value":"9783642880490"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-642-88049-0_22","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T16:35:39Z","timestamp":1386606939000},"page":"471-486","source":"Crossref","is-referenced-by-count":0,"title":["Requirements Engineering and Design Tools for Real-Time Systems: the Protob Approach"],"prefix":"10.1007","author":[{"given":"Giorgio","family":"Bruno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Castella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","first-page":"104","volume-title":"The operational versus the conventional approach to software development","author":"P Zave","year":"1984","unstructured":"P. Zave, The operational versus the conventional approach to software development, Communications of the ACM, February 1984, 104\u2013118."},{"key":"22_CR2","first-page":"39","volume-title":"Software technology in the 1990\u2019s: using a new paradigm","author":"R Balzer","year":"1983","unstructured":"R. Balzer, T. E. Cheatham, and C. Green, Software technology in the 1990\u2019s: using a new paradigm, IEEE Computer, November 1983, 39\u201345."},{"key":"22_CR3","volume-title":"John Wiley and Sons","author":"GS Fishman","year":"1973","unstructured":"G.S. Fishman, Concepts and Methods in Discrete Event Digital Simulation, John Wiley and Sons, 1973."},{"key":"22_CR4","volume-title":"Prentice-hall","author":"T Marco","year":"1979","unstructured":"T. De Marco, Structured analysis and system specification, Prentice-Hall, 1979."},{"key":"22_CR5","volume-title":"Improved System Technology","author":"C Cane","year":"1979","unstructured":"C. Cane and T. Sarson, Structured systems analysis: tools and techniques, Improved System Technology, 1979."},{"key":"22_CR6","first-page":"16","volume-title":"Structured analysis (SA): a language for communicating ideas","author":"DT Ross","year":"1977","unstructured":"D. T. Ross, Structured analysis (SA): a language for communicating ideas, IEEE Transactions on Software Engineering, January 1977, 16\u201334."},{"key":"22_CR7","volume-title":"Dorset House Publishing","author":"D Hatley","year":"1987","unstructured":"D. Hatley and I. Pirbhai, Strategies for Real-Time System Specification. Dorset House Publishing, 1987."},{"key":"22_CR8","volume-title":"Yourdon Press","author":"PT Ward","year":"1985","unstructured":"P.T. Ward and S.J. Mellor, Structured Development of Real-Time Systems, Yourdon Press, 1985."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"W. Bruyn, R. Jensen, D. Keskar, and P. Ward, ESML: an extended systems modelling language based on the data flow diagram, ACM SIGSOFT Software Engineering Notes, Vol. 13, 58\u201367.","DOI":"10.1145\/43857.43866"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"D. Harel, Statecharts: A visual formalism for complex systems, Sci. Comput. Prog., Vol. 8, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"22_CR11","volume-title":"Intertext Publications Inc","author":"RH Wallace","year":"1987","unstructured":"R.H. Wallace, J.E. Stockemberg, and R.N. Charette, A Unified Methodology for Developing Systems, Intertext Publications Inc., 1987."},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/51696.51702","volume":"13","author":"R Blumofe","year":"1988","unstructured":"R. Blumofe and A. Hecht, Executing real-time structured analysis specifications, ACM SIGSOFT Software Engineering Notes, Vol. 13, 1988, 32\u201340.","journal-title":"Acm Sigsoft Software Engineering Notes"},{"key":"22_CR13","volume-title":"Statematel: a working environment for the development of complex reactive systems","author":"D Harel","year":"1988","unstructured":"D. Harel et al, Statematel: a working environment for the development of complex reactive systems, Proceedings of the Tenth International Conference on Software Engineering, IEEE Press, 1988."},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J Peterson","year":"1977","unstructured":"J. Peterson, Petri nets, ACM Computing Surveys, Vol. 9, September 1977, 223\u2013253.","journal-title":"Acm Computing Surveys"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"T. Murata, Petri nets: Properties, analysis and applications, Proceedings of IEEE, Vol. 77, April 1989.","DOI":"10.1109\/5.24143"},{"key":"22_CR16","first-page":"317","volume":"114","author":"K Jensen","year":"1981","unstructured":"K. Jensen, Coloured Petri nets and the invariant method, Theoretical Comput. Sci., Vol. 114, 1981, 317\u2013336.","journal-title":"Sci"},{"key":"22_CR17","first-page":"63","volume-title":"Petri nets for software engineering","author":"W Reisig","year":"1986","unstructured":"W. Reisig, Petri nets for software engineering, Petri Nets: Applications and Relations to Other Models of Concurrency, 1986, 63\u201396."},{"key":"22_CR18","first-page":"590","volume-title":"Casting petri nets into programs","author":"RA Nelson","year":"1983","unstructured":"R.A. Nelson, L.M. Haibt, and P.B. Sheridan, Casting petri nets into programs, IEEE Transactions on Software Engineering, September 1983, 590\u2013602."},{"key":"22_CR19","first-page":"284","volume-title":"Petri net-based object-oriented modeling of distributed systems","author":"G Bruno","year":"1986","unstructured":"G. Bruno and A. Balsamo, Petri net-based object-oriented modeling of distributed systems, ACM Conference on Object-oriented Programming, October 1986, 284\u2013293."},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"G. Booth, Object oriented development, IEEE Transactions on Software Engineering, Vol. 12, February 1986.","DOI":"10.1109\/TSE.1986.6312937"},{"key":"22_CR21","volume-title":"Software Engineering with Ada","author":"G Booth","year":"1987","unstructured":"G. Booth, Software Engineering with Ada, Benjamin\/Cummings, California, 1987."},{"key":"22_CR22","volume-title":"System Design with Ada","author":"RJ Buhr","year":"1984","unstructured":"R. J. A. Buhr, System Design with Ada, Prentice Hall, Englewood Cliffs, 1984."},{"key":"22_CR23","volume-title":"Hood: Hierarchical Object Oriented Design for development of large technical and realtime software, Technical report","author":"M Heitz","year":"1987","unstructured":"M. Heitz, HOOD: Hierarchical Object Oriented Design for development of large technical and realtime software, Technical report, CISI Ingenierie, Direction Midi Pyrenees, 1987."},{"key":"22_CR24","unstructured":"HOOD Working Group, Hood reference manual, issue 3.0, Technical report, September 1989."},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"R.J.A. Buhr, G.M. Karam, C.J. Hayes, and C.M. Woodside, Software CAD: a revolutionary approach, IEEE Transactions on Software Engineering, Vol. 15, March 1989.","DOI":"10.1109\/32.21752"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"A. Wasserman, An object oriented structured design method for code generation, ACM SIGSOFT Software Engineering Notes, Vol. 14, January 1989.","DOI":"10.1145\/66051.66053"},{"key":"22_CR27","volume-title":"Object-oriented Analysis","author":"P Coad","year":"1990","unstructured":"P. Coad and E. Yourdan, Object-Oriented Analysis, Prentice Hall, Englewood Cliffs, 1990."},{"key":"22_CR28","volume-title":"Prentice-hall","author":"S Shlaer","year":"1988","unstructured":"S. Shlaer and S. J. Mellor, Object oriented systems analysis: modelling the world in data, Prentice-Hall, 1988."},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"J. Rumbaugh, Relations as semantic constructs in an object-oriented language, OOPSLA \u201887 Proceedings, 1987, 466\u2013481.","DOI":"10.1145\/38765.38850"},{"key":"22_CR30","volume-title":"Addison-wesley","author":"B Cohen","year":"1986","unstructured":"B. Cohen, W.T. Harwood, and M.I. Jackson, The Specification of Complex Systems, Addison-Wesley, 1986."},{"issue":"9","key":"22_CR31","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1145\/48529.48534","volume":"31","author":"AM Davis","year":"1988","unstructured":"A. M. Davis, A comparison of techniques for the specification of external system behavior, Communications of the ACM, Vol 31, No. 9, September 1988, 1098\u20131115.","journal-title":"Communications of the Acm"},{"key":"22_CR32","first-page":"346","volume-title":"Process-translatable Petri nets for the rapid proto-typing of process control systems","author":"G Bruno","year":"1986","unstructured":"G. Bruno and G. Marchetto, Process-translatable Petri nets for the rapid proto-typing of process control systems, IEEE Transactions on Software Engineering, February 1986, 346\u2013357."},{"key":"22_CR33","doi-asserted-by":"crossref","unstructured":"M. Baldassari and G. Bruno, An environment for object-oriented conceptual programming based on prot nets, Advances in Petri Nets, Lecture Notes in Computer Science Vol. 340, Springer-Verlag, 1988, 1\u201319.","DOI":"10.1007\/3-540-50580-6_21"},{"key":"22_CR34","doi-asserted-by":"crossref","unstructured":"M. Baldassari and G. Bruno, An environment for operational software engineering in Ada, Proceedings of the TRI-ADA\u201989 Conference, October 1989, 126\u2013146.","DOI":"10.1145\/74261.74271"},{"key":"22_CR35","unstructured":"IEEE Computer special issue on visual programming,August 1985."},{"key":"22_CR36","doi-asserted-by":"crossref","unstructured":"R.S. Chin and S.T. Chanson, Distributed object-based programming systems, ACM Computing Surveys, Vol. 23, March 1991.","DOI":"10.1145\/103162.103165"},{"key":"22_CR37","first-page":"39","volume":"16","author":"M Baldassari","year":"1991","unstructured":"M. Baldassari and G. Bruno, PROTOB: an object oriented methodology for developing discrete event dynamic systems, Comp. Lang., Vol. 16, January 1991, 39\u201363.","journal-title":"Lang"},{"key":"22_CR38","doi-asserted-by":"crossref","unstructured":"M. Baldassari and G. Bruno, A methodology and environment for the object oriented analysis and design of real time systems, EUROMICRO\u201990 workshop on real time, 1990, 72\u201378.","DOI":"10.1109\/EMWRT.1990.128231"}],"container-title":["NATO ASI Series","Real Time Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-88049-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T03:45:34Z","timestamp":1746071134000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-88049-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783642880513","9783642880490"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-88049-0_22","relation":{},"ISSN":["0258-1248"],"issn-type":[{"type":"print","value":"0258-1248"}],"subject":[],"published":{"date-parts":[[1994]]}}}