CSDL - IEEE Transactions on Software Engineering - Table of Contents

TABLE OF CONTENTS

Issue No. 08 - August (vol. 11)

ISSN: 0098-5589

Papers

IEEE Transactions on Software Engineering - Table of contents (PDF)

pp. c1

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

M. Gray

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

null Wu-Lung Chan

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

V.R. Basili

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

L.P. McNamee

D.J. Trawick

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

F. Giannotti

D. Pedreschi

F. Turini

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

A.J. Bernstein

pp. 820-821

Comments on "Elements of Software Configuration Management" (PDF)

E.H. Bersoff , BTG, Inc.

pp. 822

Correction to "A Concurrency Measure" (PDF)

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

W.S. Breger

M. Freiling

T.G. Lewis

pp. 822

Calls for Papers (PDF)

pp. 823

Tutorial Week Washington 1985 (PDF)

pp. 823

IEEE Computer Society Publications (PDF)

pp. 823

Beyond the Basics: A Software Publication Series for Successful Computer Professionals From the IEEE Computer Society (PDF)

pp. 823