Journal: Information \& Software Technology

Volume 36, Issue 12

699 -- 706Aaron Kans, Clive Hayton. Translating VDM specifications into ABC programs
707 -- 715Jinhwan Kim, Heonshik Shin. Optimistic priority-based concurrency control protocol for firm real-time database systems
717 -- 724George Pangalos. A tutorial on secure database systems
725 -- 732Patrick van Bommel, Theo P. van der Weide, Carlos B. Lucasius. Genetic algorithms for optimal logical database design
733 -- 742Gabriele Manduchi, G. Fregonese, C. Taliercio, Tw Fredian, Ja Stillerman. The design of the user interface for a large physics experiment
743 -- 749Francis Neelamkavil, Joseph Drumgoole. Design and development of EASEL: a portable UIMS tool
751 -- 0Karen Atkinson. Conference report
752 -- 753Marek Machura. Object-oriented environments: The Mjølner approach: J. L. Knudsen, M. Lofgren, O. Lehrmann-Madsen and B. Magnusson (eds) Prentice-Hall (1993) 627 pp £35.00 ISBN 0 13 009291 6
753 -- 0David Whittington. Computer-supported cooperative work: Stephen A. R. Scrivener (ed) Avebury Technical (1994) 286 pp £45 hardback ISBN 0 29139812 X