VNIT

Too lazy to think of a slogan

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!

First Page Previous Page  1   2  Next Page Last Page
Locked Đặc tả phần mềm
0
question Gởi bởi thaphuong (21:12 09-03-2007)
Bài: 4 / Điểm VCS: 2 /

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
Locked Re: Đặc tả phần mềm
0
answer Gởi bởi Thành Bá Nguyễn (22:28 09-03-2007)
Bài: 18,319 / Điểm VCS: 17,795 /

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

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è?
Locked Re: Đặc tả phần mềm
0
answer Gởi bởi thaphuong (23:58 09-03-2007)
Bài: 4 / Điểm VCS: 2 /

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
Locked Re: Đặc tả phần mềm
0
answer Gởi bởi loso (18:21 14-03-2007)
Bài: 129 / Điểm VCS: 118 /

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

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è?

Hình như có ngôn ngữ Z là chuyên dùng để đặc tả.
Locked Re: Đặc tả phần mềm
0
answer Gởi bởi cl (21:30 14-03-2007)
Bài: 2,188 / Điểm VCS: 1,988 /

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

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è?

Hình như có ngôn ngữ Z là chuyên dùng để đặc tả.

Z là formal specification "notation" chứ không phải là language.
Splendidly null
Locked Re: Đặc tả phần mềm
0
answer Gởi bởi loso (14:15 15-03-2007)
Bài: 129 / Điểm VCS: 118 /

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ả.
Locked Re: Đặc tả phần mềm
0
answer Gởi bởi cl (20:18 15-03-2007)
Bài: 2,188 / Điểm VCS: 1,988 /

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ả.

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
Locked Re: Đặc tả phần mềm
0
answer Gởi bởi ctjp (20:41 15-03-2007)
Bài: 250 / Điểm VCS: 235 /


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)


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 ...
Locked Re: Đặc tả phần mềm
0
smile Gởi bởi cl (21:23 15-03-2007)
Bài: 2,188 / Điểm VCS: 1,988 /


hì hì
Bác cl chắc là thạo nhất Foster language ? ;)

VB, actually ;)
Splendidly null
Locked Re: Đặc tả phần mềm
0
answer Gởi bởi giusep0903 (12:20 17-09-2010)
Bài: 1 / Điểm VCS: 1 /

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
First Page Previous Page  1   2  Next Page Last Page

Thống kê

Hiện tại web site có 85,801 thành viên. Xin chào đón thành viên mới nhất meocon_th_90.

Các thành viên đã tạo 62,791 chủ đề và 241,917 bài viết trong 30 box.

Hiện có 0 thành viên và 1 khách đang trực tuyến.

Template by styleshout / Icons by Tango Icon Library and FamFamFam.