|
UET Taxila
http://www.uettaxila.edu.pk
| Welcome
to the course website.
|
 |
Course Management System - UET Taxila
| Announcements
Dear all
Lecture 7 is excluded from midterm papers and lectures from 1 to 6 are are only included in midpapers
Total marks of paper is 20
All are subjective based questions and no objective part.
Quizs are uploaded in lecture part
Best of Luck!!
New :
Quiz marks has been uploaded
COURSE DESCRIPTION The general theme of the course is the construction of software by using high-level specification formalisms and corresponding CASE tools. More specifically, the main subjects covered are:
•Design of real-time systems using an approach of concurrent processes defined by state transition models; methods of verification and implementation.
•Definition of computer languages and interaction protocols by grammars and automata; design and implementation of lexical and syntatic analysers.
•Use of specialized CASE tools for the design of real-time systems and language analysers.
•Design and verification of programs with concurrency, in the context of languages like UML State Machines (SDL) and Java/C++.
|
|
|
| |
| | |
|
|
