ד"ר דוד פייטלסון

ד"ר דוד פייטלסון

נולדתי בשנת 1969, אני נשוי ואב לשלושה ילדים. התחלתי לתכנת עוד באלף הקודם (בשנת 1982) ומאז ועד היום אני עוסק באופן פעיל בתכנות, וחוקר את הדרכים שבהן ניתן לתכנת טוב יותר. את התואר הראשון במתמטיקה ומדעי המחשב קיבלתי מאוניברסיטת תל אביב בשנת 1992, ולאחר מכן ביליתי כעשור בתעשיית התוכנה במגוון תפקידי פיתוח ויעוץ. בשנת 2001 חזרתי לספסל הלימודים באוניברסיטת אוקספורד שבאנגליה, ללמוד איך אפשר להשתמש בכלים מתמטיים כדי לפתח מערכות תוכנה אמינות. בשנת 2004 קיבלתי את התואר השני בהנדסת תוכנה, וב-2007 את הדוקטורט במדעי המחשב, שניהם מאוניברסיטת אוקספורד. בשנת 2008 ביליתי שנה בפוסט דוקטורט בטכניון, ולאחר מכן כשנתיים בחברות הזנק. מאז 2010 אני חבר סגל במכללת אפקה. בשנים 2016-2018 השלמתי לימודי תואר שני בעיצוב משולב במכון הטכנולוגי של חולון.

מודלים חישוביים
שיטות בהנדסת תכנה
יצירות מופת בהנדסת תוכנה

David Faitelson's articles on dblp website

On the role of `masterpiece'​ in software engineering education. August 2022. LinkedIn.

Tyszberowicz, Shmuel S., and David Faitelson. 2020. “Emergence in Cyber-Physical Systems: Potential and Risk.” Frontiers Inf. Technol. Electron. Eng. 21 (11): 1554–66. https://doi.org/10.1631/FITEE.2000279.

“Improving Design Decomposition (Extended Version).” Formal Aspects Comput. 29 (4): 601–27. https://doi.org/10.1007/s00165-017-0428-0.

“UML Diagram Refinement (Focusing on Class- and Use Case Diagrams).” In Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017, edited by Sebastián Uchitel, Alessandro Orso, and Martin P. Robillard, 735–45. IEEE / ACM. https://doi.org/10.1109/ICSE.2017.73.

Damiani, Ferruccio, David Faitelson, Christoph Gladisch, and Shmuel S. Tyszberowicz. 2017. “A Novel Model-Based Testing Approach for Software Product Lines.” Softw. Syst. Model. 16 (4): 1223–51. https://doi.org/10.1007/s10270-016-0516-2.

Faitelson, David, Robert Heinrich, and Shmuel S. Tyszberowicz. 2017a. “Functional Decomposition for Software Architecture Evolution.” In Model-Driven Engineering and Software Development - 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers, edited by Luı́s Ferreira Pires, Slimane Hammoudi, and Bran Selic, 880:377–400. Communications in Computer and Information Science. Springer. https://doi.org/10.1007/978-3-319-94764-8_16.

“Supporting Software Architecture Evolution by Functional Decomposition.” In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, edited by Luı́s Ferreira Pires, Slimane Hammoudi, and Bran Selic, 435–42. SciTePress. https://doi.org/10.5220/0006206204350442.

“Improving Design Decomposition.” In Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, edited by Xuandong Li, Zhiming Liu, and Wang Yi, 9409:185–200. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-25942-0_12.

Katz, Shmuel, and David Faitelson. 2012. “The Common Aspect Proof Environment.” Int. J. Softw. Tools Technol. Transf. 14 (1): 41–52. https://doi.org/10.1007/s10009-011-0191-0.

Faitelson, David, and Shmuel S. Tyszberowicz. 2011. “Data Refinement Based Testing.” Int. J. Syst. Assur. Eng. Manag. 2 (2): 144–54. https://doi.org/10.1007/s13198-011-0060-y.

“Automatic Maintenance of Association Invariants.” Softw. Syst. Model. 7 (3): 287–301. https://doi.org/10.1007/s10270-008-0085-0.

Faitelson, David. 2008. “Program Synthesis from Domain Specific Object Models.” PhD thesis, University of Oxford, UK. http://ora.ox.ac.uk/objects/uuid:0c5a992e-dad4-435c-a576-e3ed504bcdbd

Davies, Jim, David Faitelson, and James Welch. 2006. “Domain-Specific Semantics and Data Refinement of Object Models.” In Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006, edited by Anamaria Martins Moreira and Leila Ribeiro, 195:151–70. Electronic Notes in Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.entcs.2007.08.031.

Welch, James, David Faitelson, and Jim Davies. 2005. “Automatic Maintenance of Association Invariants.” In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, edited by Bernhard K. Aichernig and Bernhard Beckert, 282–92. IEEE Computer Society. https://doi.org/10.1109/SEFM.2005.9.

Faitelson, David, James Welch, and Jim Davies. 2005. “From Predicates to Programs: The Semantics of a Method Language.” In Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005, edited by Augusto Sampaio, 184:171–87. Electronic Notes in Theoretical Computer Science. Elsevier.

תחנת רכבת

  • 7 דק'
  • 25 דק'
  • 7 דק'
  • 11 דק'

פארק הירקון

  • 6 דק'
  • 20 דק'
  • 6 דק'
  • 17 דק'

קניון אילון

  • 9 דק'
  • 29 דק'
  • 9 דק'
  • 16 דק'

חוף הים

  • 16 דק'
  • 16 דק'
  • 35 דק'
מתעניינים בלימודים?
מתעניינים בלימודים?

*שדה חובה

מתעניינים בלימודים?