Journals in DBLP

Comput. J.
1992, volume: 35, number: 5

1. John Cooke
   Formal Methods - Mathematics, Theory, Recipes or What? [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:419-423 [Journal]
   
2. Antony Galton
   Classical Logic: A Crash Course for Beginners. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:424-430 [Journal]
   
3. Antony Galton
   Logic as a Formal Method. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:431-440 [Journal]
   
4. Jim Woodcock
   The Rudiments of Algorithm Refinement. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:441-450 [Journal]
   
5. T. Clement
   The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:451-459 [Journal]
   
6. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
   Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:460-467 [Journal]
   
7. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
   Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:468-477 [Journal]
   
8. Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers
   Protocol Design and Implementation Using Formal Methods. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:478-491 [Journal]
   
9. Esa Auramäki, Rudy Hirschheim, Kalle Lyytinen
   Modelling Offices Through Discourse Analysis: A Comparison and Evaluation of SAMPO with OSSAD and ICN. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:492-500 [Journal]
   
10. Bogdan D. Czejdo, Malcolm C. Taylor
    Integration of Information Systems Using an Object-Oriented Approach. [Citation Graph (1, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:501-513 [Journal]
    
11. Harald Søndergaard, Peter Sestoft
    Non-Determinism in Functional Languages. [Citation Graph (1, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:514-523 [Journal]
    
12. Elena Lodi
    A Parallel Solution to the Approximate String Matching Problem (Short Note). [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:524-526 [Journal]
    
13. D. J. Challab
    Flexible Arrays: Evaluation of the B-Tree Based System (Short Note). [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:527-529 [Journal]
    
14. David Furber
    A Survey of the Teaching of Programming to Computer Undergraduates in U.K. Universities and Polytechnics (Short Note). [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:530-533 [Journal]
    
15. David T. H. Ng, B. John Oommen
    A Short Note on Doubly-Linked List Reorganizing Heuristics. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:533-535 [Journal]
    
16. Beverly Jamison, Stephan Olariu
    Indexing for Multi-Attribute Retrieval (Short Note). [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:535-537 [Journal]