Tuesday 15/03/1441 - 12/11/2019

College of Computer Sciences & Information Technology


Software Engineering:

§  Requirement engineering, and usability engineering.

§  Software design and architecture.

§  Formal software specification, reusability, and programming languages.

§  Validation and verification, quality assurance and testing, and software maintenance.

§  Program analysis and type theory.

§  Model checking and theorem proving.

§  Formal methods, safety-critical-systems, fault-tolerant and secure systems.

§  Re-engineering, reverse engineering and reuse.

§  Light-weight formal methods.

§  Integration of approaches.

§  Component-based software engineering, dependability and reliability, and  model-driven software engineering.