On-line abstracts are available for the papers with links. Paper copies of all these papers will be available in room 1.44, Callan Science Building or by post in response to an email request to Adam.Winstanley@may.ie
D.W. Bustard, A.C. Winstanley and others: Graphical Views of Process-Oriented Specifications in K.J. Turner (ed) Formal Description Techniques, 143-156, North-Holland, 1989.
A.C. Winstanley and D.W. Bustard: EXPOSE: an Animation Tool for Process-Oriented Specifications, Software Engineering Journal, 6 (6), 463-475, November 1991.
D.W. Bustard, A.C. Winstanley and others: An Exercise in Formalising the Description of a Concurrent System, Software - Practice and Experience, 22 (12), 1069-1098, December 1992.
D.W. Bustard and A.C. Winstanley: Making Changes to Formal Specifications: Requirements and an Example, in I. Sommerville and M. Paul (eds): Software Engineering - ESEC '93, LNCS 717, Springer-Verlag, 115-126, 1993.
D.W. Bustard and A.C. Winstanley: Making Changes to Formal Specifications: Requirements and an Example, I.E.E.E. Transactions on Software Engineering (August 1994).
A.C. Winstanley: Updating Complex Digital Topographic Databases, An object-oriented solution, in The Updating of Complex Digital Topographic Databases, part 3, 1-19, OEEPE Commission 1, 1994.
A.C. Winstanley and F.J. Smith: The Integration of Scientific Data into an Artificial Intelligence System, 14th International CODATA Conference, Chambery, 1994.
A.C. Winstanley and F.J. Smith: The Intelligent Selection of Materials from a Design Specification, 14th International CODATA Conference, Chambery, 1994.
A.C. Winstanley and F.J. Smith: The Integration of Scientific Data into an Artificial Intelligence System, in J.E. Dubois and N. Gershon (eds) Modelling Complex Data for Creating Information: Real and Virtual Objects, Springer-Verlag, forthcoming.
A.C. Winstanley, J. Collis and F.J. Smith: An AI Approach to Quantitative Problem Solving in Science and Engineering, submitted to Computers in Industry.
Collis J, Winstanley A, Brennan J, Loughlin S and Smith FJ: Intelligent Quantitative Problem Solving, Euromech 343, Hamburg, 1995.
A.C. Winstanley and F.J. Smith: The Intelligent Selection of Materials from a Design Specification, in J-P. Caliste, E. Truyol and J. Westbrook (eds) Thermodynamic Modelling and Materials Data Engineering, Springer-Verlag, forthcoming.
A.C. Winstanley, N. Gilchrist and M. Frain: Reading Maps Automatically, The Irish Scientist 1997 Year Book, Samton, Dublin, 120.
A.C. Winstanley: Automatic Shape Recognition in a Machine Vision System, MSc dissertation, Department of Computer Science, Queen's University, Belfast, 1987.
A.C. Winstanley: The Elucidation of Process-Oriented Specifications, PhD dissertation, Faculty of Science, Queen's University, Belfast, 1992.
A.C. Winstanley: A Graphical LOTOS Tool Using Hypercard, Department of Computer Science, Queen's University, Belfast, 1988.
A.C. Winstanley and D.W. Bustard: Constructing Discrete-Event Simulation Models using Process-Oriented Specification Languages, Department of Computer Science, Queen's University, Belfast, 1989.
A.C. Winstanley: Process-Oriented Specification Development Tools, Scaffold Project, University of Ulster, 1992.
A.C. Winstanley: Elucidation Tools for Process-Oriented Specifications, Scaffold Project, University of Ulster, 1992.