Volume 37, Number 1, 1995

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

Volume 37, Number 2, 1995

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

Volume 37, Number 3, 1995

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

Volume 37, Number 4, 1995

• 
  Michael M. Pickard, Bradley D. Carter: A field study of the relationship of information flow and maintainability of COBOL programs. 195-202
• 
  Pete Sawyer, Ian Sommerville: MGA: Rule-based specification of active object-oriented database applications. 203-211
• 
  K. G. van den Berg, P. M. van den Broek: Static analysis of functional programs. 213-224
• 
  Filippo Tangorra, Domenico Chiarolla: A methodology for reverse engineering hierarchical databases. 225-231
• 
  George S. Pavlides: Efficient manipulation of a set of fragments. 233-243
• 
  Ioanis Gaviotis, Dimitris Christodoulakis: Architectural requirements for open distributed hypermedia. 245-251
• 
  J. 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. 253-254
• 
  Nacer Boudjlida: Object-oriented databases : S Khoshafian John Wiley USA (1993) 362 pp $32.95 ISBN 0 471 57058 3. 254
• 
  Jü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. 255

Volume 37, Numbers 5-6, May-June 1995

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

Volume 37, Number 7, 1995

• 
  Colin Macnee, Wernher Behrendt, John Kalmus, Keith G. Jeffery, Michael D. Wilson: Presenting dynamically expandable hypermedia. 339-350
• 
  S. N. Cant, D. Ross Jeffery, Brian Henderson-Sellers: A conceptual model of cognitive complexity of elements of the programming process. 351-362
• 
  I. R. McChesney: Toward a classification scheme for software process modelling approaches. 363-374
• 
  Pranay Chaudhuri: An algorithm for distributed mutual exclusion. 375-381
• 
  John F. Roddick: A survey of schema versioning issues for database systems. 383-393
• 
  Karl 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. 395
• 
  Dave Cash: Integration technology for CASE : Richard Daley (editor) Avebury Technical, Ashgate Publishing Ltd (1993) 153 pp £49.50 ISBN 0 291 39797 2. 396
• 
  Robert 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. 396-397
• 
  Vincent 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. 397-398
• 
  Michael 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. 398-399
• 
  Jeffrey 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. 399-400

Volume 37, Number 8, 1995

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

Volume 37, Number 9, 1995

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

Volume 37, Number 10, 1995

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

Volume 37, Number 11, November 1995

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

Volume 37, Number 12, 1995

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

last updated on Sat May 18 06:16:30 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page