CSDL - IEEE Transactions on Software Engineering

PDF

IEEE Computer Society (PDF)

pp. c2

PDF

Concurrent Certifications by Intervals of Timestamps in Distributed Database Systems (Abstract)

C. Boksenbaum, Centre de Recherche en Informatique, University of Montpellier

M. Cart

J. Ferrie

J.-F. Pons

pp. 409-419

PDF

HTML

An Information-Based Model for Failure-Handling in Distributed Database Systems (Abstract)

F.Y. Chin, Center for Computer Studies and Applications, University of Hong Kong

K.V.S. Ramarao

pp. 420-431

PDF

HTML

A Paradigm for Developing Information Systems (Abstract)

B.I. Blum, Applied Physics Laboratory, The Johns Hopkins University

pp. 432-439

PDF

HTML

Software Bases for the Flexible Composition of Application Systems (Abstract)

R.T. Mittermeir, Department of Informatik, Universit?t f?r Bildungswissenschaften Klagenfurt

M. Oppitz

pp. 440-460

PDF

HTML

An Application of Structural Modeling to Software Requirements Analysis and Design (Abstract)

K. Matsumura, Systems and Software Engineering Division, Toshiba Corporation

H. Mizutani

M. Arai

pp. 461-471

PDF

HTML

Refinement Methodology for Ada (Abstract)

V. Rajlich, Department of Computer Science, Wayne State University

pp. 472-478

PDF

HTML

Performance Criteria for Constrained Nonlinear Programming Codes (Abstract)

H.W. Robb, Unicorn Lines (Pty) Ltd.

H.R. Weistroffer

pp. 479-489

PDF

HTML

Program Structure Charts for Applicative Languages (Abstract)

F.G. Pagan, Department of Computer Science, California State University

pp. 490-493

PDF

HTML

Automatic Identification of Software System Differences (PDF)

B. Steinholtz, ENEA DATA Svenska AB, Box 232, S-183 23 Taby, Sweden. While performing this work, they were also with SYSLAB, Department of Information Processing and Computer Science, University of Stockholm

K. Walden

pp. 493-497

PDF

CSM: A Distributed Programming Language (Abstract)

null Sun Zhongxiu, Department of Computer Science, Nanjing University

null Li Xining

pp. 497-500

PDF

HTML