{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T17:45:08Z","timestamp":1648662308633},"reference-count":14,"publisher":"Elsevier BV","issue":"11","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"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":[[2003,8]]},"DOI":"10.1016\/s0950-5849(03)00070-3","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T13:32:55Z","timestamp":1053351175000},"page":"743-761","source":"Crossref","is-referenced-by-count":5,"title":["A rigorous approach for constructing self-evolving real-time reactive systems"],"prefix":"10.1016","volume":"45","author":[{"given":"V.S","family":"Alagar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R","family":"Achuthan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M","family":"Haydar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D","family":"Muthiayen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O","family":"Ormandjieva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(03)00070-3_BIB1","unstructured":"V.S. Alagar, R. Achuthan, D. Muthiayen, TROMLAB: a software development environment for real-time reactive systems, Technical Report, Concordia University, Montreal, Canada, April 2001."},{"key":"10.1016\/S0950-5849(03)00070-3_BIB2","unstructured":"R. Achuthan, A formal model for object-oriented development of real-time reactive systems, PhD Thesis, Concordia University, Montreal, Canada, October 1995."},{"key":"10.1016\/S0950-5849(03)00070-3_BIB5","doi-asserted-by":"crossref","unstructured":"J. Bieman, Deriving measures of software reuse in object oriented systems. Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement London, South Bank University, London, May 1991.","DOI":"10.1007\/978-1-4471-3205-9_4"},{"key":"10.1016\/S0950-5849(03)00070-3_BIB6","series-title":"Larch: Languages and Tools for Formal Specification","author":"Guttag","year":"1993"},{"key":"10.1016\/S0950-5849(03)00070-3_BIB7","doi-asserted-by":"crossref","unstructured":"C. Dellarocas, M. Klien, H. Shrobe, An architecture for constructing self-evolving software systems, Proceedings of the Third International Software Architecture Workshop, Orlando, FL, November 1998.","DOI":"10.1145\/288408.288416"},{"key":"10.1016\/S0950-5849(03)00070-3_BIB8","doi-asserted-by":"crossref","unstructured":"J. Kramer, J. Magee, Analysing dynamic change in software architectures: a case study, Proceedings of the Fourth International Conference on Configurable Distributed Systems, Annapolis, May 1998.","DOI":"10.1109\/CDS.1998.675762"},{"issue":"11","key":"10.1016\/S0950-5849(03)00070-3_BIB9","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/32.60317","article-title":"The evolving philosophers problem: dynamic change management","volume":"16","author":"Kramer","year":"1990","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0950-5849(03)00070-3_BIB10","unstructured":"D. Muthiayen, Real-time reactive system development: a formal approach based on UML and PVS, PhD Thesis, Department of Computer Science, Concordia University, Montreal, Canada, January 2000."},{"key":"10.1016\/S0950-5849(03)00070-3_BIB11","unstructured":"R. Nagarajan, VISTA: a visual interface for software reuse in TROMLAB environment, Master's Thesis, Department of Computer Science, Concordia University, Montreal, Canada, April 1999."},{"key":"10.1016\/S0950-5849(03)00070-3_BIB12","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/5254.769885","article-title":"An architecture-based approach to self-adaptive software","author":"Oreizy","year":"1999","journal-title":"IEEE Intell. Syst."},{"key":"10.1016\/S0950-5849(03)00070-3_BIB13","unstructured":"O. Ormandjieva, Quality measurement for real-time reactive systems, PhD Thesis, Department of Computer Science, Concordia University, Montreal, Canada, 2002."},{"key":"10.1016\/S0950-5849(03)00070-3_BIB14","unstructured":"F. Pompeo, A verification assistant for TROMLAB environment, MS Thesis, Department of Computer Science, Concordia University, September 1999."},{"key":"10.1016\/S0950-5849(03)00070-3_BIB15","unstructured":"O. Popistas, Rose-GRC translator: mapping UML visual models onto formal specifications, MS Thesis, Department of Computer Science, Concordia University, April 1999."},{"key":"10.1016\/S0950-5849(03)00070-3_BIB16","unstructured":"M. Zheng, Automated generation of test suits from formal specifications of real-time reactive systems, PhD Thesis, Department of Computer Science, Concordia University, Montreal, Canada, 2002."}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000703?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000703?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T06:50:23Z","timestamp":1553151023000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":14,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["S0950584903000703"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00070-3","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}