Bu referans belirtilen kataloğu tanımlar. Güncel teklifi ve başlangıç için geçerli koşulları doğrulamak üzere kuruma başvurun.
Açıklama
Yazılım Mühendisliğinde Resmi Yöntemler Yazılımın belirtimi ve doğruluğu. Konular arasında cebirsel belirtimler, programlama dillerinin anlambilimi, Hoare/dinamik mantık, belirtim dilleri ve program dönüşümü yer alır. Dersler, haftada 3 saat; laboratuvar, haftada 2 saat. Önkoşul(lar): üç buçuk COSC kredisi ve MATH 1P67. Not: bu ders birden fazla sunum modunda verilebilir. Sunum yöntemi, ilgili dönemin akademik ders takviminde listelenecektir.
Önkoşullar
- Önkoşul(lar): üç buçuk COSC kredisi ve MATH 1P67.
Şartlar ve koşullar
- Önkoşul(lar): üç buçuk COSC kredisi ve MATH 1P67.
- Not: bu ders birden fazla sunum biçiminde verilebilir. Sunum yöntemi ilgili dönemin akademik zaman çizelgesinde listelenecektir.
Kaynak metin orijinal dilinde
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.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://brocku.ca/webcal/2024/undergrad/cosc.html