Ken Turner - Online Requirements Specification Publications

Publications

These papers are available for downloading. See also the separate lists of publications on other topics. Click on the symbol preceding each article for the following:

PDF PDF

Web Web Page

Requirements Specification

PDF Mihaela Sighireanu and Kenneth J. Turner. Requirement Capture, Formal Description and Verification of an Invoicing System. Technical Report RR-3575, Institut National de Recherche en Informatique et Automatique, Le Chesnay, France, December 1998.

PDF Kenneth J. Turner. Constraint-Oriented Style in LOTOS. In Proc. British Computer Society Workshop on Formal Methods in Standards, pages 1-13, British Computer Society, London, April 1988.

PDF Kenneth J. Turner. Incremental Requirements Specification with LOTOS. Requirements Engineering Journal, 2:132-151, Springer-Verlag, London, UK, November 1997.

PDF Kenneth J. Turner and Ashley McClenaghan. Visual animation of LOTOS using SOLVE (extended version). In Dieter Hogrefe and Stefan Leue, editors, Formal Description Techniques VII, Amsterdam, October 1994. North-Holland.

PDF Kenneth J. Turner, Ashley McClenaghan and Colin Chan. Specification and Animation of Reactive Systems. In Volkan Atalay, Ugur Halici, Kemal Inan, Nese Yalabik and Adnan Yazici, editors, Proc. International Symposium on Computer and Information Systems XI, pages 355-364, Antalya, Turkey, November 1996.


Up one level to Ken Turner - Online Publications

Web Ken Turner Home   Email    Search Search Web Pages

Last Update: 1st November 2010
URL: http://www.cs.stir.ac.uk/~kjt/research/pub-req.html