Esta referência descreve o catálogo indicado. Consulte a instituição para confirmar a oferta atual e as condições aplicáveis ao seu ano de ingresso.
Descrição
Métodos Formais em Engenharia de Software Especificação e corretude de software. Tópicos incluem especificações algébricas, semântica de linguagens de programação, lógica de Hoare/dinâmica, linguagens de especificação, transformação de programas. Aulas, 3 horas por semana; laboratório, 2 horas por semana. Pré-requisito(s): três créditos e meio COSC e MATH 1P67. Observação: este curso pode ser oferecido em múltiplos modos de entrega. O método de entrega será indicado no calendário acadêmico, no período aplicável.
Pré-requisitos
- Pré-requisito(s): três créditos e meio COSC e MATH 1P67.
Condições e modalidades
- Pré-requisito(s): três créditos e meio COSC e MATH 1P67.
- Observação: este curso pode ser oferecido em múltiplos modos de entrega. O método de entrega será indicado no horário acadêmico, no período aplicável.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://brocku.ca/webcal/2024/undergrad/cosc.html