דוד שוורץ, עידן זק, נטע צור וחיה כהן. הפונקציונאליות:  המשתמש בוחר קובץ שעליו הוא רוצה לבצע את האנליזה, ולוחץ עליו עם כפתור ימני בעכבר.  נפתח תפריט.

Slides:

Advertisements

Similar presentations

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

Advertisements

תוכנה 1 סמסטר א ' תשע " ב תרגול מס ' 7 * מנשקים, דיאגרמות וביטים * לא בהכרח בסדר הזה.

מבוא למדעי המחשב לתעשייה וניהול

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

טבלאות סמלים נכתב ע"י אלכס קוגן סמסטר חורף, תשס"ח.

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

דוא"ל: מבוא לתוכנת SPSS מרכז המחשבים ינואר 2008 אירית חסיד טל: דוא"ל:

Graph Toolkit G-2 group Volansky Vered Hadas Yaron Ben Ezra Asaf Sharov Artyom.

דוד שוורץ, עידן זק, נטע צור וחיה כהן. הפונקציונאליות : המשתמש יבחר קובץ שעליו הוא רוצה לבצע את האנליזה, וילחץ עליו עם כפתור ימני בעכבר. יפתח תפריט ובו.

חזרה על מושגי יסוד ביסודות התכנות בשפת ג'אווה שיעור 1.

מה החומר למבחן ? כל החומר שנלמד בהרצאות ובתרגולים. לגבי backtracking: לא תידרשו לממש אלגוריתם, אך כן להבין או להשלים מימוש נתון. אחת משאלות המבחן מבוססת.

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

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

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

בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.

תרגול חזרה. מבנה האובייקט תאר את מבנה האובייקט כולל מבנה טבלאות הפונקציות הוירטואליות עבור התכנית הבאה struct A { int x; virtual void a() {}; }; struct.

מסדי נתונים תשס " ג 1 תכנון סכמות – אלגוריתם פירוק לתבניות בצורת BCNF מסדי נתונים.

דוד שוורץ, עידן זק, נטע צור וחיה כהן. סביבת העבודה הפרוייקט יפותח בסביבת המערכת תהיה נגישה כ - plug in ל - Eclipse.

חישוב ואופטימיזציה של שאילתות חלק 1

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

חלון הפקודות מיועד לבצע פעולה אחת בכל פעם. כיצד אפשר לבצע רשימת פקודות או אפליקציות מורכבות ?

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

אתחולים ובנאים יצירת מופע חדש של עצם כוללת : הקצאת זכרון, אתחול, הפעלת בנאים והשמה לשדות במסגרת ריצת הבנאי נקראים גם הבנאי / ים של מחלקת הבסיס תהליך זה.

1 חישוב ואופטימיזציה של שאילתות חלק 2 Query Evaluation and Optimization Part 2.

מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.

מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.

תרגול 9 אלגברה רלציונית.

מספר קבצים 1 שיטות גרפיות הצגת מספר קבצים במקביל המטרה : הצגה במקביל של קבצי נתונים בכדי להשוותם הדרכים – הצגה במקביל – הלבשה – הרכבה עקרונות.

ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.

מבני בקרה לולאות. שאלה #1 שאלה ב' – תכתוב תוכנה הכותבת את תפריט הבאה Type 1 to find the area of a circle Type 2 to find the circumference of a circle.

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

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

1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.

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

יחס סדר חלקי.

1 חישוב ואופטימיזציה של שאילתות חלק 1 Query Evaluation and Optimization Part 1.

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

Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.

A. Frank File Organization Introduction to Pile File.

© המרכז להוראת המדעים האוניברסיטה העברית בירושלים

מה היום ? - - חזרה מהירה. - קריאה וכתיבה לקבצים. - בניית תוכנית כתיבה low-level - בניית ערוץ גלובלי והדגמה מול חומרה - low-level DAQ, פולימורפיזם וטריגר.

1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)

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

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

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

1 מבוא למדעי המחשב backtracking. 2 מוטיבציה בעיית n המלכות: נתון: לוח שחמט בגודל. המטרה: לסדר על הלוח n מלכות כך שאף אחת לא תאיים על השנייה. דוגמא: עבור.

אתחול עצמים. אתחולים ובנאים יצירת מופע חדש של עצם כוללת: הקצאת זכרון, אתחול, הפעלת בנאים והשמה לשדות במסגרת ריצת הבנאי נקראים גם הבנאי/ם של מחלקת הבסיס.

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

Methods public class Demonstrate { public static void main (String argv[]) { public static void main (String argv[]) { int script = 6, acting = 9, directing.

Contents Building Web Services כתב אקת'ם חאג' יחיא BuildingWeb Services Building Web Services

תכנות מכוון עצמים ושפת ++C וויסאם חלילי. TODAY TOPICS: 1. Function Overloading & Default Parameters 2. Arguments By Reference 3. Multiple #include’s 4.

1 חלק XQuery :IV XML Query. 2 ביבליוגרפיה - DTD 3 ביבליוגרפיה – books.xml TCP/IP Illustrated Stevens W. Addison-Wesley Advanced Programming in.

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

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

עקרונות תכנות מונחה עצמים תרגול 11: OOP in C++. Outline  Where do the objects live ?  Inheritance  Slicing  Overriding vs Shadowing.

יסודות מערכות פתוחות ג ' בארה אחמד המכללה האקדמית נתניה The Awk Utility.

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

Tirgul 12 Trees 1.

מחלקות classes.

מבוא למדעי המחשב סיבוכיות.

אינדקסינג והשינג (indexing & hashing)

SQL בסיסי – הגדרה אינדוקטיבית

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

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

ממשקים - interfaces איך לאפשר "הורשה מרובה".

אלגוריתם שינוי צורה למתקני טנזגריטי

תיכון בסיס-נתונים יחסי

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

תזכורת על מה דיברנו שיעור שעבר? בנינו אתר אינטרנט עם כותרות

מבוא לתכנות מונחה עצמים Object Oriented Programming

Presentation transcript:

דוד שוורץ, עידן זק, נטע צור וחיה כהן

הפונקציונאליות:  המשתמש בוחר קובץ שעליו הוא רוצה לבצע את האנליזה, ולוחץ עליו עם כפתור ימני בעכבר.  נפתח תפריט ובו אחת האפשרויות הינה "Analyze Class".  בבחירת אפשרות "Analyze Class" נפתח חלון בחירת ההקשר, שם קובץ הפלט והפרויקט שבו קובץ זה ימוקם.

פונקציונאליות - המשך  לאחר בחירת שם ופרויקט עבור קובץ הפלט, יש לבחור את ההקשר עבור הניתוח. לחיצה על כפתור הסיום תתחיל את פעולת בניית lattice.  בסוף החישובים יוצג ה-lattice sparse בחלון ה- editor עם ערכי ברירת מחדל עבור תצוגת הקונספטים.

פונקציונאליות - המשך ניתן לבצע את הפעולות הבאות על ה-lattice: Zoom in & Zoom out של ה-lattice המוצג על המסך. Drag & Drop של הקונספטים בתוך תחום אופקי מסוים, שרוחבו ניתן לשינוי ע"י המשתמש. שינוי גודל הקונספטים.

היחסים בין ה-packages לצורך בניית ה-lattice Eclipse הסביבה מתחילה את התהליך כאשר נלחץ כפתור ה -wizard מאותחל על הקובץ שבחר המשתמש המשתמש בוחר את ההקשר actions wizard fileparser המחלקה מנותחת

טבלת הגישות נבנית בתוספת ההקשר נבנית טבלת ההקשר הקונספטים מיוצרים contexttable conceptanalysis editors ה -editor מציג את ה - lattice על המסך היחסים בין ה-packages -המשך המחלקה מנותחת accesstable

מישקי XML סכימת בחירת ההקשר:

מישקי XML- המשך סכימת בחירת ההקשר מקיימת את השמורה: ערכי השדות המותרים הם: yesno dc - עבור don’t care. אם yes= overriddenאז yes = inherited.

מישקי XML- המשך טבלת תכונות מתודות :

מישקי XML- המשך סכימת תכונות המתודות מקיימת את השמורות: ערכי השדות המותרים עבור תכונות המתודה הם (מלבד שם המתודה): truefalse כל מתודה מופיעה רק פעם אחת.

מישקי XML- המשך טבלת גישות :

מישקי XML- המשך סכימת טבלת הגישות מקיימת את השמורות: כל מתודה המופיעה בסכימה זו מופיעה אף בסכימת תכונות המתודות. ערכי השדות המותרים עבור תכונות השדה הם (מלבד שם השדה): truefalse כל שדה מופיע רק פעם אחת.

מישקי XML- המשך ערכי השדות המותרים עבור תכונות המתודה הם (מלבד שם המתודה): R – עבור read. W – עבור write. RW – עבור read & write. עבור שדה מסוים – כל מתודה מופיעה רק פעם אחת.

מישקי XML- המשך טבלת הקשר :

מישקי XML- המשך סכימת טבלת ההקשר מקיימת את השמורות: כל שדה מופיע רק פעם אחת. עבור שדה מסוים – כל מתודה מופיעה רק פעם אחת.

מישקי XML- המשך ייצוג ה-lattice :

מישקי XML- המשך סכימת ייצוג ה-lattice מקיימת את השמורות: לכל קונספט זיהוי ייחודי בין 0 ל- n-1 כאשר n הוא מס' הקונספטים. קיים קונספט בודד עבורו לא קיים יחס high – low עם קונספט אחר כאשר קונספט זה הוא high. ה- layer של קונספט זה הינו 0. נקרא bottom.

מישקי XML- המשך קיים קונספט בודד עבורו לא קיים יחס high - low עם קונספט אחר כאשר קונספט זה הוא low. ה- layer של קונספט זה הוא הגבוה ביותר. נקרא top. לא יופיע קונספט שונה מה-bottom עם layer 0. לא יופיע קונספט שונה מה- top עם layer שווה ל- layer של ה- top. בכל layer בין 0 ל- layer של top קיים לפחות קונספט אחד.

מישקי XML- המשך כל יחס high – low בין 2 קונספטים מופיע רק פעם אחת. לא קיים קונספט שאינו משתתף לפחות ביחס high – low אחד. ביחס סדר ה-layer של ה- high גבוה משל ה- low. כל שדה וכל מתודה יופיעו פעם אחת בלבד לכל היותר.

אלגוריתמים יצירת ה- access table: חישוב הגישות הישירות של כל המתודות לשדות (כולל מתודות נורשות). חישוב סגור טרנזיטיבי של הגישות לשדות.

אלגוריתמים – המשך יצירת הקונספטים אלגוריתם Bottom-up מציאת הקונספטים האטומיים מכל שני קונספטים קיימים ננסה ליצור קונספט חדש סיום האלגוריתם כאשר לא ניתן ליצור קונספטים חדשים

בדיקות הפעלת ה-Plug-in הפעלה מקובץ הפעלה מקובץ בחירת ההקשר הקשר ברירת המחדל הקשר ברירת המחדל בחירת הקשר בחירת הקשר

בדיקות - המשך תצוגה תצוגת קונספט תצוגת קונספט תצוגת Lattice תצוגת Lattice ביצוע פעולות על ה- Lattice ביצוע פעולות על ה- Lattice התעדכנות נתונים שמירת תצוגה ניתוח מחלקות במקביל

שלב ב' – על רגל אחת...  יצירת קובץ XML עבור ה-Abstraction lattice  יצירת קבצי XML עבור ה-Horizontal decomposition  יצירת קבצי XML עבור ה-Call graph  חישוב סדר המתודות לצורך אנליזת הקוד ויצירת חלון המציג סדר זה.  יצירת חלון עבור רשימת השלבים לביצוע.

שלב ב' – על רגל אחת...  תמיכה בתצוגת ה-Abstraction lattice, ה- Horizontal decomposition וה-Call graph.  הוספת אפשרויות שמירה של הנתונים שהמשתמש הוסיף ל-lattice בקובץ ה-XML עבור ה-lattice.

Questions?