Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
David Faitelson
Observed names:
D. Faitelson,
Faitelson, David
Institution:
Afeka College of Engineering
Observed institutions:
Afeka College of Engineering,
Technion – Israel Institute of Technology,
University of Oxford,
Academic College of Tel Aviv-Yafo
ORCID:
0000-0002-8332-7644
Observed ORCID:
0000-0002-8332-7644
OpenAlex ID:
A5072352024
UML Diagram Refinement (Focusing on Class-and Use Case Diagrams)
2017
·
David Faitelson
, Shmuel Tyszberowicz
·
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
·
30
Emergence in cyber-physical systems: potential and risk
2020
·
Shmuel Tyszberowicz
, David Faitelson
·
Frontiers of Information Technology & Electronic Engineering
·
14
From Predicates to Programs: The Semantics of a Method Language
2007
·
David Faitelson
, James Welch
, et al.
·
Electronic Notes in Theoretical Computer Science
·
14
Supporting Software Architecture Evolution by Functional Decomposition
2017
·
David Faitelson
, Robert Heinrich
, et al.
·
International Conference on Model-Driven Engineering and Software Development
·
12
Functional Decomposition for Software Architecture Evolution
2018
·
David Faitelson
, Robert Heinrich
, et al.
·
Communications in computer and information science
·
11
A novel model-based testing approach for software product lines
2016
·
Ferruccio Damiani
, David Faitelson
, et al.
·
Software & Systems Modeling
·
10
PDF
Domain-specific Semantics and Data Refinement of Object Models
2008
·
Jim Davies
, David Faitelson
, et al.
·
Electronic Notes in Theoretical Computer Science
·
10
PDF
Improving design decomposition (extended version)
2017
·
David Faitelson
, Shmuel Tyszberowicz
·
Formal Aspects of Computing
·
8
Improving Design Decomposition
2015
·
David Faitelson
, Shmuel Tyszberowicz
·
Lecture notes in computer science
·
8
Automatic maintenance of association invariants
2008
·
James Welch
, David Faitelson
, et al.
·
Software & Systems Modeling
·
8
Data refinement based testing
2011
·
David Faitelson
, Shmuel Tyszberowicz
·
International Journal of Systems Assurance Engineering and Management
·
5
Computer Games are Scalable and Engaging Alternatives to Traditional Undergraduate Mathematics Homework
2023
·
D. Faitelson
, S. Gul
, et al.
·
PRIMUS
·
4
Automatic maintenance of association invariants
2005
·
J. Welch
, D. Faitelson
, et al.
·
IEEE International Conference on Software Engineering and Formal Methods (SEFM)
·
4
The common aspect proof environment
2011
·
Shmuel Katz
, David Faitelson
·
International Journal on Software Tools for Technology Transfer
·
3
A Simple Trace Semantics for Asynchronous Sequence Diagrams
2026
·
David Faitelson
, Shmuel Tyszberowicz
·
International Conference on Evaluation of Novel Approaches to Software Engineering
Modular Data Refinement
2026
·
David Faitelson
, Leonid Shepetovsky
, et al.
·
Lecture notes in computer science
Program synthesis from domain specific object models
2008
·
Faitelson, David
·
Oxford University Research Archive (ORA) (University of Oxford)
PDF
Show more works
View as search
Works count:
18
Citation count:
141
H-index:
8
I10-index:
7
Year
Topic
Type
