Mark A. Holhouse;Daniel M. Forman:'Human engineering with dialogue processor techniques' (6A-1). --Thomas E. Perkins: 'A very high level language for the structured specification and design of business data processing systems' (6A-6+). --John F. Clemons: 'Verification of the onboard flight software developed for the nasa space shuttle program' (6B-1). --Joe W. Duran;John J. Wiorkowski: 'Random testing may be better than you think' (6B-6). --Lislie Miller: 'Interpolation file systems' (7-1). --Ching-hua Chen;James R. Driscoll;Karl Grammel: 'Physical storage and physical navigation within the relational DBMS RAQUEL II' (7-3). --Peter A. Ng;Jean F. Paul: 'Algorithms for constructing search trees for efficient querying' (7-11).


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Proc. of the 8th Texas conf. on computing systems, Dallas, Texas, Nov. 12-13, 1979 (Programming languages; validation and testing; file systems)


    Additional title:

    Programmiersprachen; Ueberpruefung und Testen; Filesysteme


    Publication date :

    1979


    Size :

    30 Seiten


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English