Esta referencia describe el catálogo indicado. Consulte con la institución para confirmar la oferta actual y las condiciones aplicables a su ingreso.
Descripción
Métodos Formales en Ingeniería de Software Especificación y corrección del software. Los temas incluyen especificaciones algebraicas, semántica de lenguajes de programación, lógica de Hoare/dinámica, lenguajes de especificación, transformación de programas. Conferencias, 3 horas por semana; laboratorio, 2 horas por semana. Requisito(s): tres créditos y medio de COSC y MATH 1P67. Nota: este curso puede ofrecerse en múltiples modos de impartición. El método de impartición se indicará en el horario académico, en el periodo correspondiente.
Prerrequisitos
- Requisito(s): tres créditos y medio de COSC y MATH 1P67.
Condiciones y modalidades
- Requisito(s): tres créditos y medio de COSC y MATH 1P67.
- Nota: este curso puede ofrecerse en múltiples modos de impartición. El método de impartición aparecerá en el calendario académico, en el período aplicable.
Texto de referencia en su idioma de origen
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.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://brocku.ca/webcal/2024/undergrad/cosc.html