Behavior Engineering for the Analysis and Verification of Processes
暂无分享,去创建一个
[1] Robert L. Glass. Is this a revolutionary idea, or not? , 2004, CACM.
[2] David Tuffley,et al. Behavior Engineering as process model verification tool , 2010 .
[3] G. Box. Robustness in the Strategy of Scientific Model Building. , 1979 .
[4] Geoff Dromey,et al. A Hierarchical Architecture for Modeling Complex Software Intensive Systems Using Behavior Trees , 2009 .
[5] Mary Beth Chrissis,et al. CMMI: Guidelines for Process Integration and Product Improvement , 2003 .
[6] Terry Rout,et al. Using Composition Trees to Model and Compare Software Process , 2011, SPICE.
[7] Kirsten Winter,et al. Formalising Behaviour Trees with CSP , 2004, IFM.
[8] Brian Henderson-Sellers,et al. Software process improvement for component-based software engineering: an introduction to the OOSPICE project , 2002, Proceedings. 28th Euromicro Conference.
[9] R. Geoff Dromey. Climbing over the "No Silver Bullet" Brick Wall , 2006, IEEE Softw..