Jamie Stark

On the Automatic Discovery of Loop Invariants

Andrew Ireland, Jamie Stark, 1997 .

Project P 907 MESSAGE : Methodology for Engineering Systems of Software Agents Deliverable 3 Methodology for Agent-Oriented Software Engineering ( final ) 20 / 09 / 2001

G. Caire, J. Pavón, Jamie Stark, 2002 .

Proof planning for strategy development

Andrew Ireland, Jamie Stark, Andrew Ireland, 2001, Annals of Mathematics and Artificial Intelligence.

Towards automatic imperative program synthesis through proof planning

Andrew Ireland, Jamie Stark, Andrew Ireland, 1999, 14th IEEE International Conference on Automated Software Engineering.

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis

Andrew Ireland, Jamie Stark, Andrew Ireland, 2006, Automated Software Engineering.

Agent Oriented Analysis Using Message/UML

Jorge J. Gómez-Sanz, Juan Pavón, Philippe Massonet, 2001, AOSE.

Agent-Oriented Software Engineering II

Philippe Massonet, Paul Kearney, Juan Pavón, 2002 .