Demonstrate knowledge including the mathematical notation

Assignment Help Other Subject

Reference no: EM132341265

FORMAL METHODS

Brief Course Description

This course presents some formal notations that are commonly used for the description of computation and computing systems, for the specification of software and for mathematically rigorous arguments about program properties.

Course Objectives

The aims of this course are:

• To introduce students to the mathematical notation and terminology used in formal specification

• To equip students with knowledge of the fundamental principles in formal methods including laws and theorems

• To equip students with an understanding of techniques and procedures required to solve practical problems

• To impart programming skills by writing numerical programs required to solve the practical problems mentioned above

Learning Outcomes

Upon completion of this course students shall be able to:

i) Demonstrate knowledge including the mathematical notation and terminology of formal methods

ii) Describe the fundamental principles including laws and theorems arising from formal methods concepts

iii) Apply formal techniques and procedures to solve practical problems

iv) Demonstrate programming skills by writing numerical programs, (e.g. Matlab) to solve practical problems

Reference no: EM132341265

Questions Cloud

Evaluate software interfaces using appropriate heuristics : HUMAN COMPUTER INTERACTION-Level II Semester I-National Council for Higher Education- BACHELOR OF SCIENCE IN SOFTWARE ENGINEERING.

Project manager not managing the project properly : They feel the focus should be for everyone to just get down to doing the work and that no training or other intervention is required.

Determine success of any policy development endeavor : Stakeholder engagement is a crucial concept in policy development -it usually determines the success of any policy development endeavor.

What the three most important causes of Great Depression : Question - Consider the Great Depression. In your opinion, what were the THREE MOST IMPORTANT causes of the Great Depression

Demonstrate knowledge including the mathematical notation : FORMAL METHODS-Course Level Level II Semester I-National Council for Higher Education- BACHELOR OF SCIENCE IN SOFTWARE ENGINEERING

Networks and installing company computers : The IT Manager was excited about your plans to implement software restriction policies in the new network upgrade. They have been experiencing problems

How organizations implement their it systems : Does the public have the right to know how organizations implement their IT systems?

Explain the underlying principles of data communication : COMPUTER NETWORKS AND DATA COMMUNICATION-Level II Semester I-National Council for Higher Education- BACHELOR OF SCIENCE IN SOFTWARE ENGINEERING

How you might respond to such a personal inquiry : Have you ever filled out a form and come upon a question asking for the amount of your annual household income? How did you respond to this question?

User Account

All Pages