About UNIMAS » List of Courses in UNIMAS » TME4013 - FORMAL METHODS/KAEDAH FORMAL

TME4013 - FORMAL METHODS/KAEDAH FORMAL

Last modified by Adam Francis on 2015/04/15 10:14

COURSE TITLE

FORMAL METHODS (Kaedah Formal)

COURSE CODE

TME4013

SYNOPSIS

This course introduces the elements of formal methods, its syntax and semantics and its supporting tools. The objectives are, to make student aware of the importance of formal methods in software specification, write formal specification and use its supporting tool. As more complex computational systems are used within critical applications, it is becoming essential that these systems are formally specified. Such specifications are used to give a precise and unambiguous description of the required system. This is clearly important in critical systems suchas life-support system, industrial process management and air/space craft control. In addition, as computational systems become more complex in general, formal specification can allow us to define the key characteristics of systems in a clear way and so provide the basis for verification of properties of systems.

(Kursus ini memperkenalkan elemen-elemen dalam kaedah formal, sintak dan semantik dan peralatan sokongannya. Objektif kursus ini adalah untuk memberi kesedaran kepada pelajar tentang pentingnya kaedah formal dalam spesifikasi perisian, menulis spesifikasi formal dan menggunakan peralatan sokongannya. Disebabkan semakin banyak sistem komputan yang kompleks digunakan dalam aplikasi yang kritikal, adalah amat penting sistem ini dispesifikasikan secara formal. Spesifikasi ini digunakan untuk memberi maksud keperluan yang tepat dan tidak mengelirukan. Ini adalah amat penting untuk sistem yang kritikal seperti sistem sokongan hayat, sistem pengurusan industri dan sistem kawalan penerbangan. Disamping itu, sistem komputan semakin kompleks, secara am, spesifikasi formal membolehkan kita mendefinasikan kunci ciri-ciri sistem dengan jelas dan ini menyediakan asas untuk pengesahan elemen-elemen sistem.)

Faculty of Computer Science and Information Technology, UNIMAS. Last updated: July 14, 2010, Wed, 9:49 PM

Created by Adam Francis on 2015/04/15 10:14

Start Here

Welcome to the UNIMAS WIKI.
To start, use search function by entering keywords in the search box below :
 

Quick Navigation

About UNIMAS

HOW-TO, Tutorial & User Manual

HOW-TO, Tutorial & User Manual

Macros

STB2242 - PLANT BIOTECHNOLOGY

signatureattach

Recently Created

jtpresley | 67154 | noora | 66168 | e-Adu

Recently Modified

My Recent Modifications


This wiki is licensed under a Creative Commons 2.0 license
XWiki Enterprise 5.0.3 - Documentation