{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:20:32Z","timestamp":1759033232708},"reference-count":38,"publisher":"Institution of Engineering and Technology (IET)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[2000]]},"DOI":"10.1049\/ip-sen:20000916","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:09:42Z","timestamp":1027681782000},"page":"203","source":"Crossref","is-referenced-by-count":9,"title":["Architecture-driven software engineering: Specifying, generating, and evolving component-based software systems"],"prefix":"10.1049","volume":"147","author":[{"given":"C.","family":"Chaudet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.M.","family":"Greenwood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Oquendo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.C.","family":"Warboys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:20000916_r1","unstructured":"CHAUDET, C.: \u2018-WRIGHT: un language formel pour la description d'architectures logicielles dynamiques\u2019, 1999, Me\u0301moire de DEA, Universite\u0301 de Savoie in French"},{"key":"10.1049\/ip-sen:20000916_r2","doi-asserted-by":"crossref","unstructured":"GARLAN, D., and SHAW, M.: \u2018An introduction to software architecture\u2019, Advances in software engineering and knowledge engineering, volume I, (World Scientific Publishing Company 1993), p. 1\u201340","DOI":"10.1142\/9789812798039_0001"},{"key":"10.1049\/ip-sen:20000916_r3","unstructured":"\u2018Formal connectors\u2019, Technical report CMU-CS-94-115, 1994"},{"key":"10.1049\/ip-sen:20000916_r4","volume":"10","author":"WARBOYS","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0142-1557","issn-type":"print"},{"key":"10.1049\/ip-sen:20000916_r5","first-page":"428","author":"GREENWOOD","year":"1996","journal-title":"18th international conference on"},{"key":"10.1049\/ip-sen:20000916_r6","author":"ALLOUI","year":"1997"},{"key":"10.1049\/ip-sen:20000916_r7","author":"ALLOUI","year":"1998","journal-title":"IEEE international conference on"},{"key":"10.1049\/ip-sen:20000916_r8","author":"ALLOUI"},{"key":"10.1049\/ip-sen:20000916_r9","unstructured":"WARBOYS, B.C., KAWALEK, P., ROBERTSON, I., and GREENWOOD, R.M.: Business information systems: a process approach, (McGraw-Hill, London 1999)"},{"key":"10.1049\/ip-sen:20000916_r10","unstructured":"CHAUDET, C.: \u2018The writer\/checker system in p-SPACE: A case study\u2019, 2000, LLP\/CESALP Lab, University of Savoie"},{"key":"10.1049\/ip-sen:20000916_r11","first-page":"75","author":"WARBOYS","year":"1999"},{"key":"10.1049\/ip-sen:20000916_r12","unstructured":"SZYPERSKI, C.: Component software: beyond object-oriented programming, (Addison-Wesley 1997)"},{"key":"10.1049\/ip-sen:20000916_r13","first-page":"1","volume":"100","author":"MILNER","year":"1992"},{"key":"10.1049\/ip-sen:20000916_r14","unstructured":"BRUYNOOGHE, R.F., GREENWOOD, R.M., ROBERTSON, I., SA, J., SNOWDON, R.A., and WARBOYS, B.C.: \u2018PADM: towards a total process modelling system\u2019, FINKELSTEIN, A., KRAMER, J., NUSEIBEH, B., Software process modelling and technology, (Research Studies Press, England 1994), p. 293\u2013334"},{"key":"10.1049\/ip-sen:20000916_r15","first-page":"59","author":"WARBOYS","year":"1989","journal-title":"1st international conference on"},{"key":"10.1049\/ip-sen:20000916_r16","unstructured":"ICL: `ProcessWise integrator, PML reference manual'. ICL\/PW\/635\/0, April 1996"},{"key":"10.1049\/ip-sen:20000916_r17","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:20000916_r18","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"MEDVIDOVIC","year":"2000","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:20000916_r19","unstructured":"\u2018ACME: an architectural interconnection language\u2019, Technical report CMU-CS-95-219, 1995"},{"key":"10.1049\/ip-sen:20000916_r20","first-page":"175","author":"GARLAN","year":"1994"},{"key":"10.1049\/ip-sen:20000916_r21","doi-asserted-by":"crossref","unstructured":"MEDVIDOVIC, N.: \u2018ADLs and dynamic architecture changes\u2019, WOLF, A.L.,Second International Software architecture workshopISAW-2, 1996 Oct.),San Francisco, USA","DOI":"10.1145\/243327.243340"},{"key":"10.1049\/ip-sen:20000916_r22","author":"MEDVIDOVIC","year":"1996","journal-title":"Fourth symposium on the"},{"key":"10.1049\/ip-sen:20000916_r23","first-page":"28","author":"MEDVIDOVIC","year":"1996"},{"key":"10.1049\/ip-sen:20000916_r24","first-page":"73","volume":"8","author":"MAGEE","year":"1993"},{"key":"10.1049\/ip-sen:20000916_r25","first-page":"137","author":"MAGEE","year":"1995"},{"key":"10.1049\/ip-sen:20000916_r26","author":"MAGEE","year":"1995","journal-title":"First international workshop on"},{"key":"10.1049\/ip-sen:20000916_r27","first-page":"3","author":"MAGEE","year":"1996","journal-title":"Fourth symposium on the"},{"key":"10.1049\/ip-sen:20000916_r28","first-page":"201","volume":"6","author":"BINNS","year":"1995"},{"key":"10.1049\/ip-sen:20000916_r29","unstructured":"\u2018MetaH programmer's manual\u2019, Technical report, 1996"},{"key":"10.1049\/ip-sen:20000916_r30","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"LUCKHAM","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:20000916_r31","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:20000916_r32","unstructured":"RAPIDE DESIGN TEAM: `Rapide 1.0 language reference manual'. Program Analysis and Verification Group, Computer Systems Lab, Stanford University, 1996"},{"key":"10.1049\/ip-sen:20000916_r33","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/32.385972","volume":"21","author":"MORICONI","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:20000916_r34","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"SHAW","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:20000916_r35","author":"SHAW","year":"1996","journal-title":"Third international conference on"},{"key":"10.1049\/ip-sen:20000916_r36","first-page":"71","author":"ALLEN","year":"1994","journal-title":"16th international conference on"},{"key":"10.1049\/ip-sen:20000916_r37","unstructured":"\u2018Pict: a programming language based on the Pi-calculus\u2019, CSCI technical report 476, 1998"},{"key":"10.1049\/ip-sen:20000916_r38","doi-asserted-by":"crossref","unstructured":"CLAVEL, M., DURAN, F., EKER, S., LINCOLN, P., MARTI-OLIET, N., MESEGUER, J., and QUESADA, J.: \u2018Maude: specification and programming in rewriting logic\u2019, Maude System documentation, 1999)","DOI":"10.1007\/3-540-48685-2_18"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20000916?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:17:06Z","timestamp":1609471026000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20000916"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":38,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2000]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:20000916","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}