External Links

    Journal: Comput. J.

    Volume 30, Issue 1

    2 -- 7D. Benyon, S. Skidmore. Towards a Tool Kit for the Systems Analyst
    8 -- 15Heinz K. Klein, Rudy Hirschheim. A Comparative Framework of Data Modelling Paradigms and Approaches
    16 -- 19Raúl Héctor Gallard. An Extension in the Definition of a Petri Net Execution
    20 -- 26Shigeyoshi Tsutsui, Yoshiji Fujimoto. Deadlock Prevention in Process Control Computer Systems
    27 -- 36Roland Carl Backhouse, A. Khamiss. A While-Rule in Martin-Löf s Theory of Types
    37 -- 42A. G. Middleton. Some Transformations of Relevance to Report Generation
    43 -- 51G. Oulsnam. The Algorithmic Transformation of Schemas to Structured Form
    52 -- 62J. A. W. Faidhi, S. K. Robinson. Programmer Experience-Level Indicators
    63 -- 69Darrel C. Ince. The Automatic Generation of Test Data
    70 -- 76Jeffrey S. Rohl. Towers of Hanoi: The Derivation of Some Iterative Versions
    77 -- 79Peter M. Fenwick. A Fast-Carry Adder with CMOS Transmission Gates
    80 -- 86Timo Raita. An Automatic System for File Compression
    87 -- 92A. J. Cole. Compaction Techniques for Raster Scan Graphics Using Space-Filling Curves
    runs on