Travelled to:1 × Belgium
1 × Canada
1 × United Kingdom
2 × USA
Collaborated with:M.Vargas-Vera J.Agustí-Cullell ∅ R.Lecoeuche C.Mellish W.W.Vasconcelos R.Inder
Talks about:program (3) techniqu (2) system (2) prolog (2) edit (2) use (2) framework (1) synthesi (1) toolkit (1) pragmat (1)
Person: David Stuart Robertson
DBLP: Robertson:David_Stuart
Contributed to:
1998
1998
1996
19931993Wrote 5 papers:
- ICRE-1998-LecoeucheMR #elicitation #framework #requirements
- A Framework for Requirements Elicitation through Mixed-Initiative Dialogue (RL, CM, DSR), p. 190–?.
- LOPSTR-1998-RobertsonA #logic programming #source code #synthesis
- Pragmatics in the Synthesis of Logic Programs (DSR, JAC), pp. 41–60.
- SEKE-1996-Robertson #empirical #specification #tool support
- An Empirical Study of the LSS Specification Toolkit in Use (DSR), pp. 153–160.
- ILPS-1993-Vargas-VeraVR #editing #prolog #scalability #source code #using
- Building Large-Scale Prolog Programs using a Techniques Editing System (MVV, WWV, DSR), p. 636.
- LOPSTR-1993-Vargas-VeraRI #editing #prolog #source code
- Combining Prolog Programs in a Techniques Editing System (MVV, DSR, RI), pp. 82–84.