• אימות תוכנה  |  10146 לסילבוס הקורס
• מידול מערכות תכנה  |  10148 לסילבוס הקורס

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.

Google Scholar

ResearchGate

LinkedIn