Computer Science: Publication Index 1997

• Modelling historical change in southern Corsica: temporal GIS development using an extensible database system. J. Bagg and N. Ryan. In Z. Kemp, editor, Innovations in GIS 4, pages 42-55. Taylor & Francis, London, May 1997.
• 30 Accessible - A Survey of the UK Wide Web. D.J. Beckett. In Michael R. Genesereth and Anna Patterson, editors, Proceedings of the Sixth World Wide Web Conference, pages 475-485. World Wide Web Consortium, Elsevier, Holland, April 1997. ISBN 0-9657614-0-1 See <URL:http://www6conf.org/>.
• Inferring Argument Size Relationships with CLP(R). Florence Benoy and Andy King. In Logic Program Synthesis and Transformation, volume 1207 of Lecture Notes in Computer Science, pages 204-223. Springer-Verlag, August 1997.
• Formal specification of distributed multimedia systems. G.S. Blair, L. Blair, H. Bowman, and A. Chetwynd. University College London Press, September 1997.
• Viewpoint consistency in Z and LOTOS: A case study. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, pages 644-664. Springer-Verlag, September 1997.
• Coupling schemas: data refinement and view(point) composition. E.A. Boiten, J. Derrick, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, 2nd BCS-FACS Northern Formal Methods Workshop, Workshops in Computing, page 18. Springer-Verlag, July 1997.
• Z unification tools in Generic Formaliser. E. Boiten. Technical Report 10-97*, Computing Laboratory, University of Kent at Canterbury, March 1997.
• On Behavioural Subtyping in LOTOS. H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. In H. Bowman and J. Derrick, editors, FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall, July 1997.
• Mexitl: Multimedia in Executable Interval Temporal Logic. Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. Technical Report 3-97, Computing Laboratory, University of Kent at Canterbury, May 1997.
• Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. In International Conference on Temporal Logic, Applied Logic Series. Kluwer, July 1997.
• Extending LOTOS with time: True concurrency perspective. Howard Bowman and John Derrick. In Miquel Bertran and Teodor Rus, editors, ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software, volume 1231 of Lecture Notes in Computer Science, pages 382-399. Springer-Verlag, May 1997.
• FMOODS'97, IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems. Howard Bowman and John Derrick, editors, volume 2, Canterbury, UK, July 1997. Chapman and Hall.
• A Tableau Method for Interval Temporal Logic. Howard Bowman and Simon Thompson. Technical Report 12-97, Computing Laboratory, University of Kent, November 1997.
• Development of a Technical Reports Service at the Higher Education National Software Archive in the UK. Maggie Bowman. Program, 31(2):147-159, April 1997.
• Context-aware applications: from the laboratory to the marketplace. P. J. Brown, J. D. Bovey, and X. Chen. IEEE Personal Communications, 4(5):58-64, October 1997.
• Active alice: Active paper for active learning. Heather Brown. In Proceedings of ALT-C 97, page 7, September 1997.
• UKC Orbix Survival Guide. Ian Buckner and Ian Penny. internal report 6-97, University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, January 1997.
• UKC ANSAware Survival Guide. Ian Buckner. internal report 5-97, University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, January 1997.
• UKC ANSAware Survival Guide (for Modula-3). Ian Buckner. internal report 4-97, University of Kent at Canterbury, Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, January 1997.
• An Object-Based Approach to Modelling and Analysis of Failure Properties. M. Cepin, R. de Lemos, B. Mavko, S. Riddle, and A. Saeed. In P. Daniel, editor, Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97), pages 281-294, York, UK, September 1997. Springer-Verlag, Berlin, Germany.
• Merging and extending the PGP and PEM trust models - the ICE-TEL trust model. D. W. Chadwick, A.J. Young, and N. Kapidzic Cicovic. IEEE Networks Special Publication on Internet Security, 11(3):16-24, May 1997.
• From ACT-ONE to Miranda, a Translation Experiment. Nathan Charles, Howard Bowman, and Simon Thompson. Computer Standards and Interfaces, 19(1), May 1997.
• Adding an Optimisation Pass to the Glasgow Haskell Compiler. Olaf Chitil. November 1997.
• Common Subexpression Elimination in a Lazy Functional Language. Olaf Chitil. In Chris Clack, Tony Davie, and Kevin Hammond, editors, Draft Proceedings of the 9th International Workshop on Implementation of Functional Languages, pages 501-516. St Andrews, Scotland, September 1997.
• The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Olaf Chitil. Fundamenta Informaticae, 31:253-294, 1997.
• Widening pos for efficient and scalable groundness analysis of logic programs. Mike Codish, Andy Heaton, and Andy King. Technical Report 16-97, University of Kent at Canterbury, December 1997.
• OMG OA&D RFP Response V1.0. S Cook and B Selic. Technical report, 1997.
• Genetic algorithms and the analysis of spatially referenced data. R.E. Cooley, M.H.W. Hobbs, and A.D. Pack. Applied Artificial Intelligence, 11(2):151-171, March 1997.
• Computing class partition values for thematic maps. Roger Cooley, Ann Clewer, and Alan Pack. In Einar Holm, editor, Modelling Space and Networks, volume 1997:1, pages 127-133. Umea Universitet, Sweden, March 1997.
• A Hybrid Approach to Quality of Service Multicast Routing. J.S. Crawford and A.G. Waters. In Demetres Kouvatsos, editor, ATM'97 Fifth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Research Papers., pages 61/1-61/9, University of Bradford, July 1997. IFIP Working Group 6.3 on Performance of Communications Systems and IFIP Working Group 6.4 on High Performance Networking, UK Performance Engineering Workshop.
• Low Cost Quality of Service Multicast Routing in High Speed Networks. J.S. Crawford and A.G. Waters. Technical Report 13-97, University of Kent at Canterbury, December 1997.
• Fran in action!. Anthony C. Daniels. This is a Fran tutorial that develops an animation of crew rowing., July 1997.
• Students Asking Questions: Facilitating Questioning Aids Understanding and Enhances Software Engineering Skills. David Barnes. ACM SIGCSE Bulletin, 29(4):38-41, December 1997.
• Introductory Problem Solving in Computer Science. David J. Barnes, Sally Fincher, and Simon Thompson. In Goretti Daughton and Patricia Magee, editors, 5th Annual Conference on the Teaching of Computing, pages 36-39, Centre for Teaching Computing, Dublin City University, Dublin 9, Ireland, August 1997.
• Translating LOTOS to Object-Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, Northern Formal Methods Workshop, volume 2nd BCS-FACS Northern Formal Methods Workshop of Workshops in Computing. Springer-Verlag, July 1997.
• Weak refinement in Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In J.P. Bowen, M.G. Hinchey, and D.Till, editors, ZUM '97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 369-388, Reading, April 1997. Springer-Verlag.
• A comparison of real-time formal specification languages. A.S. Evans, D.R.W. Holton, L.M. Lai, and P. Watson. In D.J. Duke and A.S. Evans, editors, Proceedings of the Northern Formal Methods Workshop, Ilkley, September 1996, Electronic Workshops in Computer Science, http://ewic.springer.co.uk/, January 1997. Springer Verlag.
• Formal Specification and Testing of a Management Architecture. G. P. A. Fernandes and J. Derrick. In Aurel Lazar, Roberto Saracco, and Rolf Stadler, editors, Integrated Network Management V - Integrated management in a virtual world, pages 473-484, San Diego, California, USA, May 1997. IFIP/IEEE, Chapman & Hall.
• Effective projectwork in computer science: Project epcos. Sally Fincher. In Mette Knudsen and Torben "Sopper" Vinther, editors, Project Work in University Studies, volume 2, pages 195-203. Roskilde University, Denmark, September 1997.
• Learning from other disciplines: pedagogic models within computer science and from elsewhere. Sally Fincher. In Informatics (Computer Science) as a discipline and in other disciplines: what is in common?. IFIP WG 3.2, August 1997.
• Towards a pattern vocabulary for dissemination techniques. Sally Fincher. Presented at the workshop "Putting it All Together: Pattern Languages for Interaction Design" at CHI'97, March 1997.
• A Genetic Programming Framework for Two Data Mining Tasks: Classification and Generalized Rule Induction. AA Freitas. In JR Koza and K Deb et al, editors, Genetic Programming 1997: Proc 2nd Annual Conf, pages 96-101. Stanford University, CA, USA, Morgan Kaufmann, July 1997.
• The Principle of Transformation Between Efficiency and Effectiveness: Towards a Fair Evaluation of the Cost-Effectivenss of KDD Techniques. AA Freitas. In J Komorowski and J Zytkow, editors, Principles of Data Mining and Knowledge Discovery (Proc 1st European Symp KPKDD'97, Trondheim, Norway, LNAI 1263, pages 299-306, Berlin, 1997. Springer-Verlag.
• The trade-off between effectiveness and efficiency in attribute selection: in defense of the filter approach. AA Freitas. In R Ng, editor, Proc 1997 SIGMOD Workshop on Research Issues on Data Mining and Knowledge Discovery, page 91, Technical Report 97-07, May 1997.
• Towards Large-Scale Knowledge Discovery in Databases (KDD) by Exploiting Parallelism in Generic KDD Primitives. AA Freitas. In P Shoval and A Silberschatz, editors, Proc 3rd Int Workshop on Next-Generation Information Technologies and Systems, pages 33-43, Neve Ilan, Israel, July 1997.
• NL Module Evaluation in GATE. R.G. Gaizauskas and P.J. Rodgers. In SALT '97 Workshop on Evaluation in Speech and Language Technology. Sheffield University, June 1997.
• Automatic and interactive correlation partitioning compared: Application to TiN/Ti/SiO2. S. Haigh, P.G. Kenny, R.H. Roberts, I.R. Barkshire, M. Prutton, D.K. Skinner, P. Pearson, and K. Stribley. Surface and Interface Analysis, 25:335-340, January 1997. Also presented at QSA9, University of Surrey, July 1996.
• Does OO sync with the way we think?. Leslie Hatton. IEEE Software, 15(3):46-54, November 1997.
• Keynote paper in COMPASS'97. Leslie Hatton. In Conference on Computer Software Assurance and Safety, Washington, DC., June 1997.
• Keynote paper in ESSE-SCOPE'97. Leslie Hatton. In European Conference on Software Process Improvement, Dublin, May 1997.
• N-version Design vs. One Good Version. Leslie Hatton. IEEE Software, 14:71-76, November 1997.
• Re-examining the fault density - component size connection. Leslie Hatton. IEE Software, 14(2):89-97, March 1997.
• Software failures - follies and fallacies. Leslie Hatton. IEE Review, 43(2):49-54, January 1997.
• The T experiments: errors in scientific software. Leslie Hatton. IEE Computational Science & Engineering, 4(2):27-38, January 1997.
• The T-experiments in Quality of Numerical Software, Assessment and Enhancement. Leslie Hatton, page 384. Chapman and Hall, London, January 1997.
• The Year 2000: How much should we worry?. Leslie Hatton. Eurostar'97, Edinburgh, January 1997.
• Unexpected (and sometimes unpleasant) lessons from data in real software systems. Leslie Hatton. Springer-Verlag, January 1997. in 12th Annual CSR, Bruges.
• Determinacy and determinacy analysis. P.M. Hill and A. King. Journal of Programming Languages, 5(1):135-171, December 1997.
• The implementation and visualization of a large spatial individual-based model using Fortran 90. T.R. Hopkins and D.R. Morse. In R. Denzer, D.A. Swayne, and G. Schimak, editors, Environmental Software Systems, Volume 2, London, 1997. Chapman & Hall.
• Is the quality of numerical subroutine code improving?. Tim Hopkins. Technical Report 1-97*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1997.
• New implementations of the spectral test. Tim Hopkins. Technical Report 11-97, University of Kent, Computing Laboratory, July 1997.
• Is the quality of numerical subroutine code improving?. T.R. Hopkins. In E. Arge, A.M. Bruaset, and H.P. Langtangen, editors, Modern Software Tools for Scientific Computing, pages 311-324. Birkh"auser Verlag, Basel, 1997.
• Two Loop Detection Mechanisms: A Comparison. J. M. Howe. In D. Galmiche, editor, TABLEAUX'97, volume 1227 of Lecture Notes in Artificial Intelligence, pages 188-200. Springer-Verlag, May 1997.
• The basic of multi-media computer. Ruji Jin, Chen Lin, and Linying su. The people's press of Inner Mogolia, Hohhot, China, January 1997.
• Integrating BPR and Systems Development using Meta-Models. L. Johnson and M. Stergiou. In Technology Transfer Institute, editor, Proceedings - BPR Year 97 Europe, page 18, June 1997.
• The Necessary Architecture of Self-Regulating Teams. L. Johnson and M. Stergiou. In D. Wright, M. Rudolph, V. Hanna, D. Gillingwater, and N. Burns, editors, ME-SELA'97 Proceedings - International Conference on Managing Enterprises - Stakeholders, Engineering, Logistics, and Achievement, pages 93-98, July 1997.
• The Link between BPR, Evolutionary Delivery and Evolutionary Development. L. Johnson and M. Stergiou. In Nagib Callaos, Chan Meng Khoong, and Eli Cohen, editors, SCI'97 Proceedings - World Multiconference on Systemics, Cybernetics and Informatics, volume 2, pages 61-67, July 1997.
• The semantics of Extended ML: A gentle introduction. Stefan Kahrs, Don Sannella, and Andrzej Tarlecki. Theoretical Computer Science, 173(2):445-484, February 1997.
• Lecture notes on formal program development. Stefan Kahrs. LFCS Report ECS-LFCS-97-372, University of Edinburgh, November 1997.
• Innovations in GIS 4. Zarine Kemp. Taylor & Francis, London, April 1997.
• Compression, visualization and segmentation techniques for 3D spectrum-images from multispectral analytical electron microscopy. P.G. Kenny, P.F. Newbury, D.L. Mountain, D. Whitehouse, S.A. Haigh, M. Prutton, R.H. Roberts, I.R. Barkshire, and M.J.G. Wenham. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Imaging Science, Systems and Technology (CISST'97), pages 355-363, USA, July 1997. CSREA, CSREA. Las Vegas, Nevada, USA, June 30 - July 3, 1997.
• Semantics through Pictures. S. Kent, A. Hamie, J. Howse, F. Civello, and R. Mitchell. In ECOOP'97 Workshop Reader, LNCS. Springer Verlag, October 1997.
• Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations. S. Kent, A. Hamie, J. Howse, F. Civello, and R. Mitchell. In Proceedings of ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modelling Techniques, Technical Report TUM-I9725. University of Munich, June 1997.
• Component Composition in Business and System Modelling. S. Kent, K. Lano, J. Bicarregui, A. Hamie, and J. Howse. In Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics, Technical Report TUM-I9737. University of Munich, October 1997.
• Constraint Diagrams: Visualizing Assertions in OO Modelling. S. Kent. Technical Report ITCM97/C2, University of Brighton, May 1997.
• Constraint Diagrams: Visualizing Invariants in OO Modelling. S. Kent. In Proceedings of OOPSLA97, pages 327-341. ACM Press, October 1997.
• Types, invariants, and epochs: specifying changes in RM-ODP and ODP information language. H. Kilov, P. Linington, J. Miller, K. Raymond, and B. Wood. In H.Kilov, B.Rumpe, and I.Simmonds, editors, Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics, TUM-I9737, pages 115-118. Munich University of Technology, October 1997.
• Lower-bound time-complexity analysis of logic programs. Andy King, Kish Shen, and Florence Benoy. In Jan Maluszynski, editor, International Symposium on Logic Programming, pages 261 - 276. MIT Press, November 1997.
• Blue - language specification, version 1.0. Michael Kölling and John Rosenberg. Technical Report TR97-13, School of Computer Science and Software Engineering, Monash University, November 1997.
• A case study in Timed CSP: the railroad crossing problem. L.M. Lai and P. Watson. In O. Maler, editor, Proceedings of the International Workshop on Hybrid and Real-Time Systems (HART 97), volume 1201 of Lecture Notes in Computer Science, pages 69-74. Springer Verlag, January 1997.
• Supported to Disaster: the Limitations of Generic Whistleblowing Models. Duncan Langford and Mark Mitschow. In Fourth Annual International Conference Promoting Business Ethics, New York, November 1997.
• Beyond Human Control: Some Ethical Implications of Today's Internet. Duncan Langford. In The Ethics of Electronic Information in the 21st Century, University of Memphis, September 1997.
• Ethical Issues in Business Computing. Duncan Langford. In International Conference on Computer Ethics, Linkoping University, Sweden, June 1997.
• Ethical Issues in Network System Design. Duncan Langford. Australian Journal of Information Systems, 4(2):pp 127-132, May 1997.
• Internet protocol. Duncan Langford. In Encyclopaedia of Applied Ethics. Academic Press, San Deigo, California, October 1997.
• Regency minton porcelain 1800-1815. Duncan Langford. Langford & Clark, Canterbury, Kent, June 1997.
• Integrating VDM++ and Real-time System Design. K. Lano, S. Goldsack, J. Bicarregui, and S. Kent. Z User Meeting. LNCS, Springer-Verlag, July 1997.
• Towards a Multiple Placement Land Suitability Evaluation Framework. Howard Lee and Zarine Kemp. In M.J. Kraak and M. Molenaar, editors, Advances in GIS Research II. Taylor & Francis Ltd, London, January 1997.
• Chinese Windows and general applications. Shi Liu, Guanglai Gao, Linying Su, Junyi Wang, Hongxu Hou, and Ping Li. Inner Mongolia University Press, Hohhot, China, January 1997.
• Towards a model for multimedia and its application to geographical information systems. Dean Lombardo and Zarine Kemp. In Zarine Kemp, editor, Innovations in GIS 4, pages 56-69. Taylor & Francis, London, April 1997.
• Generating efficient, terminating logic programs. J.M. Martin and A.M. King. In Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, pages 173-184. Springer Verlag, April 1997.
• Inferring numeric relationships for logic program transformation. Jon Martin and Andy King. In Pre-conference proceedings of Logic Program Synthesis and Transformation, page 12, July 1997.
• Typed Norms for Typed Logic Programs. Jon Martin and Andy King. In J. Gallagher, editor, Logic Program Synthesis and Transformation, volume 1207 of Lecture Notes in Computer Science, pages 224-238. Springer-Verlag, August 1997.
• A Design Strategy for Deadlock-Free Concurrent Systems. J.M.R. Martin and P.H. Welch. Transputer Communications, 3(4), June 1997. (In press). Published by John Wiley and Sons.
• Monitoring Fisheries Effort and Catch Using a Geographical Information System and a Global Positioning System. Geoff Meaden and Zarine Kemp. In D.A. Hancock, D.C. Smith, A. Grant, and J.P. Beumer, editors, Developing and Sustaining World Fisheries Resources - The State of Science and Management, pages 238-244. CSIRO, Collingwood, Victoria, Australia, June 1997.
• The Management of Commercial Fisheries with the Aid of a Computerised Catch Logging System. Geoff Meaden and Zarine Kemp. In EEZ Technology: The Review of Advanced Technologies for the Management of EEZs Worldwide, pages 181-186. ICG Publishing Ltd, June 1997.
• An architecture for a modular videoconferencing terminal supporting video cell loss. D J Parish, I W Phillips, P Coventry, L T Chia, J W R Griffiths, A G Tagg, and D H Shrimpton. Electronics & Communication Engineering Journal, pages 137-142, June 1997.
• The Stick-e Note Architecture: Extending the Interface Beyond the User. Jason Pascoe. In Johanna Moore, Ernest Edmonds, and Angel Puerta, editors, 1997 International Conference on Intelligent User Interfaces, pages 261-264, ACM Order Department, PO Box 12114, Church Street Station, New York, NY 10257, January 1997. ACM, ACM.
• Comparison of Contrasting Prolog Trace Output Formats. M.J. Patel, J.B.H. du Boulay, and C. Taylor. International Journal of Human-Computer Studies, (47):289-322, January 1997.
• Student Assessment Data Processing System on Microsoft Excel. Andrew Peel. TLTP Project ALTER demonstration package, March 1997. ISBN 1 85889 180 9.
• Estimating chaos in an insect population. J.N. Perry, I.P. Woiwod, R.H. Smith, and D.R. Morse. Science, 276:1881, October 1997.
• Do Formal Methods Really Work. S Pfleeger and L Hatton. IEE Computer, January 1997.
• Subtyping and Inheritance for Inductive Types. Erik Poll. In Proceedings of TYPES'97 Workshop on Subtyping, inheritance and modular development of proofs, Durham, UK, September 1997.
• System F with Width-subtyping and Record Updating. Erik Poll. In Theoretical Aspects of Computer Software (TACS'97), Sendai, Japan, pages 439-457. Springer LNCS, September 1997.
• A theory of the acquisition of episodic memory. Carlos Ramirez and Roger Cooley. In D. Aha and D. Wettschereck, editors, ECML'97: Case-Based Reasoning Workshop: Beyond Classification of Feature Vectors, pages 48-56, Prague, March 1997. Springer-Verlag.
• Schemata, Frames, and Dynamic Memory Structures. Carlos Ramirez. Technical Report 7-97, University of Kent at Canterbury, Computing Laboratory, Canterbury, Kent CT2 8DS, February 1997.
• Call management in the open distributed office. Mike Rizzo, Ian Utting, and Peter Linington. Electronics and Communication Engineering Journal, 9(3):107-116, June 1997.
• A negotiating agents model for the provision of flexible telephony services. Mike Rizzo and Ian Utting. In Proceedings ISADS 97 - Third International Symposium on Autonomous Decentralized Systems, pages 351-358. IEEE Computer Society Press, April 1997.
• Alternative Archaeological Representations within Virtual Worlds. Jonathan C. Roberts and Nick Ryan. In Richard Bowden, editor, Proceedings of the 4th UK Virtual Reality Specialist Interest Group Conference - Brunel University, pages 179-188, Uxbridge, Middlesex, November 1997. (UK VR-SIG URL http://www.crg.cs.nott.ac.uk/groups/ukvrsig/).
• Visual Execution and Data Visualisation in Natural Language Processing. P.J. Rodgers, R. Gaizauskas, K. Humphreys, and H. Cunningham. In VL'97 IEEE Symposium on Visual Languages, pages 342-347. IEEE Computer Society, September 1997.
• A Graph Rewriting Visual Language for Database Programming. P.J. Rodgers and P.J.H. King. The Journal of Visual Languages and Computing, 8(6):641-674, December 1997.
• Cyclic distributed garbage collection with group merger. Helena C.C.D. Rodrigues and Richard E. Jones. Technical Report 17-97, Computing Laboratory, University of Kent at Canterbury, December 1997.
• I/O considered harmful (at least for the first few weeks). John Rosenberg and Michael Kolling. In Proceedings of the Second Australasian Conference on Computer Science Education, pages 216-223, Melbourne, Australia, July 1997. ACM.
• Testing object-oriented programs: Making it simple. John Rosenberg and Michael Kolling. In Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education, pages 77-81, San Jose, California, USA, February 1997. ACM.
• Fieldworker advanced 2.3.5 and fieldworker pro 0.91 gps software. N. S. Ryan, J. Pascoe, and D. R. Morse. Internet Archaeology, 3, August 1997. http://intarch.ac.uk/journal/issue3/reviews/ryan.html.
• Distributed individual-based environmental simulation. Mark Scahill. In Ralf Denzer, David A. Swayne, and Gerald Schimak, editors, Environmental Software Systems, volume 2, pages 269-276. Chapman & Hall, May 1997. Presented at ISESS97 in Whistler, Canada.
• An intelligent assistant for exploratory data analysis. P.D. Scott, A.P.M. Coxon, M.H. Hobbs, and R.J. Williams. In Principles of Data Mining and Knowledge Discovery, number 1263 in Lecture Notes in Computer Science, page 11. Springer Verlag, January 1997.
• Evolution transparency for distributed service types. Twittie Senivongse. PhD thesis, Computing Laboratory, University of Kent at Canterbury, University of Kent at Canterbury, Canterbury, Kent., March 1997.
• Distance: a new metric for controlling granularity for parallel execution. Kish Shen, Vitor Santos Costa, and Andy King. Technical Report 15-97, University of Kent at Canterbury, December 1997.
• A new metric for controlling granularity for parallel execution. Kish Shen, Vitor Santos Costa, and Andy King. In Workshop on Parallelism and Implementation Technology for Constraint Logic Programming Languages, page 16, October 1997.
• Designing Cellular Automata Using a Parallel Evolutionary Algorithm. M Sipper, M Tomassini, and M Capcarrere. Nuclear Instruments & Methods in Physics Research A, 389:278-283, 1997. This paper was also in ASIHENP'96 proceedings, World Scientific Pulbishing Company.
• Domain construction for mode analysis of typed logic programs. Jan-Georg Smaus, Pat Hill, and Andy King. Technical Report 8-97, March 1997.
• Refinement and verification of concurrent systems specified in Object-Z and CSP. G. Smith and J. Derrick. In M. Hinchey and Shaoying Liu, editors, First IEEE International Conference on Formal Engineering Methods (ICFEM ''97), pages 293-302, Hiroshima, Japan, November 1997. IEEE Computer Society.
• Disjunction of LOTOS specifications. M.W.A. Steen, H. Bowman, J. Derrick, and E.A. Boiten. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97, pages 177-192, Osaka, Japan, November 1997. Chapman & Hall.
• Defining Visions in Context. The NATURE team. Information Systems, 21(6):515-547, January 1997.
• Ensuring Streams Flow. Alastair Telford and David Turner. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney Australia, December 1997, volume 1349 of Lecture Notes in Computer Science, pages 509-523. AMAST, Springer-Verlag, December 1997.
• Ensuring the Productivity of Infinite Structures. Alastair Telford and David Turner. Technical Report 14-97, The Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, UK, September 1997. This technical report has been revised (March 1998). A shorter version of this paper was presented at AMAST '97.
• Constructive interval temporal logic in Alf. Simon Thompson. In International Conference on Temporal Logic 1997, Applied Logic. Kluwer, January 1997. These proceedings are to be publised by Kluwer in 1997.
• em Where do I begin? A problem solving approach to teaching functional programming. Simon Thompson. In Krzysztof Apt, Pieter Hartel, and Paul Klint, editors, First International Conference on Declarative Programming Languages in Education. Springer-Verlag, September 1997.
• Higher-order + Polymorphic = Reusable. Simon Thompson. May 1997.
• On the design of an atm interface with facilities for traffic monitoring and generation. Gerald Tripp. Journal of Network and Computer Applications, 20(2):105-121, April 1997.
• Implementation of teaching and learning technology in great britain. Gwen VanderVelden. In Elaine Moore Elinor Rhynas, Drew Williams, editor, Conference Proceedings Leading Edge Training Technology 1997, 1997, pages 114-118, University of Victoria, TEC Programs, PO Box 3030 Victoria BC V8W 3N6 Canada, March 1997. Division of Continuing Studies, Technology, Engineering, and Computing Programs, University of Victoria.
• Teaching and learning technology in your university: a practical innovation strategy. Gwen VanderVelden. In Dr Linda Baggott, editor, Conference Proceedings CAL97, page 315, University of Exeter, March 1997. School of Education, University of Exeter.
• Subjective Safety Analysis for Software Development. J. Wang, A. Saeed, and R. de Lemos. In C. Guedes Soares, editor, Proceedings of the International Conference on Safety and Reliability (ESREL 97), pages 389-396, Lisbon, Portugal, June 1997. Elsevier Science Ltd, Oxford, UK.
• Experience with Formal Specification of CMM and UML. J Warmer, J Hogg, S Cook, and B Selic. In H Kilov and B Eumpe, editors, ECOOP'97: Workshop on Precise Semantics for Object-oriented Modeling Techniques, Munchen, May 1997. Institut fur Informatik, Technische Universitat. (TUM-I19725, http://www.informatik.tu-muenchen.de).
• Communications software performance prediction. G. Waters, P. Linington, D. Akehurst, and A. Symes. In Demetres Kouvatsos, editor, 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems, pages 38/1-38/9, Ilkley, West Yorkshire, July 1997. BCS Performance Engineering Specialist Group.
• Embeddings in the strong reducibilities between 1 and npm. P. Watson. Mathematical Logic Quarterly, 43(4):559-568, December 1997.
• occam for Multi-Processor DEC Alphas. Peter H. Welch and Michael D. Poole. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 152-174, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.
• Higher Levels of Process Synchronisation. Peter H. Welch and David C. Wood. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 104-129, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.
• Java threads in light of occam/CSP (tutorial). P.H. Welch. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, page 282, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.
• Trust Models in ICE-TEL. A.J. Young, N. Kapidzic Cicovic, and D.W. Chadwick. In The Internet Society 1997 Symposium on Network and Distributed Systems Security (NDSS 97) San Diego, California, February 1997.
• A comparative study of Coq and HOL. Vincent Zammit. In Elsa L. Gunter and Amy Felty, editors, Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'97, Murray Hill, NJ, USA, volume 1275 of Lecture Notes in Computer Science, pages 323-337. Springer, August 1997.
• A proof of the S-m-n theorem in Coq. Vincent Zammit. Technical Report 9-97, The Computing Laboratory, The University of Kent, Canterbury, Kent, UK, March 1997.