Critical burden of being correct
USING Z: SPECIFICATION, REFINEMENT AND PROOF By Jim Woodcock and Jim Davies Prentice Hall 452pp, Pounds 18.95 ISBN 0 139 48472 8. APPLICATIONS OF FORMAL METHODS By Michael Hinchey and Jonathan Brown...
USING Z: SPECIFICATION, REFINEMENT AND PROOF By Jim Woodcock and Jim Davies Prentice Hall 452pp, Pounds 18.95 ISBN 0 139 48472 8. APPLICATIONS OF FORMAL METHODS By Michael Hinchey and Jonathan Brown...
The PROfiles CD-Rom series, publishing Cabinet papers released under the 30-year rule, is to be revamped following disappointing first-year sales. Following a meeting earlier this month between the...
John Daniel, the Open University's vice chancellor, will deliver a warning and a promise to British business and universities on Monday. Sir John is giving the opening address at the World Open...
In London last week cable television entrepreneur Glenn R. Jones, whose interests include the Denver-based Mind Extension University, spoke about his latest venture which combines the massive...
(Photograph) - Brainpower is an interface for video on demand by Mahesh Ramachandra. It is part of the Mobile interactive CD-Rom produced by Middlesex University MA students on the design for...
DATABASES IN HISTORICAL RESEARCH By Charles Harvey and Jon Press Macmillan 352pp, Pounds 45 ISBN 0 333 56843 5 (hbk) 331pp, Pounds 14.99 ISBN 0 333 568443 (pbk) USING COMPUTERS IN HITORY: A PRACTICAL...
The UK funding councils' Joint Information Systems Committee is pressing the higher education sector to react to its five-year strategy document, which was mailed to campuses at the beginning of the...
From today engineers have a new gateway to resources on the Internet. The Edinburgh Engineering Virtual Library is intended to solve one of the main problems facing Internet users - locating useful...
EIGHTEENTH-CENTURY FICTION ON CD-ROM Editorial Board: Judith Hawley, Tom Keymer, John Mullan Chadwyck-Healey Pounds 2,750 +VAT ISBN 0 85964 323 9 Windows CD Once upon a time, there was a course...
Computerised tests developed by a team at the University of Hull's psychology department could play an important part in Government plans to assess all five-year-olds in reading, writing and...
A forum to advance technologies for distance learning, ranging from satellites to fibre optics, has been established in Israel. Shlomo Zach, chief scientist of the communications ministry, said that...
HIGH NOON ON THE ELECTRONIC FRONTIER Edited by Peter Ludlow MIT Press 520pp, Pounds 42.50 ISBN 0 262 12196 4 (hbk) Pounds 19.95, ISBN 0 262 62103 7 (pbk) Well that old cowpoke Peter Ludlow has sure...
The University of Central England has invested Pounds 1.5 million in an IBM asynchronous transfer mode (ATM) network which will bring high quality (MPEG2) video and multimedia to 1,500 desktop...
Tony Durham reports from Singapore on the global scramble to develop and control forms of distance learning. No knowledge, no future: from shanty town to corporate headquarters this is understood....
THINK POSITIVE By Artec East London & the City Health Authority (+44 181 983 1141) Windows CD, Pounds 40 +VAT Think Positive is a novel and elaborate sex and health education package which...