Trang chủ » Diễn Đàn » Lập trình và Phát triển Web » Software Engineering - Công Nghệ Phần Mềm » Đặc tả phần mềm
Chủ đề đã bị khóa, bạn không thể xóa, sửa hay trả lời trong chủ đề này!
|
|
|---|
|
0
Xin mọi người cho tôi hỏi, khi đặc tả thuật toán thì hay dùng ngôn ngữ gì để đặc tả, xin cho ví dụ cụ thể.
Còn trong quá trình xây dựng tài liệu như đặc tả yêu cầu, phân tích hệ thống mà dùng ngôn ngữ hình thức thì cũng dùng ngôn ngữ nào để đặc tả. Xin cảm ơn |
|
|
|
0
Xin mọi người cho tôi hỏi, khi đặc tả thuật toán thì hay dùng ngôn ngữ gì để đặc tả, xin cho ví dụ cụ thể. Các từ thuật ngữ tiéng Việt nghe hơi...ngồ ngộ. Nhưng thường để "đặc tả" về phần mềm người ta dùng UML phải không hè?
---------
NBThanh Tutorial Room, cập nhật thường xuyên bài viết mới. Các bài viết mới cập nhật: - PHP - Lưu nội dung file ảnh vào CSDL NEW! - Làm việc với CSDL MySQL trong PHP - Học PHP qua ví dụ - Gởi email text, HTML, tiếng việt Unicode - Học PHP qua ví dụ - 1 chương trình download manager/giấu đường dẫn download - Học PHP qua ví dụ - Làm việc với Cookie và Session |
|
|
|
0
Tôi là người mới tập toẹ thiết kế phần mềm mà. Thế còn đặc tả thuật toán thì dùng ngôn ngữ gì? Dùng giả lệnh C có được không
|
|
|
|
0
Xin mọi người cho tôi hỏi, khi đặc tả thuật toán thì hay dùng ngôn ngữ gì để đặc tả, xin cho ví dụ cụ thể. Hình như có ngôn ngữ Z là chuyên dùng để đặc tả. |
|
|
|
0
Xin mọi người cho tôi hỏi, khi đặc tả thuật toán thì hay dùng ngôn ngữ gì để đặc tả, xin cho ví dụ cụ thể. Z là formal specification "notation" chứ không phải là language.
Splendidly null
|
|
|
|
0
Tôi là người mới tập toẹ thiết kế phần mềm mà. Thế còn đặc tả thuật toán thì dùng ngôn ngữ gì? Dùng giả lệnh C có được không Nếu dùng giả lệnh C thì có lẽ là thiết kế rồi chứ kô phải là đặc tả nữa. Đặc tả có thẻ hiểu là input, output và các tính chất của nó. Ví dụ với thuật toán sắp xếp thì có thể đặc tả như sau input: n, a1, a2, ..., an. n thuộc N, a1, a2, ..., an thuộc R. Output: b1, b2, ..., bn là 1 hoán vị của chuỗi a. Và b1 <= b2 <= b3 .... <=bn Nếu kô dùng ngôn ngữ tự nhiên thì có thể dùng Z notation để đặc tả. |
|
|
|
0
Tôi là người mới tập toẹ thiết kế phần mềm mà. Thế còn đặc tả thuật toán thì dùng ngôn ngữ gì? Dùng giả lệnh C có được không Nói cach khác đặc tả là pre-condition (input) post-condition (output) operation để từ in thành out. Z notation được chọn vì nó thiên về declarative chứ lkhông phải procedural như những programming language (real and pseudo)
Splendidly null
|
|
|
|
0
lambda pi OCL UML hì hì Bác cl chắc là thạo nhất Foster language ? ;)
----
just walk away, just say goodbye, don't turn around now ... |
|
|
|
0
VB, actually ;)
Splendidly null
|
|
|
|
0
Dùng Ngôn Ngữ Z bạn a.ebook cho bạn tham khảo đó: "Specification of Software Systems" or z formal specifity!
OK |
