Technion - Israel Institute of Technology
		236368 - Formal Specification Of Complex Systems
		Spring 2006
	Announcements מועד ג' - ציונים סופיים שלום לכולם הציונים של מועד ג הוזנו ל GR. ב GR מופיע הציון הגולמי של המבחן, אבל בחישוב הציון הסופי הוספנו לציון המבחן פקטור של 4 נקודות. מי שרוצה לראות את הבחינה שלו יאלץ לבוא למשרד שלי מצטער על חוסר הנוחות שחר דג Created on 30/11/2006, 13:27:34   בחינה סופית - מועד ג' שלום לכולם מבחן מועד ג' נקבע ליום חמישי ה 16/11 בשעה 16:30 בחדר 201. תודה לכל מי שטרח לענות לנו בהצלחה בבחינה צוות הקורס Created on 14/11/2006, 15:04:46   בחינה סופית - מועד ג' שלום לכולם מבחן מועד ג' נקבע ליום חמישי ה 16/11 בשעה 16:30 בחדר 201. אנו בודקים את האפשרות לקיים את המבחן בשעה מוקדמת יותר. אם אתם מתכוונים לגשת למועד ג', אנה שילחו דוא"ל עד יום ראשון לחשבון הקורס ורישמו בו את השעה המוקדמת ביותר האפשרית מבחינתכם לקיום המבחן. אם נרשמתם למועד ג' ואתם לא מתכוונים לבוא, אנא הודיעו לנו. בתודה ובהצלחה בבחינה צוות הקורס Created on 8/11/2006, 09:42:04   מועד ב' - ציונים סופיים שלום לכולם הציונים של מועד ב הוזנו ל GR. ב GR מופיע הציון הגולמי של המבחן, אבל בחישוב הציון הסופי הוספנו לציון המבחן פקטור של 6 נקודות. Created on 31/10/2006, 15:46:39   בחינה סופית - מועד ב' הבחינה תתקיים ביום ג' ה 24/10 ב 12:00-9:00 בטאוב 4. מותר השימוש בכל חומר עזר. שעות קבלה למבחן: פרופ' כץ - יום א 22/10 14:00-13:00 שחר - יום ב 23/10 11:00-10:00 בהצלחה במבחן Created on 15/10/2006, 09:52:10   מועד א - ציונים סופיים שלום לכולם הציונים של מועד א הוזנו ל GR. ב GR מופיע הציון הגולמי של המבחן, אבל בחישוב הציון הסופי הוספנו לציון המבחן פקטור של 7 נקודות. Created on 13/9/2006, 15:13:19   תרגול חזרה - תיזכורת תרגול חזרה יערך היום יום א' 3/9 ב 16:30 בטאוב 3. החומר לתרגול נמצא באתר המבחן יערך ביום שישי ה 8/9 בשעה 9:00 בטאוב 3. שעות הקבלה לקראת המבחן תהינה שמואל - יום ב' ה 4/9 ב 12:30-13:30 (נא שימו לב כי שמואל לא יהיה בטכניון לאחר יום שני כך שאם יש לכם שאלות אליו אסור לכם לחכות) שחר יום ד' ה 6/9 ב 12:30-13:30 (שעות קבלה מיוחדות, רק בתיאום בדוא"ל) אם יש לכם שאלות ואינכם יכולים להגיע לטכניון, אתם מוזמנים לשלוח את שאלותיכם לחשבון הקורס ואשתדל לענות על כולן באתר הקורס. לתשומת ליבכם, השבוע בימים ראשון עד רביעי תהינה עבודות תקשורת בפקולטה. ביום ראשון לא תהיה תקשורת כלל ולא תהיה גישה לשרתים. התקשורת תוחזר לפעילות באופן הדרגתי עד לפעילות מלאה ביום רביעי. בהצלחה במבחן צוות הקורס Created on 3/9/2006, 08:03:37   מבחן מועד א' - תיזכורת המבחן יערך ביום שישי ה 8/9 בשעה 9:00 בטאוב 3. תרגול חזרה נקבע ליום א' ה 3/9 ב 16:30 בטאוב 3. החומר לתרגול נמצא באתר בין אם תבוא לתרגול החזרה ובין אם לא, אתם מוזמנים לשלוח את שאלותיכם לחשבון הקורס ואשתדל לענות על כולן בתרגול החזרה ובאתר הקורס. שעות הקבלה לקראת המבחן תהינה שמואל - יום ב' ה 4/9 ב 12:30-13:30 (נא שימו לב כי שמואל לא יהיה בטכניון לאחר יום שני כך שאם יש לכם שאלות אליו אסור לכם לחכות) שחר יום ד' ה 6/9 ב 12:30-13:30 (שעות קבלה מיוחדות, רק בתיאום בדוא"ל) לתשומת ליבכם, בשבוע הבא בימים ראשון עד רביעי תהינה עבודות תקשורת בפקולטה. ביום ראשון לא תהיה תקשורת כלל ולא תהיה גישה לשרתים. התקשורת תוחזר לפעילות באופן הדרגתי עד לפעילות מלאה ביום רביעי. בהצלחה במבחן צוות הקורס Created on 1/9/2006, 13:38:52   הקלות לקראת המבחן שלום לכולם ע"פ מדיניות הפקולטה, כל מי שגויס בצו מיוחד ל 14 יום או יותר, זכאי להערכת זמן במבחן. הארכה היא של 15 דקות על כל שעת מבחן. אין כפל הארכות, מי שזכאי להערכה אחרת יוכל לבחור את הארוכה מבין השתיים. כזי לממש את זכאותם להארכה, הנכם מתבקשים להביא למבחן צילום של המסמכים המתאים (למשל צו המילואים) ולצרפו לבמחן שלכם בהצלחה צוות הקורס Created on 30/8/2006, 12:32:42   תירגול חזרה החומר לתירגול נמצא באתר הנכם מוזמנים לשלוח לי שאלות נוספות לקראת התירגול. לתשומת ליבכם, בשבוע הבא בימים ראשון עד רביעי תהינה עבודות תקשורת בפקולטה. ביום ראשון לא תהיה תקשורת כלל ולא תהיה גישה לשרתים. התקשורת תוחזר לפעילות באופן הדרגתי עד לפעילות מלאה ביום רביעי. Created on 28/8/2006, 10:37:29   עידכונים לקראת המבחן - מועד א שלום לכולכם המבחן יערך ביום שישי ה 8/9 בשעה 9:00 בטאוב 3. תרגול חזרה נקבע ליום א' ה 3/9 ב 16:30 בטאוב 3. בין אם תבוא לתרגול החזרה ובין אם לא, אתם מוזמנים לשלוח את שאלותיכם לחשבון הקורס ואשתדל לענות על כולן בתרגול החזרה ובאתר הקורס. שעות הקבלה לקראת המבחן תהינה שמואל - יום ב' ה 4/9 ב 12:30-13:30 (נא שימו לב כי שמואל לא יהיה בטכניון לאחר יום שני כך שאם יש לכם שאלות אליו אסור לכם לחכות) שחר יום ד' ה 6/9 ב 12:30-13:30 (שעות קבלה מיוחדות, רק בתיאום בדוא"ל) להתראות ובהצלחה במבחן צוות הקורס Created on 22/8/2006, 13:36:37   הקלות לקראת המבחן לאור המצב, במבחן הסופי (מועד א' + ב') לא תדרשו לכתוב מפרטים בשיטה של Lamport בהצלחה צוות הקורס Created on 14/8/2006, 12:14:39   עידכונים לקראת המבחן שלום לכולכם אנו מקווים כי כולכם שלמים ובריאים וששלום ליקירכם. להלן עדכונים לקראת המבחן. המבחן יערך ביום שישי ה 8/9 (טרם נקבע מקום ושעה). לקראת המבחן אנו רוצים לערוך תרגול חזרה. האפשרויות העומדות בפנינו הן: 1. יום חמישי ה 31/8 ב 10:00 (כלומר התרגול יערך לפני תקופת המבחנים) 2. יום ראשון ה 3/9 ב 16:30 3. יום שני ה 4/9 ב 10:00 4. יום ד ה 6/9 ב 16:30 אנא שילחו לחשבון הקורס עד 20/8 את שלשת המועדים הנוחים לכם ביותר. נשתדל לקבוע את תרגול החזרה כך שמירב הסטודנטים יוכלו לבוא. בין אם תבוא לתרגול החזרה ובין אם לא, אתם מוזמנים לשלוח את שאלותיכם לחשבון הקורס ואשתדל לענות על כולן בתרגול החזרה ובאתר הקורס. שעות הקבלה לקראת המבחן תהינה שמואל - יום ב' ה 4/9 ב 12:30-13:30 שחר יום ד' ה 6/9 ב 12:30-13:30 במידה ואינכם יכולים להגיע לשעות הקבלה, שילחו לנו דוא"ל וננסה לקבוע לכם זמן חלופי. להתראות צוות הקורס Last updated on 17/8/2006, 12:13:16   בחינה סופית - מועד א' הבחינה תתקיים ביום א' ה 23/7 ב 16:00-13:00 בטאוב 3. מותר השימוש בכל חומר עזר. שעות קבלה למבחן: פרופ' כץ - יום ה 20/7 11:00-10:00 שחר - יום ג 18/7 11:00-10:00 תרגול חזרה למבחו יערך ביום ה 20/7 ב 16:30 ניפגש בטאוב 201 ואם יהיה חדר פנוי עם מולטימדיה נעבור אליו בהצלחה במבחן Created on 12/7/2006, 09:09:42   תרגיל בית מספר 5 הגשת התרגיל נדחתה ל 10/7 ב 12:30 בהצלחה שחר Created on 28/6/2006, 15:06:38   חומר להרצאות הבאות נא להביא להרצאה של ה 21/6 את החומר של realtime ושל larch שנמצא באתר Created on 19/6/2006, 11:57:40   תרגיל בית מספר 5 התרגיל נמצא באתר הקורס Created on 14/6/2006, 08:07:50   תרגיל בית מספר 3 התרגילים נמסרו למזכירות לחלוקה הבוקר. הציונים נמצאים ב GR. ערעורים יש להגיש עד 28/6, לאחר מכן לא יתקבלו ערעורים. Created on 14/6/2006, 08:07:30   ההרצאה של ה 31/5 הנכם מתבקשים להביא להרצאה גם את החומר של התירגול בנושא lamport Created on 25/5/2006, 16:11:02   התירגול של 29/5 להזכירם ביום שני ה 29/5 לומדים לפי מערכת של יום שלישי, לכן אין תירגול. Created on 25/5/2006, 16:10:02   LTL כל החומר, כולל הדוגמאות ופתרונן, נמצא באתר הקורס שחר Created on 22/5/2006, 15:51:49   תרגיל בית מספר 4 התרגיל נמצא באתר הקורס Created on 22/5/2006, 11:21:23   התירגול של ה 22/5 הנכם מתבקשים להביא לתרגול את השקפים של LTL ואת השקפים של CTL Created on 21/5/2006, 16:54:59   התירגול של 15/5 נא הביאו לתירגול גם את החומר של לוגיקה (LTL) וגם את החומר של LAMPORT Created on 14/5/2006, 12:14:26   תרגיל בית מספר 2 התרגיל נמסר למזכירות לחלוקה לתאים. הציונים נמצאים ב GR Created on 14/5/2006, 11:26:07   התירגול של ה 8/5 התירגול יערך ב SSDL, חדר 236 בשעה הרגילה נא לבדוק מספיק זמן לפני התרגול שאתם יכולים לבצע login למחשבי המעבדה נא להביא את החומר של התירגול שחר Created on 2/5/2006, 12:46:51   תרגיל בית מספר 3 התרגיל פורסם ונמצא באתר נא קראו את התרגיל לפני התירגול של מחר Created on 30/4/2006, 17:58:54   work in ssdl All register students can work now in SSDL. You should use your td-csd account. Please note that while working in SSDL you are bound to lab's regulation as defined at http://www.cs.technion.ac.il/~ssdl/ssdl/regulations.html. Please report any problem to ssdlhelpcs.technion.ac.il (please read the question & answer section prior to your report http://www.cs.technion.ac.il/~ssdl/ssdl/common_questions.html) All the students that submitted homework #1 & that can open the public farm at the entry floor, will be able to open SSDL's door (see list http://www.cs.technion.ac.il/~ssdl/courses/cs236368-IDlist.htm). Please report the course account cs236368cs.technion.ac.il if you are not in the list Shahar Dag Created on 26/4/2006, 17:19:58   תרגיל בית מספר 1 התרגיל הוחזר היום למזכירות, ויחולק לתאים אחר הצהריים. הציונים נמצאים ב GR שחר Created on 23/4/2006, 12:22:46   הבהרות לתרגיל בית מספר 2 אני מוסיף לתרגיל את התשובות לשאלות הנפוצות שלכם. אנא עיקבו אחרי התשובות. לפני שאתם שולחים לי שאלה אנא בידקו אם כבר עניתי עליה שחר Created on 17/4/2006, 16:17:27   התירגול של ה 24/4 התירגול של ה 24/4 (התירגול הראשון שלאחר פסח) מבוטל חג שמח שחר Created on 11/4/2006, 16:32:53   תרגיל בית מספר 2 התרגיל פורסם באתר הקורס בהצלחה Created on 3/4/2006, 16:43:42   תרגיל בית מספר 1 מספר סטודנטים הפנו היום את תשומת ליבי לעובדה שעל התרגיל מופיע תאריך ההגשה כ 3/4 ואילו באתר מופיע תאריך ההגשה כ 4/4. לכל אלה שהאתר בילבל אותם (וגם לאלו שרוצים עוד יום) ניתן להגיש עד 4/4 ללא קנס מצטער על הבילבול שחר Created on 3/4/2006, 10:10:58   התירגול של 3/4 התירגול חוזר למתכונתו המקורית, דהינו ב 14:30 בחדר 9 השקפים לתירגול נמצאים באתר Created on 2/4/2006, 18:46:05   שקפים לתירגול של יום שני ה 27/3 נא להביא את השקפים של Z בנושא ספר ימי הולדת ובנושא סימונים להרצאה של יום רביעי ה 29/3 נא להביא בנוסף לחומר ששמואל חילק גם את השקפים בנושא טלפוניה השקפים נמצאים להורדה באתר הקורס Created on 26/3/2006, 09:47:23   התירגול של ה 27.3.06 התירגול יתקיים בחדר 601 ויתחיל בשעה 15:30 Created on 21/3/2006, 18:01:07   התירגול הקרוב ביום שני ה 20.3.06 לא יתקיים התירגול. ביום רביעי ה 22.3.06 במקום השעה הראשונה של ההרצאה יתקיים התירגול (בשעה השניה תתקים הרצאה כרגיל). הנכם מתבקשים להביא ליום רביעי גם את החומר שחולק בהרצאה הראשונה וגם את החומר של התירגול הראשון שחר Created on 16/3/2006, 15:04:02