2005 | ||
---|---|---|
6 | EE | Eoin Woods, Rich Hilliard: Architecture Description Languages in Practice Session Report. WICSA 2005: 243-246 |
5 | EE | Eoin Woods, Nick Rozanski: Using Architectural Perspectives. WICSA 2005: 25-35 |
2004 | ||
4 | EE | Eoin Woods: Experiences Using Viewpoints for Information Systems Architecture: An Industrial Experience Report. EWSA 2004: 182-193 |
1997 | ||
3 | EE | Jeremy Dick, Eoin Woods: Lessons learned from rigorous system software development. Information & Software Technology 39(8): 551-560 (1997) |
2 | Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods: Making the Most of Formal Specification Through Animation, Testing and Proof. Sci. Comput. Program. 29(1-2): 53-78 (1997) | |
1996 | ||
1 | Juan Bicarregui, Jeremy Dick, Eoin Woods: Quantitative Analysis of an Application of Formal Methods. FME 1996: 60-73 |
1 | Juan Bicarregui | [1] [2] |
2 | Jeremy Dick | [1] [2] [3] |
3 | Rich Hilliard | [6] |
4 | Brian Matthews | [2] |
5 | Nick Rozanski | [5] |