NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
Software and systems modeling, Tập 10, Số 2, 2011
Mục lục:
DòngNội dung
1Formalizing requirements with object models and temporal constraints / Alessandro Cimatti and others
2An algebra of product families / Peter Höfner, Ridha Khedri, Bernhard Möller
3Büchi automata for modeling component connectors / Mohammad Izadi, Marcello Bonsangue, Dave Clarke
4Testing timed systems modeled by Stream X-machines / Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons
5Precise null-pointer analysis / Fausto Spoto
6Verifying workflow processes: a transformation-based approach / Haiping Zha and others
7A model-driven method for describing and predicting the reliability of composite services / Paolo Bocciarelli, Andrea D’Ambrogio