{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T22:13:40Z","timestamp":1649024020861},"reference-count":41,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1016\/s0950-5849(98)00109-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"35-52","source":"Crossref","is-referenced-by-count":2,"title":["Life-cycle of a dual object-oriented specification model for real-time systems"],"prefix":"10.1016","volume":"41","author":[{"given":"M.A.","family":"Bruno","sequence":"first","affiliation":[]},{"given":"P.","family":"Nesi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(98)00109-8_BIB1","doi-asserted-by":"crossref","unstructured":"A.J. Alencar, J.A. Goguen, Ooze: An object oriented z environment, in: Proc. of European Conference on Object Oriented Programming, ECOOP'91, Springer Lecture Notes in Computer Sciences, LNCS n. 512, 1991, pp. 180\u2013199.","DOI":"10.1007\/BFb0057022"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB2","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00360339","article-title":"Specification and verification of reactive system behavior: The railroad crossing example","volume":"10","author":"Armstrong","year":"1996","journal-title":"Journal of Real-Time Systems"},{"issue":"5","key":"10.1016\/S0950-5849(98)00109-8_BIB3","first-page":"61","article-title":"A spiral model of software development and enhancement","volume":"21","author":"Boehm","year":"1988","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB4","unstructured":"G. Booch, Object-oriented design with Applications. Benjamin\/Cummings, California, 1994."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB5","unstructured":"R. Braek, O. Haugen, Engineering Real-Time Systems: An Object-oriented Methodology using SDL, Prentice Hall, New York, London, 1993."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB6","unstructured":"M.A. Bruno, Completeness and Consistency of External and Internal Specifications of Reactive Systems, PhD thesis, Via S. Marta 3, Firenze, Italy, Feb. 1998."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB7","unstructured":"M.A. Bruno, P. Nesi, Verification of external specifications of reactive systems, IEEE Transactions on System Man and Cybernetics, pages submitted for publication, also Technical Report of Departmento of Systems and Informatics, University of Florence, 1997."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB8","unstructured":"M.A. Bruno, P. Nesi, Verification criteria for a compositional model of reactive systems. IEEE Transactions on System Man and Cybernetics, pages submitted for publication, also Technical Report of Departmento of Systems and Informatics, University of Florence, 1997."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB9","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF01094341","article-title":"Tools for specifying real-time systems","volume":"8","author":"Bucci","year":"1995","journal-title":"Journal of Real-Time Systems"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB10","unstructured":"G. Bucci, M. Campanai, P. Nesi, M. Traversi, An object-oriented case tool for reactive system specification, in: Proc. of 6th International Conference on Software Engineering and Its Applications (sponsored by: EC2, CXP, CIGREF, and SEE), Le CNIT, Paris la Defense, France, 15\u201319 Nov. 1993."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB11","doi-asserted-by":"crossref","unstructured":"G. Bucci, M. Campanai, P. Nesi, M. Traversi, An object-oriented dual language for specifying reactive systems. In Proc. of IEEE International Conference on Requirements Engineering, ICRE'94, Colorado Spring, Colorado, USA, 18\u201322 April 1994.","DOI":"10.1109\/ICRE.1994.292409"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB12","doi-asserted-by":"crossref","unstructured":"G. Bucci, P. Nesi, Using TOOMS\/TROL for specifying a cellular phone, in: Proc. of the 7th Euromicro Workshop on Real-Time Systems, EWRTS'95, Odense, Denmark, June, IEEE Press, 1995, pp. 49\u201356.","DOI":"10.1109\/EMWRTS.1995.514291"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB13","unstructured":"D. Carrington, D. Duke, R. Duke, P. King, G. Rose, G. Smith, Object-z: An object-oriented Extension to z. In: S.T. Vong (Ed.), Formal Description Techniques. Elsevier, Oxford, 1990."},{"issue":"1","key":"10.1016\/S0950-5849(98)00109-8_BIB14","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/32.120312","article-title":"Introducing objectcharts or how to use statecharts in object-oriented design","volume":"18","author":"Coleman","year":"1992","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB15","unstructured":"G. Conedra, L. Sentimenti, P. Nesi, Relazione finale: Analisi di un sistema cellulare ote. Technical report, Universita' di Firenze,, OTE Srl, Florence, Italy, Gennaio 1994."},{"issue":"1","key":"10.1016\/S0950-5849(98)00109-8_BIB16","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","article-title":"Timing constraints of real-time systems: constructs for expressing them, methods of validating them","volume":"11","author":"Dasarathy","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB17","unstructured":"E.H.H. D\u00fcrr, J. van Katwijk, Vdm++: A formal specification language for object-oriented designs, in: G. Heeg, B. Mugnusson, B. Meyer (Eds.), Proc. of the International Conference on Technology of Object-Oriented Languages and Systems, TOOLS 7, Prentice Hall, 1992, pp. 63\u201378."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB18","doi-asserted-by":"crossref","unstructured":"M. Fisher, R. Owens, An introduction to executable modal and temporal logics, in: M. Fisher, R. Owens (Eds.), Executable Modal and Temporal Logics: Proceedings of the IJCAI'93 Workshop, Chamberry, France, August 1993, Lecture Notes in Artificial Intelligence, Springer, LNCS 987, 1995, pp. 1\u201320.","DOI":"10.1007\/3-540-58976-7_1"},{"issue":"9","key":"10.1016\/S0950-5849(98)00109-8_BIB19","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/83880.84529","article-title":"The object oriented systems life cycle","volume":"33","author":"Henderson-Sellers","year":"1990","journal-title":"Communications of the ACM"},{"issue":"3","key":"10.1016\/S0950-5849(98)00109-8_BIB20","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/32.75414","article-title":"Software requirements analysis for real-time process-control systems","volume":"17","author":"Jaffe","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"10.1016\/S0950-5849(98)00109-8_BIB21","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","article-title":"Safety analysis of timing properties in real-time systems","volume":"12","author":"Jahanian","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"10.1016\/S0950-5849(98)00109-8_BIB22","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/63238.63240","article-title":"A simple approach to specifying concurrent systems","volume":"32","author":"Lamport","year":"1989","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB23","doi-asserted-by":"crossref","first-page":"768","DOI":"10.1109\/32.464544","article-title":"Tla in pictures","volume":"21","author":"Lamport","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB24","doi-asserted-by":"crossref","unstructured":"K. Lano, Z++, an object-oriented extension to z, in: J. E. Nicholls (Ed.), Proc. of the 4th Annual Z User Meeting, Oxford, UK, Workshop in Computing, Springer, Berlin, 1991, pp. 151\u2013172.","DOI":"10.1007\/978-1-4471-3540-1_11"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB25","doi-asserted-by":"crossref","unstructured":"K. Lano, S. Goldsack, Specifying discrete event systems in vdm++. In PInternational Workshop on Analysis and Design of Event-Driven Operations in Process Systems, London, April 1995, 78\u201397.","DOI":"10.1109\/ICECCS.1995.479318"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB26","unstructured":"D. Maier, D.S. Warren, Computing with Logic. Benjamin\/Cummings, Menlo Park, CA, USA, 1988."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB27","unstructured":"R. Mattolini, P. Nesi, An interval logic for real-time system specification. Under final revision for publication on IEEE Transactions on Software Engineering, also Tech. Rep. DSI-RT 5\/96, Dipartimento di Sistemi et Informatica, Universit\u00e0 degli Studi di Firenze, 1996."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB28","doi-asserted-by":"crossref","unstructured":"R. Mattolini, P. Nesi, Using tilco for specifying real-time systems, in: Proc. of the 2nd IEEE International Conference on Engineering of Complex Computer Systems ICECCS'96, Montreal, Canada, Oct. 1996. IEEE Press.","DOI":"10.1109\/ICECCS.1996.558324"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB29","doi-asserted-by":"crossref","unstructured":"S.R.L. Meira, A.L.C. Cavalcanti, Modular object-oriented z specifications, in: J.E. Nicholls (Ed.), Proc. of the 4th Annual Z User Meeting, Oxford, UK, Workshop in Computing, Springer, Berlin, 1991, pp. 173\u2013192.","DOI":"10.1007\/978-1-4471-3540-1_12"},{"issue":"1","key":"10.1016\/S0950-5849(98)00109-8_BIB30","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/174634.174636","article-title":"Object-oriented logical specification of time-critical systems","volume":"3","author":"Morzenti","year":"1994","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB31","doi-asserted-by":"crossref","unstructured":"B.C. Moszkowski, Executing Temporal Logic Programs. PhD thesis, Cambridge University, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB32","doi-asserted-by":"crossref","unstructured":"P. Nesi, Managing oo projects better. IEEE Software, July-Aug 1998, 12\u201324.","DOI":"10.1109\/52.687945"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB33","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0164-1212(95)00064-X","article-title":"Metric framework for object-oriented real-time systems specification languages","volume":"34","author":"Nesi","year":"1996","journal-title":"The Journal of Systems and Software"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB34","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF01351921","article-title":"A non-invasive object-oriented tool for software testing","volume":"4","author":"Nesi","year":"1995","journal-title":"Software Quality Journal"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB35","unstructured":"J.S. Ostroffm Temporal Logic for Real-Time Systems, Research Studies Press, Advanced Software Development Series, I. Taunton, Somerset, 1989."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB36","unstructured":"J.S. Ostroff, W. Wonham, Modeling and verifying real-time embedded computer systems, in: Proc. of the 8th IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Dec. 1987, pp. 124\u2013132."},{"key":"10.1016\/S0950-5849(98)00109-8_BIB37","doi-asserted-by":"crossref","unstructured":"B. Selic. An efficient object-oriented variation of statechartes formalism for distributed real-time systems, in: CHDL'93: IFIP Conference on Hardware Description Language and Their Applications, Ottawa, Canada, 26\u201328 April 1993.","DOI":"10.1016\/B978-0-444-81641-2.50030-7"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB38","unstructured":"B. Selic, G. Gullekson, P.T. Ward, Real-Time Object-Oriented Modeling, John Wiley, New York, 1994."},{"issue":"9","key":"10.1016\/S0950-5849(98)00109-8_BIB39","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1109\/32.159840","article-title":"Communicating real-time state machines","volume":"18","author":"Shaw","year":"1992","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB40","doi-asserted-by":"crossref","unstructured":"J.A. Stankovic, Misconceptions about real-time computing: a serious problem for next-generation systems. IEEE Computer, Oct. 1988, 10-19.","DOI":"10.1109\/2.7053"},{"key":"10.1016\/S0950-5849(98)00109-8_BIB41","doi-asserted-by":"crossref","unstructured":"J.D. Williams, Managing iteration in oo projects. IEEE Computer, September 1996, 39\u201343,","DOI":"10.1109\/2.536782"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998001098?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998001098?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,14]],"date-time":"2020-01-14T20:37:24Z","timestamp":1579034244000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584998001098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["S0950584998001098"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(98)00109-8","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}