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ố 4, 2011
Mục lục:
DòngNội dung
1On tracing reactive systems / Shahar Maoz, David Harel
2Rigorous identification and encoding of trace-links in model-driven engineering / Richard F. Paige and others
3The many meanings of UML 2 Sequence Diagrams : a survey / Zoltán Micskei, Hélène Waeselynck
4An executable object-oriented semantics and its application to firewall verification / Kenro Yatake, Takuya Katayama
5Model-driven generative development of measurement software / Martin Monperrus and others
6Model-based qualitative risk assessment for availability of IT infrastructures / Emmanuele Zambon and others