David Faitelson

Improving design decomposition (extended version)

Shmuel S. Tyszberowicz, David Faitelson, S. Tyszberowicz, 2017, Formal Aspects of Computing.

UML Diagram Refinement (Focusing on Class-and Use Case Diagrams)

Shmuel S. Tyszberowicz, David Faitelson, S. Tyszberowicz, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

Program synthesis from domain specific object models

David Faitelson, David Faitelson, 2010 .

Functional Decomposition for Software Architecture Evolution

Robert Heinrich, Shmuel S. Tyszberowicz, David Faitelson, 2017, MODELSWARD.

A novel model-based testing approach for software product lines

Shmuel S. Tyszberowicz, Ferruccio Damiani, David Faitelson, 2017, Software & Systems Modeling.

Supporting Software Architecture Evolution by Functional Decomposition

Robert Heinrich, Shmuel S. Tyszberowicz, David Faitelson, 2017, MODELSWARD.