- Ít chú thích.
- Chưa nêu được ra Dafny có thể dùng với ngôn ngữ lập trình nào hay là tất cả các ngôn ngữ lập trình phổ biến hiện nay.
- Một số câu đọc khá khó hiểu. Ví dụ "Dafny dựa trên các chú thích cao cấp về lí do và chứng minh tính đúng đắn của code" phần Introduction (Giới thiệu).
- Một số lỗi về trình bày: Việt hóa tiếng Anh (ví dụ: module chứ không phải mô đun)
- Phân chia các mục khá rõ ràng.
- Cách viết trong từng mục chia ra theo cấu trúc khá dễ đọc, đầu tiên là định nghĩa, giải thích, ví dụ kèm giải thích về ví dụ rất cụ thể.
- Diễn giải các cách làm kèm ví dụ khá dễ hiểu thay vì chỉ viết. Giải thích đi kèm ví dụ rất cụ thể, chi tiết giúp người đọc và người sử dụng có thể hiểu hơn về công cụ Dafny.
- Nội dung viết rất chi tiết, khá ổn giúp người sử dụng có thể áp dụng vào thực hành luôn được để biết dùng Dafny.
- Nên viết các từ tiếng anh kèm giải thích tiếng việt hoặc đánh dấu chú thích bên dưới.
- Nên viết các chú thích.
- Nên viết tách thành các đoạn trong một phần khi giải thích về các thuật ngữ khác nhau, giúp người đọc phân biệt được đó là giải thích về những thuật ngữ khác nhau.
- Các thuật ngữ chuyên ngành (thường là tiếng Anh) khi viết kèm trong đoạn nên đổi kiểu chữ thành in nghiêng để phân biệt. Ví dụ: boolean.
- Các kí tự chuyên ngành có thể viết luôn là kí tự không cần viết thành cách đọc. Ví dụ có đoạn viết là "dấu chấm phẩy chấm dứt câu lệnh".
- Các phần diễn giải có thể kèm ảnh lúc làm cho sinh động và càng thể hiện rõ hơn công cụ này có ích như thế nào.
- Có thể có những công cụ nào như Dafny hiện nay, có gì để so sánh hay không. Các bạn có thể so sánh để làm nổi bật nên tại sao nên dùng Dafny.
Nhóm: 8.5/10