- Quản trị doanh nghiệp vừa và nhỏ(4068)
- Lập trình máy tính(2386)
- Thiết kế đồ họa(1026)
- Điện công nghiệp(2482)
- May và thiết kế thời trang(1528)
- Công nghệ ô tô(1795)
- Kế toán doanh nghiệp(3804)
- Hàn(1928)
- Điện tử Công nghiệp(2356)
- Cắt gọt kim loại(960)
- Quản trị mạng máy tính(3379)
- Kỹ thuật máy lạnh và điều hòa không khí(1675)
- Công nghệ thông tin (ứng dụng phần mềm)(3008)
Translating Fusion/UML to Object-Z
We present an extension of the development method Fusion/UML that translates the results of analysis and design into the formal specification language Object-Z. The extended process establishes a consistency relationship between analysis and design. Furthermore, a formal specifi-cation for the implementation is produced.
Từ khóa: Translating Fusion/UML, Sơ đồ lớp UML, Mô hình UML, Kỹ thuật lập trình, Mô hình lập trình, lập trình máy tính
2 p caodangnghe_01 02/02/2019 1 0
ERROR:unknown local index 'libmoduledocs' in search request
Phát triển bởi Thư viện số
