The Community for Technology Leaders
Green Image
Issue No. 08 - August (vol. 11)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

Analysis and Design in MSG.84: Formalizing Functional Specifications (Abstract)

V. Berzins , Department of Computer Science, University of Minnesota
pp. 657-670

Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches (PDF)

U.H. Chi , Department of Computer Science, University of Washington
pp. 671-685

An Approach to User Specification of Interactive Display Interfaces (Abstract)

L.J. Bass , Department of Computer Science and Statistics, University of Rhode Island
pp. 686-698

Extending State Transition Diagrams for the Specification of Human?Computer Interaction (Abstract)

A.I. Wasserman , Section of Medical Information Science, University of California
pp. 699-713

An Aspect of Aesthetics in Human-Computer Communications: Pretty Windows (Abstract)

J. Gait , Computer Research Laboratory, Tektronix, Inc.
pp. 714-717

Experiences with a Feedback Version Development Methodology (PDF)

F.B. Bastani , Department of Computer Science, University of Houston
pp. 718-723

Transformation and Verification of Office Procedures (Abstract)

null Shi-Kuo Chang , Information Systems Laboratory, Department of Electrical and Computer Engineering, Illinois Institute of Technology
pp. 724-734

Towards a Theory of Forward Error Recovery (Abstract)

A. Mili , Department of Informatics, Faculty of Sciences, University of Tunis
pp. 735-748

System Structure Analysis: Clustering with Data Bindings (PDF)

D.H. Hutchens , Department of Computer Science, Clemson University
pp. 749-757

The Qualified Function Approach to Analysis of Program Behavior and Performance (Abstract)

A. Gabrielian , Command and Control Systems Division, Ground Systems Group, Hughes Aircraft Company
pp. 758-773

Synthesizing Code for Resource Controllers (Abstract)

K. Ramamritham , Department of Computer and Information Science, University of Massachusetts
pp. 774-783

Symbolic Semantics and Program Reduction (Abstract)

V. Ambriola , Dipartimento di Informatica, Universit? di Pisa
pp. 784-794

Query Processing in a Fragmented Relational Distributed System: Mermaid (Abstract)

C.T. Yu , Department of Electrical Engineering and Computer Science, University of Illinois
pp. 795-810

An Image Processing Language with Icon-Assisted Navigation (Abstract)

null Shi-Kuo Chang , Department of Electrical and Computer Engineering, Illinois Institute of Technology
pp. 811-819

False Deadlock Detection in Distributed Systems (Abstract)

G.T. Wuu , Department of Computer Science, State University of New York
pp. 820-821

Correction to "A Concurrency Measure" (PDF)

M.G. Khayat , Department of Computer Science and Engineering, University of Petroleum & Minerals
pp. 822

Calls for Papers (PDF)

pp. 823
91 ms
(Ver 3.1 (10032016))