 שנה"ל תשע"ד | |||||||||||||||||||||||||
 |
 |
||||||||||||||||||||||||
|
סדנה במדעי המחשב
Workshop in Computer Science |
0368-3500-28 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| מדעים מדויקים | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
סילבוס מקוצר
שם הקורס: סדנה בנושא כלי תוכנה מתקדמים לפיתוח מערכות בעזרת מודלים.
בסדנא נפתח כלים מתקדמים לפיתוח מערכות תוכנה בעזרת מודלים. נעסוק ביישום, בחינה, וההערכה של שיטות מידול פורמלי וניתוח אוטומטי שפותחו בשנים האחרונות, כולל
code generation, model checking, synthesis, automatic test generation etc.
כמקרה מבחן, חלק מהפרויקטים יתמקדו בבניית כלים עבור פיתוח רובוטים מלגו מהסדרה Lego Mindstorms NXT.