Skip to Main Content

SENG523

Download as PDF

Formal Methods

Electrical and Software Engineering EN - Schulich School of Engineering

Subject

SENG - Software Engineering

Description

Software specification, verification, and validation using a mathematically rigorous technique.

Prerequisite(s): 3 units from Software Engineering 300, 301 or Software Engineering for Engineers 480.

Course Attributes

Fee Rate Group(Domestic) - D, Fee Rate Group(International) -C, GFC Hours (3-2T)

Courses may consist of a Lecture, Lab, Tutorial, and/or Seminar. Students will be required to register in each component that is required for the course as indicated in the schedule of classes. Practicums, internships or other experiential learning modalities are typically indicated as a Lab component.

Component

LEC

Component

TUT

Units

3

Repeat for Credit

No

Subject code

SENG
UCalgary Logo

Contact Us

Reach out to us if you have any questions about the new Calendar website or to provide feedback on any of the site navigation. For any questions regarding your program or for specific interpretations of regulations, please connect with an advisor for support.

Site Disclaimer

Please read the Important Notice and Disclaimer to understand your rights and responsibilities with regards to using the Academic Calendar.

Additional Information and Resources

The University of Calgary, located in the heart of Southern Alberta, both acknowledges and pays tribute to the traditional territories of the peoples of Treaty 7, which include the Blackfoot Confederacy (comprised of the Siksika, the Piikani, and the Kainai First Nations), the Tsuut’ina First Nation, and the Stoney Nakoda (including Chiniki, Bearspaw, and Goodstoney First Nations). The City of Calgary is also home to the Métis Nation of Alberta (districts 5 and 6).

The University of Calgary is situated on land Northwest of where the Bow River meets the Elbow River, a site traditionally known as Moh’kins’tsis to the Blackfoot, Wîchîspa to the Stoney Nakoda, and Guts’ists’i to the Tsuut’ina. On this land and in this place we strive to learn together, walk together, and grow together “in a good way.”

Powered by Coursedog