§ 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.
جميع الحقوق محفوظة لجامعة الملك فيصل © 2020 | تصميم وتطوير عمادة تقنية المعلومات
All Rights Reserved for KFU © 2020 | Development by Deanship of Information Technology