Wednesday 11/03/1442 - 28/10/2020

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.