Search the dblp DataBase

Publications of Author

1. Bill Mitchell, Robert Thomson, Clive Jervis
   Phase Automaton for Requirements Scenarios. [Citation Graph (0, 0)][DBLP]
   FIW, 2003, pp:77-84 [Conf]
   
2. Bill Mitchell
   Inherent Causal Orderings of Partial Order Scenarios. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2004, pp:113-127 [Conf]
   
3. Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell
   Automatic Generation of Conformance Tests from Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   SAM, 2002, pp:170-198 [Conf]
   
4. Bill Mitchell, Robert Thomson, Paul Bristow
   Scenario Synthesis from Imprecise Requirements. [Citation Graph (0, 0)][DBLP]
   SAM, 2004, pp:122-137 [Conf]
   
5. Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton
   Detecting and resolving semantic pathologies in UML sequence diagrams. [Citation Graph (0, 0)][DBLP]
   ESEC/SIGSOFT FSE, 2005, pp:50-59 [Conf]
   
6. Bill Mitchell, Robert Thomson, Paul Bristow
   Model Synthesis from Imprecise Specifications. [Citation Graph (0, 0)][DBLP]
   VVEIS, 2004, pp:20-25 [Conf]
   
7. Bill Mitchell
   Resolving Race Conditions in Asynchronous Partial Order Scenarios. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2005, v:31, n:9, pp:767-784 [Journal]
   
8. 
   A Dynamic Orchestration Model for Future Internet Applications. [Citation Graph (, )][DBLP]
   
   
9. 
   Lazy buffer semantics for partial order scenarios. [Citation Graph (, )][DBLP]