Formal Specification and Analysis in Software Engineering
Queen's University · ON · CISC328
Formal Specification and Analysis in Software Engineering is a subject at Queen's University, ON. It covers topics like engineering-design, software-engineering, structural-engineering, systems-engineering. It is part of 1 degree. The information below is compiled from public course material — approximate, not official.
Queen's University
CISC328
3.00
Topics covered
Degrees that include Formal Specification and Analysis in Software Engineering
Frequently asked questions
What is Formal Specification and Analysis in Software Engineering about?
Formal Specification and Analysis in Software Engineering covers topics like engineering-design, software-engineering, structural-engineering, systems-engineering.
Which degrees include Formal Specification and Analysis in Software Engineering?
Formal Specification and Analysis in Software Engineering is part of 1 degree, including Computing – Major (Computing) – Bachelor of Computing (Honours).
How many credit points is Formal Specification and Analysis in Software Engineering?
Formal Specification and Analysis in Software Engineering at Queen's University is typically around 3.00 credit points. Approximate — confirm with the university.
Where is Formal Specification and Analysis in Software Engineering taught?
Formal Specification and Analysis in Software Engineering is taught at Queen's University, ON.
Studying Formal Specification and Analysis in Software Engineering?
Peernovo helps students research, choose and thrive at university — across Australia, the US, the UK and Canada — powered by our AI backbone:
- Explore & compare degrees — across universities and countries with honest, specific information.
- "What Can I Be?" career guidance — an AI pathway councillor that maps degrees to careers.
- See who's studying — your degree at your university — find classmates and study groups.
- AI Task Coach — a Socratic study companion that plans your work around your life.
- Honours & Thesis Research Coach — structure and move your research project forward.
- Smart study planner, exam prep and a daily digest — to keep you on track.
Sources: Queen's University public course catalogue. Information is compiled and summarised — not copied verbatim — and is approximate; always confirm with the original source.
Something not right on this page, or want it changed? Let us know and we'll review it.