§ 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.
جميع الحقوق محفوظة لجامعة الملك فيصل 2016 © | تصميم وتطوير عمادة تقنية المعلومات