{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:16:29Z","timestamp":1765545389144},"reference-count":30,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[2006]]},"DOI":"10.1049\/ip-sen:20050014","type":"journal-article","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T22:19:54Z","timestamp":1150841994000},"page":"102","source":"Crossref","is-referenced-by-count":6,"title":["Computer-aided dispatch system family architecture and verification: an integrated formal approach"],"prefix":"10.1049","volume":"153","author":[{"given":"J.","family":"Sun","sequence":"first","affiliation":[]},{"given":"J.S.","family":"Dong","sequence":"additional","affiliation":[]},{"given":"S.","family":"Jarzabek","sequence":"additional","affiliation":[]},{"given":"H.","family":"Wang","sequence":"additional","affiliation":[]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:20050014_r1","first-page":"40","volume":"17","author":"Perry","year":"1992"},{"key":"10.1049\/ip-sen:20050014_r2","unstructured":"Bass, L., Clements, P., and Kazman, R.: \u2018Software architecture in practice\u2019, (Addison-Wesley, Reading, MA 1998)"},{"key":"10.1049\/ip-sen:20050014_r3","author":"Magee","year":"1994","journal-title":"Proc. 5th European Software Engineering Conf."},{"key":"10.1049\/ip-sen:20050014_r4","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"Luckham","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:20050014_r5","doi-asserted-by":"publisher","DOI":"10.1145\/226241.226244"},{"key":"10.1049\/ip-sen:20050014_r6","unstructured":"Shaw, M., and Garlan, D.: \u2018Software Architecture: perspectives on an emerging discipline\u2019, (Prentice-Hall 1996)"},{"key":"10.1049\/ip-sen:20050014_r7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"Allen","year":"1997","ISSN":"http:\/\/id.crossref.org\/issn\/1049-331X","issn-type":"print"},{"key":"10.1049\/ip-sen:20050014_r8","unstructured":"Allen, R.: \u2018A formal approach to software architecture\u2019, January, 1997, PhD, Carnegie Mellon, School of Computer Science Issued as CMU Technical Report CMU-CS-97-144"},{"key":"10.1049\/ip-sen:20050014_r9","doi-asserted-by":"crossref","unstructured":"Araki, K., Galloway, A., Taguchi, K., \u2018IFM'99: Integrated formal methods\u2019, (Springer-Verlag, York, UK 1999)","DOI":"10.1007\/978-1-4471-0851-1"},{"key":"10.1049\/ip-sen:20050014_r10","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Santen, T., Stoddart, B., \u2018IFM'00: integrated formal methods\u2019, Dagstuhl Castle, Germany 2000),Lect. Notes Comput. Sci.","DOI":"10.1007\/3-540-40911-4"},{"key":"10.1049\/ip-sen:20050014_r11","doi-asserted-by":"publisher","DOI":"10.1109\/32.841115"},{"key":"10.1049\/ip-sen:20050014_r12","unstructured":"Duke, R., and Rose, G.: \u2018Formal object oriented specification using object-Z\u2019, Cornerstones of Computing Series, (Macmillan 2000)"},{"key":"10.1049\/ip-sen:20050014_r13","doi-asserted-by":"crossref","unstructured":"Smith, G.: \u2018The object-Z specification language\u2019, Advances in formal methods, (Kluwer Academic Publishers 2000)","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"10.1049\/ip-sen:20050014_r14","unstructured":"Schneider, S., Davies, J., Jackson, D.M., Reed, G.M., Reed, J.N., and Roscoe, A.W.: \u2018Timed CSP: theory and practice\u2019, de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G., Real-time: theory in practice, p. 640\u2013675Lect. Notes Comput. Sci.1992,600"},{"key":"10.1049\/ip-sen:20050014_r15","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","volume":"138","author":"Schneider","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0304-3975","issn-type":"print"},{"key":"10.1049\/ip-sen:20050014_r16","unstructured":"\u2018Reasoning about TCOZ\u2019, Technical, TRA3\u221502, National University of Singapore, School of Computing, March, 2002"},{"key":"10.1049\/ip-sen:20050014_r17","unstructured":"Garlan, D., and Delisle, N.: \u2018Formal specification of an architecture for a family of instrumentation systems\u2019, Hinchey, M., Bowen, J., Applications of formal methods, (Prentice-Hall 1995), p. 55\u201372"},{"key":"10.1049\/ip-sen:20050014_r18","first-page":"90","author":"van Zyl","year":"2002","journal-title":"in SPLC 2: Proc. 2nd Int. Conf. on Software Product Lines"},{"key":"10.1049\/ip-sen:20050014_r19","doi-asserted-by":"crossref","unstructured":"Mahony, B., and Dong, J.S.: \u2018Overview of the semantics of TCOZ\u2019, Araki, K., Galloway, A., Taguchi, K., IFM'99: Integrated formal methods, (Springer-Verlag, York, UK 1999), p. 66\u201385","DOI":"10.1007\/978-1-4471-0851-1_5"},{"key":"10.1049\/ip-sen:20050014_r20","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"key":"10.1049\/ip-sen:20050014_r21","first-page":"1116","author":"Mahony","year":"1999","journal-title":"FM'99: World Congress on Formal Methods"},{"key":"10.1049\/ip-sen:20050014_r22","first-page":"276","author":"Smith","year":"1999","journal-title":"Proc. 9th Annual Z-User Meeting"},{"key":"10.1049\/ip-sen:20050014_r23","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1145\/211782.211842","author":"Lung","year":"1995","journal-title":"Proc. ACM SIGSOFT 1995 Symp. on Software Reusability"},{"key":"10.1049\/ip-sen:20050014_r24","unstructured":"Inverardi, P., Muccini, H., Richardson, D., and Ficks, S.: \u2018The teleservices and remote medical care system (TRMCS)\u2019, 2000)"},{"key":"10.1049\/ip-sen:20050014_r25","author":"Garlan","year":"1994","journal-title":"Proc. 16th Int. Conf. on Software Engineering"},{"key":"10.1049\/ip-sen:20050014_r26","author":"van den Brand","year":"2001","journal-title":"Proc. Compiler Construction 2001 (CC 2001)"},{"key":"10.1049\/ip-sen:20050014_r27","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/CDS.1996.509341","author":"Bishop","year":"1996","journal-title":"Int. Conf. on Configurable Distributed Systems"},{"key":"10.1049\/ip-sen:20050014_r28","unstructured":"Dong, J.S., and Mahony, B.: \u2018Active objects in TCOZ\u2019, Staples, J., Hinchey, M., Liu, S., The 2nd IEEE Int. Conf. on Formal Engineering Methods (ICFEM'98), (IEEE Computer Society Press 1998), p. 16\u201325"},{"key":"10.1049\/ip-sen:20050014_r29","volume":"2283","author":"Nipkow","year":"2002"},{"key":"10.1049\/ip-sen:20050014_r30","first-page":"681","author":"Zhang","year":"2003","journal-title":"CAiSE"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20050014?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T03:18:14Z","timestamp":1609471094000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20050014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:20050014","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}