دروس مربوط به مبحث formal software engineering چیست؟

[amirebm]

سلام دوستا
داشتم پروفایل یه استاد رو میخوندم و درست متوجه نشدم که شاخه علاقشون چیه
In all, my research interests are in the area of formal software engineering, with emphasis on real-time systems
میشه توضیح بدید برام؟

[farhad_shiri_ex]

سلام دوستا
داشتم پروفایل یه استاد رو میخوندم و درست متوجه نشدم که شاخه علاقشون چیه
In all, my research interests are in the area of formal software engineering, with emphasis on real-time systems
میشه توضیح بدید برام؟

توضیح لازم نداره که مهندسی نرم افزار سیستم های بلادرنگ.