Tham chiếu này mô tả mục lục được chỉ ra. Hãy liên hệ cơ sở để xác nhận chương trình hiện tại và các điều kiện áp dụng cho kỳ nhập học của bạn.
Mô tả
Phương pháp Hình thức trong Kỹ thuật Phần mềm: Quy định và tính đúng đắn của phần mềm. Các chủ đề bao gồm đặc tả đại số, ngữ nghĩa của ngôn ngữ lập trình, logic Hoare/logic động, ngôn ngữ đặc tả, chuyển biến chương trình. Bài giảng, 3 giờ mỗi tuần; phòng thí nghiệm, 2 giờ mỗi tuần. Điều kiện tiên quyết: ba rưỡi tín chỉ COSC và MATH 1P67. Ghi chú: khóa học này có thể được cung cấp theo nhiều hình thức giảng dạy. Hình thức giảng dạy sẽ được liệt kê trên thời khóa biểu học thuật, trong học kỳ tương ứng.
Tiền đề
- Điều kiện tiên quyết: ba rưỡi tín chỉ COSC và MATH 1P67.
Điều kiện và thủ tục
- Điều kiện tiên quyết: ba rưỡi tín chỉ COSC và MATH 1P67.
- Lưu ý: học phần này có thể được cung cấp theo nhiều hình thức giảng dạy. Phương thức giảng dạy sẽ được niêm yết trên thời khóa biểu học thuật, trong học kỳ tương ứng.
Văn bản tham chiếu bằng ngôn ngữ gốc
Formal Methods in Software Engineering Specification and correctness of software. Topics include algebraic specifications, semantics of programming languages, Hoare/dynamic logic, specification languages, program transformation. Lectures, 3 hours per week; lab, 2 hours per week. Prerequisite(s): three and one-half COSC credits and MATH 1P67 . Note: this course may be offered in multiple modes of delivery. The method of delivery will be listed on the academic timetable, in the applicable term.
- Prerequisite(s): three and one-half COSC credits and MATH 1P67 .
- Note: this course may be offered in multiple modes of delivery. The method of delivery will be listed on the academic timetable, in the applicable term.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://brocku.ca/webcal/2024/undergrad/cosc.html