Formal design models:†Precise model

Formal design models:
†Precise models: finite state models
Attribute-specific models (SAL, JSR models)

Kết quả (Việt) 1:

Các mô hình thiết kế chính thức:Chính xác mô hình: mô hình hữu hạn nhà nướcThuộc tính cụ thể các mô hình (SAL, mô hình JSR)

Kết quả (Việt) 2:

Mô hình chính thức thiết kế:
?? mô hình chính xác: mô hình trạng thái hữu hạn
mô hình thuộc tính cụ thể (SAL, mô hình JSR)

Kết quả (Việt) 3:

Hình thức thiết kế mô hình:† mô hình chính xác: hạn chế tình trạng mô hình.Thuộc tính cụ thể của mô hình (SAL, JSR Model)