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++.