צוות : גרייף אלה כורך אילנה רשקובסקי לובה אוניברסיטת בו גוריון בנגב מחלקה להנדסה תוכנית להנדסת תוכנה Application Requirements Presentation.

Slides:



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

מבוא למדעי המחשב לתעשייה וניהול
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
תרשימי DFD ד"ר אבי רוזנפלד. Kendall & Kendall © 2005 Pearson Prentice Hall 7-2 הסימנים הבסיסיים.
ישראל כמובילה במערכות מידע לתחבורה הייתכן ? May
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
גרף מכוון Directed Graph a b c f g ed h צמתים חוג עצמי קשתות.
פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.
מכונת מצבים תרגול מס' 4 Moshe Malka.
הוספת מנשק משתמש ל - [ תפקידי רוחב בצוות ]. Features סיפוריםחבר צוות אחראי הערכת זמן ( בשעות ) זמן בפועל ( בשעות ) הושלם ( כן \ לא )
דוד שוורץ, עידן זק, נטע צור וחיה כהן. הפונקציונאליות : המשתמש יבחר קובץ שעליו הוא רוצה לבצע את האנליזה, וילחץ עליו עם כפתור ימני בעכבר. יפתח תפריט ובו.
Time Based Identification of Web Attackers המעבדה לאבטחת מידע המעבדה לאבטחת מידע סמסטר חורף תשס " ט הטכניון מנחים: עמיחי שולמן אלדד שי מבצעים: גליה סימנובסקי.
משטר דינמי המשך – © Dima Elenbogen :55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
The Implementation of a Cost Effectiveness Analyzer for Web- Supported Instruction: A Case Study Anat Cohen, Rafi Nachmias (Tel Aviv University)
המעבדה לבקרה ורובוטיקה 1 חקירה אמפירית של ניתוב תחרותי ברשתות תקשורת מגישים : דרור עמר & איתי ג ' ורג ' י מנחה : ישי מנשה סמסטר : חורף תשס "
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
ספר סקיצות ספר סקיצות קלאסי עם יכולות ממוחשבות. ספר סקיצות רגיל  יתרונות : נוח לנשיאה, מהיר ונוח לעבודה, עמיד.  חסרונות : הכול ידני, קשה לקבל דיוקים.
הכנת המצגת: מוטי בן ארי ומיכל סמואל המחלקה להוראת המדעים, מכון ויצמן למדע ©
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
לוגיקה צירופית יחידות סטנדרטיות מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י " ם יהודה אפק, נתן אינטרטור אוניברסיטת תל אביב.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
תוכנית דעת, שנה"ל תשס"ח, מרצה יהודה הופמן1 מערכות מידע ארגוניות מערכות מידע ארגוניות הרצאה מס' 2: מהו מידע ?
שאילת שאלות שאלת חקר המפתח למנעול 1. שאילת שאלות – שאלת חקר מה ניתן לשנות ? :  בתנאים : טמפ ' או לחץ או הכלים, או הציוד  בחומרים : איכות או כמות או.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
בעיות חיפוש – informed search בינה מלאכותית יעל נצר.
דוד שוורץ, עידן זק, נטע צור וחיה כהן. הפונקציונאליות:  המשתמש בוחר קובץ שעליו הוא רוצה לבצע את האנליזה, ולוחץ עליו עם כפתור ימני בעכבר.  נפתח תפריט.
ספריה וירטואלית בטכנולוגית J2EE הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה למערכות תוכנה עזרן אייל טרבלסי אורדן סמסטר חורף תשס " ד מנחה.
תזכורת: גרפים גרף (G=(V,E V|=n, |E|=m| מכוון \ לא מכוון דרגה של קדקד
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
השוואה בין מערכות למסדי נתונים בשקפים אלו נשווה בין מסד הנתונים של רכבת ישראל למסד של רכבת גרמניה. בהרבה מקרים, המסד של מערכת הרכבות הישראלית לא יכול למצוא.
רישום חומרי למידה והסטנדרט הישראלי: ISRACORE יהודית בר אילן, אוניברסיטת בר-אילן אלי שמואלי, מיט"ל.
תיאור פורמאלי של הבעיה והגדרות: המשוואות מתארות את הקשר בין אנרגיות קינטית ופוטנציאלית לבין מצב התחלתי של המערכת.
שאלה 1 נתון כביש ישר עם תחנות דלק בנקודות , בנקודת המוצא נתונה מכונית עם תא דלק שמספיק ל-100 ק"מ. מחיר מילוי תא הדלק בתחנה.
The Cyclic Multi-peg Tower of Hanoi מעגלי חד-כווני סבוכיות הפתרון בגרסאות עם יותר מ-3 עמודים.
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
Bus Project Yaniv Stern Rachel Stahl Instructor: Ari Todtfeld.
– © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT Tutorial #7 Preventing combinatorial loops.
הוספת תקשורת ל - [ תפקידי רוחב בצוות ]. ארכיטקטורת תקשורת מה מבנה האפליקציה ? באילו טכנולוגיות \ ספריות השתמשתם ? מדוע ?
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
1 Spring Semester 2007, Dept. of Computer Science, Technion Internet Networking recitation #3 Internet Control Message Protocol (ICMP)
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) קורס – מבוא לעבוד מקבילי מבצעים – אריאל פנדלר יאיר ברעם.
אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 7 ISP דוגמא נוספת.
בקרה תומר באום ב"הב"ה. סוגי בקרה חוג פתוח Open-loop control : אנו מכוונים את הרובוט למצב הבא שהוא אמור להיות בו לפי מודל מסוים, כמו שעשינו בקינמטיקה הפוכה.
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מערכת הקבצים  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
תוכנה 1 תבנית העיצוב Observer 1 שחר מעוז בית הספר למדעי המחשב אוניברסיטת תל אביב.
שיאון שחוריMilOSS-il מוטיבציה  python זה קל ו C זה מהיר. למה לא לשלב?  יש כבר קוד קיים ב C. אנחנו רוצים להשתמש בו, ולבסס מעליו קוד חדש ב python.
שיתוף PDT בין חוטים PDT Thread A Process Descriptor File Object 1 File Object 2 File 1 File 2 pthread_create Thread B Process Descriptor ה PDT משותף לכל.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
FAA FAA (int s, int val) { temp = s; s = s + val; return temp; }
המכון לחקר התחבורה בטכניון
מבוא למדעי המחשב סיבוכיות.
תקשורת ומחשוב תרגול 1 IP, Classes and Masks.
מערכות בסיסי נתונים ספרות Database System Concepts/ Korth, Siberschatz
מבוא למדעי המחשב הרצאה 1: מבוא כללי מי אני, שעות הקבלה:
בעיות נוספות ב-NPC.
למה.
מבוא למערכות מידע פרק 1.
Presentation transcript:

צוות : גרייף אלה כורך אילנה רשקובסקי לובה אוניברסיטת בו גוריון בנגב מחלקה להנדסה תוכנית להנדסת תוכנה Application Requirements Presentation

מבוא

איך הגענו לרעיון ? איך מגיעים מבאר שבע לרעננה? דרך הרצליה? דרך תל אביב? באר שבע רעננה תל אביב הרצליה

תאור מצב קיים איזה קו? איזו חברה? אוטובוס או רכבת?

הפתרון שלנו  איחוד כל המידע למערכת אחת  גישה נוחה לכלל המידע על תחבורה ציבורית בארץ.

תאור מצב קיים

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

ארכיטקטורת המערכת שרת אינטרנט מאגר מידע משתמש

דרישות פונקציונאליות

1.בניית מסלולים מתחנת מוצא לתחנת יעד 2.הצגת מידע על קו אוטובוס ספציפי 3.הצגת מידע על קו רכבת. 4.הצגת קווי אוטובוס עבור תחנה ספציפית 5.הצגת יעדי רכבת מתחנה ספציפית 6.שליחת תשובות המערכת בדואר אלקטרוני דרישות פונקציונאליות

7.הדפסת תשובת המערכת. 8.הצגת כל חברות התחבורה הציבורית בארץ 9.הצגת מידע על תחנות מרכזיות בעיר מסוימת 10.קבלת מידע עזר על המערכת 11.הוספת קישור של המערכת למועדפים 12.יצירת קשר עם אחראי האתר דרך דואר אלקטרוני דרישות פונקציונאליות

Use Cases

בניית מסלולים  קלט – תחנת מקור ותחנת יעד – יום נסיעה – טווח שעות – עדיפות המשתמש ( מחיר, משך נסיעה, מספר תחנות החלפה, עדיפות לרכבת )

בניית מסלולים - קלט

 תיאור הפונקציונאליות – המערכת תרכיב מספר מסלולי נסיעה שונים בתחבורה ציבורית בין תחנת מקור לתחנת יעד. – תהליך הרכבת המסלולים יתבצע תוך התחשבות בהעדפת המשתמש. – המסלול יכול להיות הן ישיר והן מורכב ממספר קווי נסיעה שונים ( עם מספר תחנות החלפה ) – המערכת תציג את המסלולים באופן ממוין לפי העדפת המשתמש. בניית מסלולים

 פלט – מספר מסלולי נסיעה ( כולל מידע על כל אחד מהם ) – פירוט קטעי נסיעה המרכיבים את המסלול

הצגת מידע על קו רכבת  קלט – תחנת מקור ותחנת יעד של הרכבת – יום נסיעה – טווח שעות

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

הצגת מידע על קו רכבת

 פלט – פרוט הרכבות המרכיבות את המסלול – עבור כל קו ישיר יוצג מידע מפורט ( כגון : לוח זמנים, מחיר וכו ')

הצגת קוים עבור תחנת אוטובוס  קלט – תחנת אוטובוס

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

הצגת קוים עבור תחנת אוטובוס  פלט – רשימת קווי האוטובוס העוברים בתחנה – עבור כל קו ישיר יוצג מידע מפורט ( כגון : לוח זמנים, מחיר וכו ')

דרישות לא פונקציונליות

 המערכת הינה מערכת אינטרנטית, לכן תעבוד 24 שעות ביממה  המערכת הינה עצמאית ואינה תלויה באף מערכת אחרת על מנת לתפקד  המערכת תיכתב בסביבת.Net (ASP & C#)  מנשק המערכת יהיה בשפה העברית

סיכונים

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

מידע על קווי תחבורה ציבורית סיכונים – אי מציאת כל המידע הנדרש באתרי החברות תחבורה ציבורית. פתרונות אפשריים – השלמת המידע החסר ע " י הערכתו.