Denne referansen beskriver den angitte katalogen. Kontakt institusjonen for å bekrefte gjeldende tilbud og betingelser som gjelder for din start.
Beskrivelse
Formelle metoder i programvareteknikk Spesifikasjon og korrekthet for programvare. Emner inkluderer algebraiske spesifikasjoner, semantikk for programmeringsspråk, Hoare/dynamisk logikk, spesifikasjonsspråk, programtransformasjon. Forelesninger, 3 timer per uke; lab, 2 timer per uke. Forutsetning(er): tre og en halv COSC-kreditter og MATH 1P67. Merknad: dette emnet kan tilbys i flere undervisningsformer. Undervisningsformen vil være oppført i den akademiske timeplanen i gjeldende termin.
Forkunnskaper
- Forutsetning(er): tre og en halv COSC-kreditter og MATH 1P67.
Vilkår og bestemmelser
- Forutsetning(er): tre og en halv COSC-kreditter og MATH 1P67.
- Merk: dette kurset kan tilbys i flere undervisningsformer. Undervisningsform angis i studieplanen for aktuell termin.
Referansetekst i originalspråket
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.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://brocku.ca/webcal/2024/undergrad/cosc.html