Journal of Information Technology is now archived and no
longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Volume 2, issue 2, June 1987
Formal Methods
- Issue editors
-
- Bernie Cohen
- Les Johnson
10 articles in this issue
-
-
Is Computing an Experimental Science?
Authors
- Robin Milner
- Content type: Proceedings
- Published: 01 June 1987
- Pages: 58 - 66
-
Working with Formal Methods
Authors
- John Nicholls
- Content type: Proceedings
- Published: 01 June 1987
- Pages: 67 - 71
-
Power and Limitations of Formal Methods for Software Fabrication
Authors
- Michael Jackson
- Content type: Proceedings
- Published: 01 June 1987
- Pages: 72 - 76
-
Formal Methods: A Commentary
Authors
- Tom Maibaum
- Martin Sadler
- Content type: Proceedings
- Published: 01 June 1987
- Pages: 77 - 80
-
Information Technology and People: The Challenge of Change
Authors
- Eric Landles
- Content type: Proceedings
- Published: 01 June 1987
- Pages: 81 - 83
-
Beyond Information Technology: The Force of Human Reason
Authors
- Igor Aleksander
- Content type: Proceedings
- Published: 01 June 1987
- Pages: 84 - 87
-
The Nature of Information
Authors
- Victor Serebriakoff
- Content type: Book Extract
- Published: 01 June 1987
- Pages: 88 - 99
-
The Value of Information
Authors
- Catherine Griffiths
- Peter Clark
- Content type: A Challenge
- Published: 01 June 1987
- Pages: 100 - 101
-
Towards the Automated Factory? The Need for Training
Authors
- Ted Hutchin
- Content type: Book Review
- Published: 01 June 1987
- Pages: 102 - 102