חיפוש חדש  חזור
מידע אישי לתלמיד

שנה"ל תשע"ט

  נושאים בהנדסת תוכנה
  Topics in Software Engineering                                                                       
0368-3175-01
מדעים מדויקים
סמ'  ב'1300-1600003כיתות דן-דודשיעור פרופ מעוז שחר
ש"ס:  3.0

Course description

This is an elective course for 3rd year Computer Science students.  The course will cover several topics in software engineering such as the different phases of the software development life cycle, software testing, and the use of models and formal methods in software engineering.     Topics include:

- Models of software development process (waterfall, spiral, agile)

- Requirements (elicitation, formalization into use cases)

- Specification and design (use of models, UML diagrams syntax and semantics, temporal logics)

- Testing (black-box, white-box, notions of coverage, test-driven-development)

להצהרת הנגישות


אוניברסיטת ת