External Links

    Journal: Information \& Software Technology

    Volume 37, Issue 9

    467 -- 477Colin J. Hardy, J. Barrie Thompson, Helen M. Edwards. The use, limitations and customization of structured systems development methods in the United Kingdom
    479 -- 491John V. Harrison. Incremental view maintenance in extended relational databases
    493 -- 502George Economakos, George K. Papakonstantinou, Panayotis Tsanakas. An attribute grammar approach to high-level automated hardware synthesis
    503 -- 513John Murphy, Jane Grimson. Multidatabase interoperability in the Jupiter system
    515 -- 520Erran Carmel. Time-to-completion factors in packaged software development
    521 -- 523Julian Rose. Z - An introduction to formal methods (2nd edn) : Antoni Diller John Wiley, Chichester (1994) £22.50 (1st edn published in 1990) ISBN 0 471 93973 0
    523 -- 0Andrew D. McGettrick. Software reusability : Wilhelm Schafer, Ruben Prieto-Diaz and Matsumoto Ellis Norwood (1994) 160 pp
    524 -- 0Robert MacLean. User interface software : Len Bass and Prasun Dewan (eds) John Wiley, Chichester (1993) 201 pp, £19.95 ISBN 0 471 93784 3

    Volume 37, Issue 8

    403 -- 410Robert L. Probert, Kassem Saleh, Hua-Long Yu. Validation-directed specification of communications systems
    411 -- 434Chieh-ying Kan, Xudong He. Deriving algebraic Petri net specifications from structured analysis - a case study
    435 -- 441Nicos Malevris. A path generation method for testing LCSAJs that restrains infeasible paths
    443 -- 451J. Ayre, F. George Wilkie, John G. Hughes. An approach to the design of object associations
    453 -- 460K. K. Bharadwaj, R. Varshneya. Parallelization of hierarchical censored production rules

    Volume 37, Issue 7

    339 -- 350Colin Macnee, Wernher Behrendt, John Kalmus, Keith G. Jeffery, Michael D. Wilson. Presenting dynamically expandable hypermedia
    351 -- 362S. N. Cant, D. Ross Jeffery, Brian Henderson-Sellers. A conceptual model of cognitive complexity of elements of the programming process
    363 -- 374I. R. McChesney. Toward a classification scheme for software process modelling approaches
    375 -- 381Pranay Chaudhuri. An algorithm for distributed mutual exclusion
    383 -- 393John F. Roddick. A survey of schema versioning issues for database systems
    395 -- 0Karl E. Wiegers. Assessment and control of software risks : Capers Jones Yourdon Press, Englewood Cliffs, USA (1994) 619 pp £27.50 ISBN 0 13 741406 4
    396 -- 0Dave Cash. Integration technology for CASE : Richard Daley (editor) Avebury Technical, Ashgate Publishing Ltd (1993) 153 pp £49.50 ISBN 0 291 39797 2
    396 -- 397Robert J. Vitello. Information modeling; an object-oriented approach : Haim Kilov and James Ross Prentice-Hall, Englewood Cliffs, US (1994) 268 pp £33.25 ISBN 0 13 083033 X
    397 -- 398Vincent Jordan. Computers in context: The philosophy and practice of systems design : Bo Dahlbom and Lars Mathiassen NCC Blackwell (1993) 306 pp (inc. bibliography and index) £37.50 hardback, £14.99 paperback ISBN 1 55786 405 5
    398 -- 399Michael Deck. Systems, software, and quality engineering: Applying defect behavior theory to programming : Arthur E Ferdinand Van Nostrand Reinhold New York (1993) 416 pp £51.50 ISBN 0 442 01730 8
    399 -- 400Jeffrey W. Bowyer. Building custom software tools and libraries : Martin Stitt John Wiley (1993) ISBN 0 471 57915 7 (book) $32.95; ISBN 0 471 57915 5 (disk) $36.95

    Volume 37, Issue 5-6

    258 -- 259Jonathan P. Bowen, Mike Hinchey. Editorial
    261 -- 268David Garlan. Making formal methods education effective for professional software engineers
    269 -- 276Jonathan P. Bowen, Mike Gordon. A shallow embedding of Z in HOL
    277 -- 283Peter Mataga, Pamela Zave. Using Z to specify telephone features
    285 -- 291Keith Mander, Fiona A. C. Polack. Rigorous specification using structured systems analysis and Z
    293 -- 301Samuel H. Valentine. The programming language Z-
    303 -- 316Kevin Lano, Howard P. Haughton. Formal development in B abstract machine notation
    317 -- 332Jonathan P. Bowen, Susan Stepney, Rosalind Barden. Annotated Z bibliography
    333 -- 334Jonathan P. Bowen. Glossary of Z notation
    335 -- 336Jonathan P. Bowen, Mike Hinchey. Report on Z user meeting (ZUM '94)

    Volume 37, Issue 4

    195 -- 202Michael M. Pickard, Bradley D. Carter. A field study of the relationship of information flow and maintainability of COBOL programs
    203 -- 211Pete Sawyer, Ian Sommerville. MGA: Rule-based specification of active object-oriented database applications
    213 -- 224Klaas van den Berg, P. M. van den Broek. Static analysis of functional programs
    225 -- 231Filippo Tangorra, Domenico Chiarolla. A methodology for reverse engineering hierarchical databases
    233 -- 243George S. Pavlides. Efficient manipulation of a set of fragments
    245 -- 251Ioanis Gaviotis, Dimitris Christodoulakis. Architectural requirements for open distributed hypermedia
    253 -- 254J. Roche. Quality software management: Volume 2: First-order measurement : GM Weinberg Dorset House Publishing, New York (1993) 346 pp $42.25 ISBN 0 932633 24 2
    254 -- 0Nacer Boudjlida. Object-oriented databases : S Khoshafian John Wiley USA (1993) 362 pp $32.95 ISBN 0 471 57058 3
    255 -- 0Jürgen Börstler. Integrated software reuse: Management and techniques : Paul Walton and Neil Maiden (eds) Ashgate Publishing, Hants, UK (1993) 178 pp £49.50 hardcover ISBN 1 85742 146 9

    Volume 37, Issue 3

    131 -- 143Wei Lu, Jiawei Han. Query evaluation and optimization in deductive and object-oriented spatial databases
    145 -- 154Tzvi Raz, Alan T. Yaung. Application of clustering techniques to information systems design
    155 -- 163Juhani Iivari. Object-orientation as structural, functional and behavioural modelling: a comparison of six methods for object-oriented analysis
    165 -- 175David Livingstone. Domain data typing
    177 -- 190Bing Wang, Peter Hitchcock. InterSect_DM: a hypertext data model based on OODBMS

    Volume 37, Issue 2

    67 -- 77Hee Beng Kuan Tan, Tok Wang Ling. Recovery of object-oriented design from existing data-intensive business programs
    79 -- 85Peretz Shoval. Structured method for designing subsystems
    87 -- 101Massimo Ancona. An optimizing retargetable code generator
    103 -- 112Marc H. Van Liedekerke, Nikolaos M. Avouris. Debugging multi-agent systems
    113 -- 118Bill C. Hardgrave. When to prototype: decision variables used in industry
    119 -- 126Narasimhaiah Gorla, Hao-Che Pu, Walter O. Rom. Evaluation of process tools in systems analysis

    Volume 37, Issue 12

    659 -- 664P. A. Dearnley, D. J. Smith. On the use of dynamic feedback in knowledge base system design
    665 -- 670Bernard Londeix. Deploying realistic estimation (field situation analysis)
    671 -- 680D. J. Andrews, Darrel C. Ince. A case study of a difficult refinement: a fast dictionary for a spell-checking program
    681 -- 689Someswar Kesh. Evaluating the quality of entity relationship models
    691 -- 699Norman W. Paton. Supporting production rules using ECA rules in an object-oriented context
    701 -- 707R. Harrison, L. G. Samaraweera, Mark R. Dobie, Paul H. Lewis. Estimating the quality of functional programs: an empirical investigation
    709 -- 712Ken Deighton. Time to travel to target cylinders on non-linear discs with two independent seek arms

    Volume 37, Issue 11

    595 -- 607Gertjan Vlasblom, Daan B. B. Rijsenbrij, Matthijs Glastra. Flexibilization of the methodology of system development
    609 -- 621Danny C. C. Poo, Shwu-Yi Lee. Domain object identification through events and functions
    623 -- 636Robert T. Plant, Panagiotis Tsoumpas. A survey of current practice in aerospace software development
    637 -- 651D. J. Andrews, Darrel C. Ince. Transformational data refinement and VDM

    Volume 37, Issue 10

    531 -- 537Hareton K. N. Leung. Selective regression testing - assumptions and fault detecting ability
    539 -- 545Robert G. Clark. Type safety and behavioural inheritance
    547 -- 555Greg Michaelson. Implementing Prolog Definite Clause Grammars with SLR(1) parsers on the Relational Algebra Accelerator
    557 -- 562Padmanabhan Krishnan. Deriving distributed processes from concurrent processes
    563 -- 571Young-Chan Kim, Tag Gon Kim. Relational algebraic framework for the modelling and analysis of Petri nets
    572 -- 579Georges Grosz, Sylviane R. Schwer. Cardinalities in depth: a formal approach to partial validation of conceptual schema
    580 -- 587Walcélio L. Melo, Noureddine Belkhatir, Jacky Estublier. A software engineering environment driven by event-condition-action rules and its trigger mechanism

    Volume 37, Issue 1

    3 -- 0Michael Dyer, Martin J. Shepperd. Editorial
    5 -- 13James Miller, Marc Roper, Murray Wood, Andrew Brooks. Towards a benchmark for the evaluation of software testing techniques
    15 -- 22Panos Fitsilis. Object-oriented development for telecommunication services
    23 -- 30Chieh-ying Kan, Xudong He. High-level algebraic Petri nets
    31 -- 37Neville Churcher. Photi - a fisheye view of bubbles
    39 -- 46Norihide Hattori, Naohiro Ishii. Representation for program control structures by rewriting of flow graphs
    47 -- 61Jack Campin, Norman W. Paton, M. Howard Williams. A structured specification of an active database system
    runs on