Saturday 20/11/1441 - 11/07/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.