Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation & Software Technology, Volume 37
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 - Klaas 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, Hualong 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 - Kamal Kant 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 18:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
