software engineering

הנדסת תכנה

הקבוצה עוסקת בנושאים מגוונים של פיתוח תכנה וחמרה אמינה

03-7384056 / 03-5318629
חדר 280 / בניין 216
שעות קבלת קהל
14:00 - 19:00 | ימים א-ה

יותר מ-50% מהמאמץ בפיתוח חומרה ותכנה מושקע כיום בבדיקות נכונות ואמינות.

השגת תכנה איכותית כרוך בשימוש בשיטות הנדסת תכנה תוך כדי הפיתוח ובבדיקות סיסטמטיות בכל שלב.

 

הקבוצה עוסקת בנושאים מגוונים של פיתוח תכנה וחמרה אמינה:

 

  • איתות אוטומטי של תכנה וחמרה Model Checking.
  • שיטות מתמטיות לבדיקה סיסטמטית של מערכות Testing
  • הוכחה לוגית של נכונות Theorem  Proving
  • מפרט של חומרה ותכנה Specification
  • יצירה אוטומטית של קוד ממפרט Synthesis
  • יצירת כלים לבדיקה של תכנה