
IEEE Computer Society (PDF)
Analysis and Design in MSG.84: Formalizing Functional Specifications (Abstract)
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches (PDF)
An Approach to User Specification of Interactive Display Interfaces (Abstract)
Extending State Transition Diagrams for the Specification of Human?Computer Interaction (Abstract)
An Aspect of Aesthetics in Human-Computer Communications: Pretty Windows (Abstract)
Experiences with a Feedback Version Development Methodology (PDF)
Transformation and Verification of Office Procedures (Abstract)
Towards a Theory of Forward Error Recovery (Abstract)
System Structure Analysis: Clustering with Data Bindings (PDF)
The Qualified Function Approach to Analysis of Program Behavior and Performance (Abstract)
Synthesizing Code for Resource Controllers (Abstract)
Symbolic Semantics and Program Reduction (Abstract)
Query Processing in a Fragmented Relational Distributed System: Mermaid (Abstract)
An Image Processing Language with Icon-Assisted Navigation (Abstract)
False Deadlock Detection in Distributed Systems (Abstract)
Correction to "A Concurrency Measure" (PDF)
Calls for Papers (PDF)
Tutorial Week Washington 1985 (PDF)
IEEE Computer Society Publications (PDF)