Element Based Semantics in Multi Formalism Performance Models
暂无分享,去创建一个
[1] Paola Inverardi,et al. A review on queueing network models with finite capacity queues for software architectures performance prediction , 2003, Perform. Evaluation.
[2] William H. Sanders,et al. The Möbius modeling environment , 2004 .
[3] Stefano Marrone,et al. Interfaces and binding in component based development of formal models , 2009, VALUETOOLS.
[4] William H. Sanders,et al. MULTI-FORMALISM AND MULTI-SOLUTION-METHOD MODELING FRAMEWORKS : THE MÖBIUS APPROACH , 2003 .
[5] William H. Sanders,et al. The Mobius Modeling Environment: Recent Extensions - 2005 , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
[6] Kishor S. Trivedi,et al. Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software , 1997, IEEE Transactions on Reliability.
[7] 하수철,et al. [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .
[8] Kishor S. Trivedi,et al. Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package , 2012 .
[9] William H. Sanders,et al. The Möbius Framework and Its Implementation , 2002, IEEE Trans. Software Eng..