Ken Turner - Online Requirements Specification 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

Web Page

Requirements Specification

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.

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.

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

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.

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