Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
Giới thiệu
Chức năng nhiệm vụ
Nhân sự
Thời gian làm việc
Giới thiệu chung
Sơ đồ Thư viện
Tra cứu
Tìm lướt
Tìm Từ khóa
Tìm Chuyên gia
Tìm Toàn văn
Tra cứu liên thư viện
Tài Liệu Mới
Cơ sở dữ liệu mở
Tạp chí
Người dùng
Hướng dẫn (Video)
Hướng dẫn sử dụng
Gửi yêu cầu
Nội quy - Chính sách
Diễn Đàn
Gửi yêu cầu
DỊCH VỤ THƯ VIỆN
Dịch vụ miễn phí
Cung cấp tài liệu học tập
Dịch vụ in ấn
Đăng nhập
Nhan đề
Tác giả
Chủ đề
Điểm truy cập chính
Tóm tắt
Mọi trường
Toàn văn
Software and systems modeling, Tập 10, Số 1, 2011
Mục lục:
STT
Nội dung
1
VbTrace : using view-based and model-driven development to support traceability in process-driven SOAs / Huy Tran, Uwe Zdun, Schahram Dustdar
2
Semantics of trace relations in requirements models for consistency checking and inferencing / Arda Goknil and others
3
Modeling NASA swarm-based systems : using agent-oriented software engineering and formal methods / Joaquin Peña and others
4
Synthesis of test scenarios using UML activity diagrams / Ashalatha Nayak, Debasis Samanta
5
Design verification in model-based µ -controller development using an abstract component / Yunja Choi, Christian Bunse
6
Exploring inconsistencies between modal transition systems / Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel