 | 2012 |
|---|
| 6 |       | Shmuel Katz,
David Faitelson:
The common aspect proof environment.
STTT 14(1): 41-52 (2012) |
| 2011 |
|---|
| 5 | | David Faitelson,
Shmuel S. Tyszberowicz:
Data refinement based testing.
Int. J. Systems Assurance Engineering and Management 2(2): 144-154 (2011) |
| 2008 |
|---|
| 4 | | Jim Davies,
David Faitelson,
James Welch:
Domain-specific Semantics and Data Refinement of Object Models.
Electr. Notes Theor. Comput. Sci. 195: 151-170 (2008) |
| 3 | | James Welch,
David Faitelson,
Jim Davies:
Automatic maintenance of association invariants.
Software and System Modeling 7(3): 287-301 (2008) |
| 2007 |
|---|
| 2 | | David Faitelson,
James Welch,
Jim Davies:
From Predicates to Programs: The Semantics of a Method Language.
Electr. Notes Theor. Comput. Sci. 184: 171-187 (2007) |
| 2005 |
|---|
| 1 | | James Welch,
David Faitelson,
Jim Davies:
Automatic Maintenance of Association Invariants.
SEFM 2005: 282-292 |
Data released under the ODC-BY 1.0 license — See also our legal information page