Robert Thomson

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton
Detecting and resolving semantic pathologies in UML sequence diagrams. ESEC/SIGSOFT FSE (2005)
Bill Mitchell, Robert Thomson, Paul Bristow
Model Synthesis from Imprecise Specifications. VVEIS (2004)
Bill Mitchell, Robert Thomson, Paul Bristow
Scenario Synthesis from Imprecise Requirements. SAM (2004)
Bill Mitchell, Robert Thomson, Clive Jervis
Phase Automaton for Requirements Scenarios. FIW (2003)