| 2009 |
|---|
| 8 | EE | Nazareno Aguirre,
Marcelo F. Frias,
Mariano M. Moscato,
T. S. E. Maibaum,
Alan Wassyng:
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.
FASE 2009: 155-170 |
| 2008 |
|---|
| 7 | EE | T. S. E. Maibaum,
Alan Wassyng:
A Product-Focused Approach to Software Certification.
IEEE Computer 41(2): 91-93 (2008) |
| 2006 |
|---|
| 6 | EE | Alan Wassyng,
Mark Lawford:
Software tools for safety-critical software development.
STTT 8(4-5): 337-354 (2006) |
| 2005 |
|---|
| 5 | EE | Alan Wassyng,
Mark Lawford,
Xiayong Hu:
Timing Tolerances in Safety-Critical Software.
FM 2005: 157-172 |
| 4 | EE | Daniel M. Berry,
Daniela Damian,
Anthony Finkelstein,
Donald C. Gause,
Robert Hall,
Alan Wassyng:
To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it?
RE 2005: 447 |
| 3 | EE | Ryszard Janicki,
Alan Wassyng:
Tabular Expressions and Their Relational Semantics.
Fundam. Inform. 67(4): 343-370 (2005) |
| 2003 |
|---|
| 2 | EE | Ryszard Janicki,
Alan Wassyng:
On tabular expressions.
CASCON 2003: 92-106 |
| 1 | EE | Alan Wassyng,
Mark Lawford:
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.
FME 2003: 133-153 |
