[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Specifications for: symbol table, sorting, telephone networks, unix file system, hotel room booking, Data Dictionary, Flexitime, Authentication, Time services, Reservation services, CICS and TP
Examples of: Promotion p24..., not recursive schema in p37, honesty p67, generallity and specification libraries p80, representational abstraction and procedural abstraction p147, raising questions early p190, encourages more precise use of English p208, exposes alternative readings p209, forgotten problems come up again p221
Tools: GML and syntax checker, type checker
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]