Computer Science ›› 2015, Vol. 42 ›› Issue (12): 82-86.
Previous Articles Next Articles
CHAI Ye-sheng, ZHU Xue-yang, YAN Rong-jie and ZHANG Guang-quan
| [1] Gokhale S S,Trivedi K S.Analytical models for architecture-based software reliability prediction:A unification framework[J].IEEE Transactions on Reliability,2006,5(4):578-590 [2] Booch G,Rumbaugh J,Jacobson I.Unified Modeling Language User Guide[M].New York:Addison Wesley,2005 [3] OMG.UML Profile for MARTE,Beta 2.http://www.org/cgi-bin/doc?ptc /2008-06-08 [4] Cortellessa V,Singh H,Cukic B.Early reliability assessment of UML based software models[C]∥Proceedings of the 3rd International Workshop on Software and Performance.Rome,Italy:ACM,2002:302-309 [5] Genaina N R,David S R.Sebastian Uchitel.Reliability Prediction in Model-Driven Development[C]∥Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems.Berlin:Springer,2005:339-354 [6] Cheung R C.A User-Oriented Software Reliability Model[J].IEEE Transactions on Software Engineering,1980,6(2):118-125 [7] Majzik I,Pataricza A,Bondavalli A.Stochastic dependability analysis of system architecture based on UML Models[J].Architecting Dependable Systems,2003,7:219-244 [8] 刘毅,麻志毅,何啸,等.一种从UML模型到可靠性分析模型的转换方法[J].软件学报,2010,1(2):287-304 Liu Yi,Ma Zhi-yi,He Xiao,et al.Approach to Transforming UML Model to Reliability Analysis Model[J].Journal of Software,2010,1(2):287-304 [9] Forejt V,Kwiatkowska M,Norman G,et al.Automated Verification Techniques for Probabilistic Systems[C]∥Proceedings of 11th International School on Formal Methods for the Design of Computer,Communication and Software Systems(SFM 2011).Bertinoro,Italy,Springer,2011:53-113 [10] Kwiatkowska M,Norman G,Parker D.PRISM 4.0:Verification of Probabilistic Realtime Systems[C]∥Proceedings of 23rd International Conference on Computer Aided Verification.Berlin:Springer,2011:585-591 [11] FMPAer.http://lcs.ios.ac.cn/~zxy/tools/fmpaer.htm [12] Gérard S,Dumoulin C,Tessier P,et al.Papyrus:A UML2 Tool for Domain Specific Language Modeling[C]∥Proceedings of Model-Based Engineering of Embedded Real-Time Systems.Germany,Springer,2010:361-368 [13] Jouault F,Kurtev I.Transforming models with ATL[C]∥Proceedings of the 2005 International Conference on Satellite Events at the MoDELS.Italy,Springer,2005:128-138 |
| No related articles found! |
|
||
Home