Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)

Slides:

Advertisements

Similar presentations

Completeness and Expressiveness. תזכורת למערכת ההוכחה של לוגיקה מסדר ראשון : אקסיומות 1. ) ) (( 2. )) ) (( )) ( ) ((( 3. ))) F( F( ( 4. ) v) ( ) v ((

Advertisements

Processes and threads. תהליכים ותתי תהליכים תהליכים –כל תוכנית שרצה היא תהליך (process) –ניתן להתפצל מתהליך אחד למספר תהליכים, בעזרת הפקודה fork(). הרבה.

ממיבחניםC שאלות ++.

בתרגול הקודם הורשה: –ניתן להרחיב רק מחלקה אחת –כל מה שלא private – עובר בהורשה –המילה השמורה super –יצירת היררכיה –Object היא שורש ההיררכיה –דריסה אופרטור.

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.

Present Progressive הווה עכשווי/ממושך.

Present Progressive Present Progressive הווה עכשווי / ממושך.

Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology,

פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.

לבופר המיקמק הכי יפה וחתיך ! הכנתי משהו בשבילך כדי שתיסלח לי ! קדימה !

כתיבת עבודת גמר מבנה העבודה  מבחינה צורנית - יש להקפיד על אחידות בכתיבה  כותרות אחידות  רווחים זהים, פונט בגודל אחיד (12, רווח וחצי)  הצגת.

תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב'

מתמטיקה בדידה תרגול 3.

רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה

אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 10 Packages.

חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.

חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.

Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology,

מפרטים פורמאליים תירגול מספר 10 מפרטים פורמאליים - תירגול שחר דג Lamport - רק התורים מבוסס על המאמר: “specifying concurrent program modules” by Leslie.

1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.

1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.

א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.

תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.

1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.

1 מפרטים פורמאליים תירגול מספר 13 מפרטים פורמאליים - תירגול שחר דג LARCH הרמה הראשונה - הרחבת ההגדרה הבסיסית דוגמא – set Initial and Final algebras הרמה.

Questions are the Answer Penick&all H ISTORY R ELATIOINSHIPS A PPLICATION S PECULATION E XPLANATION.

1 מפרטים פורמאליים תירגול מספר 12 מפרטים פורמאליים - תירגול שחר דג LOTOS שרשור התנהגויות (

תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.

SSDL פרויקט שנתי בהנדסת תוכנה שחר דג אודות שירותים מחשבים (מי הכי מהיר) הדפסה תוכנה עזרה שאלות נפוצות באתר המעבדה

1 מפרטים פורמאליים תרגול מספר 1 מהות הקורס:כח ביטוי. בעיות מעשיות (ולא הוכחות) מתרגל אחראי:שחר דג מתרגלת:אמיליה כץ אתר:

הקיבול איננו תלוי במטען ובפוטנציאל

מבוא למדעי המחשב תרגול מספר.

שאלות ממבחנים לי-טל משיח

The Cyclic Multi-peg Tower of Hanoi מעגלי חד-כווני סבוכיות הפתרון בגרסאות עם יותר מ-3 עמודים.

טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.

Remember Remember The 5 th of November. תרגול 2 קובץ סדרתי.

מערכים עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר int grade1, grade2, …, grade20; int grade1, grade2, …, grade20;

עקרון ההכלה וההדחה.

1 Formal Specifications for Complex Systems (236368) Tirgul Hazara.

מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :

תחשיב היחסים (הפרדיקטים)

A. Frank File Organization Introduction to Pile File.

Safari On-line books. מה זה ספארי ספארי זו ספריה וירטואלית בנושא מחשבים היא כוללת יותר מ כותרים כל הספרים הם בטקסט מלא ניתן לחפש ספר בנושא מסוים.

Points on a perimeter (Convex Hull) קורס – מבוא לעבוד מקבילי מבצעים – אריאל פנדלר יאיר ברעם.

1 Formal Specifications for Complex Systems (236368) Tutorial #3 Z introduction and notation (contd.); Birthday book example (Chapter 1 in the book)

יום עיון –פרויקט חקר מדעי במסגרת תחרות שישים שנות תעשייה כימית בישראל ד"ר מירי קסנר ברוכים הבאים 1 ביולי 2008 מכון ויצמן למדע, רחובות.

פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.

Costs and Filters Dr. Avi Rosenfeld Department of Industrial Engineering Jerusalem College of Technology

הקדמה Comparator Containers שימושיים Iterator Factory Pattern Trove הטמעה תכנות מתקדם - תרגול 3 Containers ב Java אליהו חלסצ'י תכנות מתקדם

1 תרגול 11: Design Patterns ומחלקות פנימיות אסף זריצקי ומתי שמרת 1 תוכנה 1.

1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:

Combo Box שלושה סוגים של Combo Box: Style 0 (default) - drop-down combo box המשתמש יכול להוסיף אפשרויות לרשימה או ללחוץ על החץ לבחירה מרשימת האפשרויות.

. Sequence Alignment Tutorial #3 © Ydo Wexler & Dan Geiger.

אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 5 תרשימי מצבים Statecharts למחלקות תגובתיות Reactive Classes הקדמה ודוגמא.

או: למה ואיך לשווק ולמתג את הקורס שלכם

מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);

Tirgul 12 Trees 1.

Formal Specifications for Complex Systems (236368) Tutorial #1

מחלקות classes.

תירגול 14: מבני נתונים דינאמיים

תרגול מס' 3: Data Hazards מבוסס על תרגול של מורן גביש

תכנות מכוון עצמים ושפת JAVA

עבודה עם נתונים באמצעות ADO.NET

פרוקטוז, C6H12O6 , חד-סוכר מיוחד

בעיות נוספות ב-NPC.

Marina Kogan Sadetsky –

הנעה חשמלית.

מבוא לתכנות בWINDOWS ב#C

ניתוח מערכות מידע תכנות ב C#

תוכנה 1 תרגול 13 – סיכום.

Presentation transcript:

Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)

בדיקת מצב מפרטים פורמאליים - תירגול שחר דג בתרגול השתמשנו ב: in(state_name) ב rhapsody יש להשתמש ב: IS_IN(state_name)

הקשר בין החלקים השונים מפרטים פורמאליים - תירגול שחר דג בעיקרון ניתן לחשוב לפחות על שתי צורות למימוש הרמה העליונה של מערכת: הצורה הראשונה: chart1 chart2 chart 3 chart4 והצורה השנייה: אולי הצורה השנייה נקייה יותר מבחינת תכנון המערכת, אבל היא מציגה הרבה יותר בעיות מבחינת התקשורת בין האלמנטים השונים. מבחינת דרישות התרגיל הצורה הראשונה מספקת בהחלט chart1 chart2 chart 3 chart4

איך משכפלים תת מכונה מפרטים פורמאליים - תירגול שחר דג נגיד שאנו רוצים לממש את המערכת עם מספר טיימרים (לכל אחד זמן אחר). הפתרון הפחות טוב הוא ליצור דיאגראמה נפרדת לכל טיימר. למי שינקוט בפתרון זה תורדנה נקודות פתרון טוב יותר הוא: 1.ליצור דיאגראמה אחת של "טיימר כללי". 2.לדאוג שלמחלקה של ה "טיימר" יהיה constructor המקבל פרמטרים הקובעים את הזמן של הטיימר. 3.בעולם (ולא חשוב כרגע מהוא העולם) ליצור כמה מופעים של "טיימר" שכל אחד נוצר עם פרמטרים אחרים. 4.אין צורך לרדת לקוד, את כל ההגדרות ניתן לבצע מתוך תיבות הדו-שיח של Rhapsody 5.פיתרון זה לא מומש במלואו, כך שיהיה עליכם לדאוג לפרטים הקטנים של המימוש

תזכורת – הבדלים בין תיאוריה למעשה מפרטים פורמאליים - תירגול שחר דג להזכירכם כי בין התיאוריה למימוש של Rhapsody מתקיימים ההבדלים הבאים: Rhapsodyתיאוריה יש תור של אירועיםאין שמירה של אירועים שימוש ב genיצירת אירוע ע"י כתיבת שמו אחרי ה / IS_IN(state_name)in(state_name) היסטוריה לכל הרמות (רק *H)היסטוריה לרמה אחת או לכל הרמות (H או *H) יש לדאוג "לזכויות גישה" במקרה שרוצים לגשת למחלקה חיצונית גישה לכל תת התרשימים תחביר של Cתחביר של לוגיקה (השמות, השוואה,...)