חברת פרואקטיב מודלינג נוסדה בשנת 2008 על ידי אבינועם עומר וד"ר דוד פייטלסון.
לאבינועם נסיון רב ערך בניהול ובפיתוח טכנולוגי. בעבר היה אבינועם המייסד והמנכ"ל של חברת זומיקס - אשר נקנתה לאחרונה על ידי מיקרוסופט - המפתחת מערכות לומדות עבור תחום ה-master data management. אבינועם בוגר ממר"ם ושירת במערך המודיעין.
 החזון שלנו
אני מהנדס תוכנה. מאז 1992 תכננתי ויישמתי מערכות תוכנה רבות, החל ממערכות משובצות ועד למערכות גדולות הרצות מעל פלטפורמות מבוזרות. אבל למרות ההבדלים הרבים בין המערכות השונות, דבר אחד היה משותף לכולן — בכולן היו כמויות גדולות של שגיאות. וזה לא היה רק בגללי. כולנו יצרנו (ויוצרים) כמויות רבות של שגיאות. בשנת 1998 התחלתי לחפש דרכים שיעזרו לי להילחם בתופעה זו. המתודולוגיות הפופולריות של תכנות מונחה עצמים אינן מתמודדות ישירות עם בעיה זו מכיוון שהן מתמקדות בארגון המערכת, דבר שעוזר לצמצם את מורכבותה, אבל הם לא מספקים מסגרת שבעזרתה ניתן לנתח ולטפל בשאלת נכונות התוכנה. פריצת הדרך הגיעה כאשר למדתי בפעם הראשונה על שיטות פורמליות. כאן היה משהו שמזכיר את דרך העבודה של מהנדסים מתחומים אחרים: תיאוריה מתמטית המאפשרת לנו לדון ולנתח את התנהגות המוצר עוד לפני שיצרנו אותו. זול הרבה יותר לרסק מודל מתמטי של מטוס מאשר מטוס אמיתי, והדבר נכון גם לגבי תוכנה. קל הרבה יותר למצוא טעות קונספטואלית במודל של מערכת תוכנה מאשר ביישום המלא של המערכת. כדי לרכוש שליטה בטכניקות אלה ביליתי 8 שנים בלימוד שיטות פורמליות בהתחלה לבדי ולאחר מכן באוניברסיטת אוקספורד. הלימוד והשימוש בטכניקות אלה שכנעו אותי שהן הטכניקות האפקטיביות ביותר לשיפור איכות התוכנה, אבל הבנתי גם מדוע שיטות אלה אינן נפוצות בתעשייה. ראשית, לוקח הרבה זמן להתמחות בהן. שנית, השימוש בשיטות פורמליות בשלבי הקידוד, למעט בנישה הקטנה של מערכות קריטיות, אינו פרקטי בגלל מורכבות שפות התכנות והפלטפורמות המסחריות. אלא שתובנות אלו אין משמעותן שאיננו יכולים להנות מהיתרונות של השיטות הפורמליות. עלינו להבין כיצד והיכן להשתמש בהן באופן אפקטיבי. שימוש יעיל בשיטות פורמליות מבוסס על שני עקרונות:
על פי החזון שלנו בפרואקטיב מודלינג, מומחים בשיטות פורמליות יעבדו ביחד עם צוותי הפיתוח המסורתיים כדי לוודא את נכונותם של מסמכי הדרישות, האפיונים והתכנון וכדי להבטיח שאף שגיאה קונספטואלית לא תפעפע לתוך מימוש המערכת. התוצאה תהיה שיפור משמעותי באיכות התוכנה גם מבחינת צמצום הנזק והתסכול הנפוצים כל כך היום כאשר אנו משתמשים בתוכנה, וגם מבחינת הזמן והכסף אשר אנו משקיעים כיום בפיתוח ובתחזוקה של מערכות התוכנה. השם והלוגו שלנושם החברה, פרואקטיב מודלינג, מבטא את שני העקרונות הבסיסיים של החברה. הראשון מגדיר את האסטרטגיה והשני מגדיר את הטקטיקה. ראשית, גישה פרואקטיבית לאיתור ומניעה של שגיאות מבעוד מועד, בדומה לרפואה מונעת, היא אפקטיבית וזולה הרבה יותר מאשר לרדוף אחרי השגיאות לאחר שכבר נוצרו. שנית, יצירה וניתוח של מודל מופשט בשלבים הראשונים של תהליך הפיתוח היא הדרך הטובה ביותר לממש את הגישה הפרואקטיבית.הלוגו שלנו מתאר קבוצה מתמטית המכילה שלוש צורות גיאומטריות. הקבוצה מייצגת את תורת-הקבוצות המהווה את הבסיס המתמטי לרבות מהשיטות הפרומליות. הצורות הגיאומטריות הן הפשטה של ראשי התיבות של החברה: P A M. הן מופשטות אך מדויקות, בדיוק כמו המודלים אשר אנו בונים ומנתחים. |
|
|
About Us |