Search this site
Company
Contact Details
About Us
Resources
Services
Verifying Specifications
Constructing Correct Software
Verifying Critical Code
Other Languages
English
Resources
כאן תוכלו למצוא:
1.
אוסף מאמרים
המסבירים מהן שיטות פורמליות ומדגימים את השימוש בהן בתעשיה
2. קישורים ל
מאמרי מופת
בהנדסת תוכנה
3.
קישורים לכתבות אודות
שגיאות שערורייתיות
בעולם התוכנה. רשימה זו אינה אלא קצה הקרחון...
עוד על איכות תוכנה והשפעתה על החברה תוכלו לקרוא
בבלוג של דוד
. מידע נוסף על הנדסת תוכנה מונחית מודלים ניתן למצוא
באתר הקורס
.