Referensi ini menggambarkan katalog yang disebutkan. Hubungi lembaga untuk mengonfirmasi penawaran saat ini dan ketentuan yang berlaku untuk pendaftaran Anda.
Deskripsi
Metode Formal dalam Rekayasa Perangkat Lunak Spesifikasi dan kebenaran perangkat lunak. Topik mencakup spesifikasi aljabar, semantik bahasa pemrograman, logika Hoare/dinamis, bahasa spesifikasi, transformasi program. Kuliah, 3 jam per minggu; lab, 2 jam per minggu. Prasyarat: tiga setengah kredit COSC dan MATH 1P67. Catatan: mata kuliah ini dapat ditawarkan dalam berbagai mode penyampaian. Metode penyampaian akan tercantum pada jadwal akademik, pada periode yang berlaku.
Prasyarat
- Prasyarat: tiga setengah kredit COSC dan MATH 1P67.
Syarat dan ketentuan
- Prasyarat: tiga setengah kredit COSC dan MATH 1P67.
- Catatan: mata kuliah ini mungkin ditawarkan dalam beberapa moda penyampaian. Metode penyampaian akan tercantum di jadwal akademik, pada periode yang berlaku.
Teks rujukan dalam bahasa aslinya
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.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://brocku.ca/webcal/2024/undergrad/cosc.html