Câu hỏi được gắn thẻ «formal-methods»

So sánh kỹ thuật phần mềm với kỹ thuật dân dụng, tôi rất ngạc nhiên khi quan sát một cách suy nghĩ khác: bất kỳ kỹ sư dân sự nào cũng biết rằng nếu bạn muốn xây dựng một túp lều nhỏ trong vườn, bạn có thể lấy nguyên liệu …

63 programming-practices  theory  formal-methods 

Nếu bạn đã được đào tạo về việc sử dụng các phương pháp chính thức (FM) để lập trình: Làm thế nào hữu ích bạn đã tìm thấy nó? Việc đào tạo FM của bạn liên quan đến điều gì (ví dụ như một khóa học, một cuốn sách)? Bạn …

17 code-quality  formal-methods 

Đã đóng cửa . Câu hỏi này dựa trên ý kiến . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để có thể trả lời bằng sự kiện và trích dẫn bằng cách chỉnh sửa bài đăng này . …

13 development-process  code-quality  formal-methods 

Googling "lý thuyết kiểm thử phần mềm" dường như chỉ đưa ra các lý thuyết theo nghĩa mềm của từ này; Tôi đã không thể tìm thấy bất cứ điều gì sẽ phân loại thành một lý thuyết theo nghĩa toán học, lý thuyết thông tin hoặc một số lĩnh …

12 testing  math  theory  formal-methods  information-theory 

Tôi hiện đang tái cấu trúc một phần của một cơ sở mã lớn mà không có đơn vị nào kiểm tra bất cứ điều gì. Tôi đã cố gắng cấu trúc lại mã theo cách tàn bạo, tức là bằng cách đoán mã đang làm gì và những thay …

10 unit-testing  refactoring  legacy  formal-methods 

Gần đây tôi đã được phân công làm việc trong một dự án nhỏ đang được triển khai tại Haskell. Đến từ nền tảng OO / bắt buộc, tôi đã quen với việc chuyển đổi các yêu cầu / câu chuyện của người dùng thành các trường hợp sử dụng …

8 functional-programming  requirements  haskell  logic  formal-methods