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)

D. Pedreschi

F. Giannotti

F. Turini

V. Ambriola , Dipartimento di Informatica, Universit? di Pisa

pp. 784-794

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

E. Lund

C.T. Yu , Department of Electrical Engineering and Computer Science, University of Illinois

C.C. Chang

D. Brill

M. Templeton

pp. 795-810

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

E. Jungert

null Shi-Kuo Chang , Department of Electrical and Computer Engineering, Illinois Institute of Technology

T. Ichikawa

S. Levialdi

G. Tortora

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. Freiling

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

W.S. Breger

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

CITATIONS

ASCII

BibTex

Refworks

Procite

Refman

EndNote