Dr. David Faitelson

I was born in 1969. I’m married and have three children.

I started coding in the second millennium (in 1982), and have been programming and exploring ways to code better ever since.

After receiving my undergraduate degree in mathematics and computer science from Tel Aviv University in 1992, I spent a decade at various development and consulting roles in the software industry. In 2001, I returned to school at England’s Oxford University, to learn how mathematical tools could be used to develop reliable software systems. In 2004, I received my graduate degree in software engineering, and in 2007 my doctorate in computer science, both from Oxford. In spent 2008 as a postdoc at the Technion, followed by two years at startup companies. Since 2010, I’ve been a faculty member at Afeka college. In 2016-2018, I completed a graduate degree in integrated design at the Holon Institute of Technology.

Software Engineering Methods

Computational Models

Masterpieces Of Software Engineering

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. https://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. https://doi.org/10.1016/j.entcs.2007.03.021.

Google Scholar

ResearchGate