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ố 1, 2011
Mục lục:
DòngNội dung
1VbTrace : using view-based and model-driven development to support traceability in process-driven SOAs / Huy Tran, Uwe Zdun, Schahram Dustdar
2Semantics of trace relations in requirements models for consistency checking and inferencing / Arda Goknil and others
3Modeling NASA swarm-based systems : using agent-oriented software engineering and formal methods / Joaquin Peña and others
4Synthesis of test scenarios using UML activity diagrams / Ashalatha Nayak, Debasis Samanta
5Design verification in model-based µ -controller development using an abstract component / Yunja Choi, Christian Bunse
6Exploring inconsistencies between modal transition systems / Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel