[Hỏi] Đặc tả hình thức

[10520253]

_ Do 1 số lý do chủ quan cũng có mà khách quan cũng có nên học kì sau e đã dk môn Đặc tả hình thức . Tình hình là e chưa biết 1 chút thông tin gì về môn này hết , các đàn anh có thể cho e ít thông tin đc k? và K5 thì bây giờ có nên học môn này luôn k (chỉ xét về mặt kiến thức thui nghe- liệu có đủ kiến thức để học không )

[08520557]

Đại khái môn này là ta dùng các quy chuẩn (từ khóa, quy luật sử dụng) để đặc tả lại ý muốn, yêu cầu, điều kiện, thuật toán,... cho các bài toán để giải trên máy tính.

[08520195]

_ Do 1 số lý do chủ quan cũng có mà khách quan cũng có nên học kì sau e đã dk môn Đặc tả hình thức . Tình hình là e chưa biết 1 chút thông tin gì về môn này hết , các đàn anh có thể cho e ít thông tin đc k? và K5 thì bây giờ có nên học môn này luôn k (chỉ xét về mặt kiến thức thui nghe- liệu có đủ kiến thức để học không )

khoa CNPM phải k

[07520004]

_ Do 1 số lý do chủ quan cũng có mà khách quan cũng có nên học kì sau e đã dk môn Đặc tả hình thức . Tình hình là e chưa biết 1 chút thông tin gì về môn này hết , các đàn anh có thể cho e ít thông tin đc k? và K5 thì bây giờ có nên học môn này luôn k (chỉ xét về mặt kiến thức thui nghe- liệu có đủ kiến thức để học không )

Với KHMT thì đặc tả hình thức nghĩa là các nguyên tắc xây dựng một ngôn ngữ rõ ràng, không đa nghĩa, không mù mờ để mô tả vấn đề nào đó.
Còn với CNPM thì đặc tả hình thức == UML.

[10520253]

khoa CNPM phải k

Vâng, e khoa mềm "bự" =]]
Sao 2 khoa khác nhau thì ý nghĩa đối với mỗi khoa lại khác nhỉ?
p/s: có yêu cầu cần thiết gì khi học môn này k mấy bác?

[07520004]

Vâng, e khoa mềm "bự" =]]
Sao 2 khoa khác nhau thì ý nghĩa đối với mỗi khoa lại khác nhỉ?
p/s: có yêu cầu cần thiết gì khi học môn này k mấy bác?

Khoa học máy tính là đặc tả đủ thứ còn công nghệ phần mềm chỉ tập trung vào đặc tả cái phần mềm thôi =))