Journal of Information Technology

PDF

Editorial
Igor Aleksander

PDF

Is Computing an Experimental Science?
Robin Milner

PDF

Working with Formal Methods
John Nicholls

PDF

Power and Limitations of Formal Methods for Software Fabrication
Michael Jackson

PDF

Formal Methods: A Commentary
Tom Maibaum and Martin Sadler

PDF

Information Technology and People: The Challenge of Change
Eric Landles

PDF

Beyond Information Technology: The Force of Human Reason
Igor Aleksander

PDF

Book Review: Towards the Automated Factory? the Need for Training
Ted Hutchin

PDF

The Nature of Information
Victor Serebriakoff

PDF

The Value of Information
Catherine Griffiths and Peter Clark