ارایه یک الگوریتم نوین جهت تبدیل مدلهای معماری به پردازه های حالت محدود جهت ارزیابی کارایینرم افزارهای توزیع شده

مراجع و منابع این مقاله:

• Murray Woodside, Greg Franks, Dorina C. Petriu, The Future of ...
• C.U. Smith, C. M. Llado, V Cortelless, A.diMarco, L. Williams, ...
• S. Distefano, M. Scapa, A. Puliafito, Software Performance Analysis in ...
• Nima Kaveh and Wolfgang Emmerich, Deadlock Detection in Distributed Object ...
• Andrew J. Bennett1, A. J Field, and C. Murray Woodside." ...
• G Chiol , :Gre t SPN 1 5 softw re ...
• G Ci rdo, J Mu I , nd K Trivedi, ...
• _ _ _ _ _ _ n lysis, nd ...
• N G Leveson nd J L Stolzy, "S fety _ ...
• J Meyer, "Perform bility modeling of distributed re I-time systems, ...
• Robert G.Pett IV, Hassan Gom a, Modelling Behavioral Pattern Of ...
• _ alsamo, and P.Inverardi. _ _ _ ...
• _ _ _ _ for software architecture early performanc analysis.in ...
• E .Lazowska, J .Kahorj an, G. S.Graham, and K.C.Sevick. Quantitative ...
• Andrew J. Bennett and A J. Field." Performance Engineering with ...
• Nima Kaveh and Wolfgang Emmerich, Deadlock Detection in Distributed Object ...
• Alan Fekete, FSP Lectures, University of Sydney, 2004. ...
• _ _ _ _ Philip Mayer, ad Mirco Tribastone Safety ...
• Simon C. Stanton, B. Sc, Validation and Verification of Software ...
نمایش کامل مراجع