Robert Thomson

According to our database, Robert Thomson authored at least 4 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Detecting and resolving semantic pathologies in UML sequence diagrams.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

2004

Model Synthesis from Imprecise Specifications.

Bill Mitchell, Robert Thomson, Paul Bristow

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Scenario Synthesis from Imprecise Requirements.

Bill Mitchell, Robert Thomson, Paul Bristow

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

2003

Phase Automaton for Requirements Scenarios.

Bill Mitchell, Robert Thomson, Clive Jervis

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003