The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 02 - Feb. (vol. 12)
ISSN: 0098-5589
Papers

Call for papers (Abstract)

pp. 374

Call for papers (Abstract)

pp. 1

Guest editors' prologue special issue on software design methods (Abstract)

G. D. Bergland , Department of Digital Systems Research in Murray Hill, NJ
Pamela Zave , SIGSOFT and ACM Computing Surveys
pp. 185-191

Data structured programming: Program design without arrays and pointers (Abstract)

Harlan D. Mills , IBM Corporation, Bethesda, MD 20817; Department of Computer Science, University of Maryland, College Park, MD 20742
Richard C. Linger , IBM Corporation, Bethesda, MD 20817
pp. 192-197

Object-oriented development (Abstract)

Grady Booch , Rational, Mountain View, CA 94043
pp. 211-221

An overview of JSD (Abstract)

John R. Cameron , Michael Jackson Systems, Limited, London WIN 5AF, England
pp. 222-240

Functional programming, formal specification, and rapid prototyping (Abstract)

Peter Henderson , Department of Computing Science, University of Stirling, Stirling FK9 4LA, Scotland
pp. 241-250

A rational design process: How and why to fake it (Abstract)

Paul C. Clements , Computer Science and Systems Branch, Naval Research Laboratory, Washington, DC 20375
pp. 251-257

A recommended practice for describing software designs: IEEE standards project 1016 (Abstract)

H. Jack Barnard , AT&T Information Systems, Denver, CO 80234
Robert F. Metz , AT&T Information Systems, Denver, CO 80234
Arthur L. Price , AT&T Information Systems, Denver, CO 80234
pp. 258-263

An empirical study of software design practices (Abstract)

David N. Card , System Sciences Division, Computer Sciences Corporation, Silver Spring, MD 20910
Victor E. Church , System Sciences Division, Computer Sciences Corporation, Silver Spring, MD 20910
William W. Agresti , System Sciences Division, Computer Sciences Corporation, Silver Spring, MD 20910
pp. 264-271

A metaprogramming method and its economic justification (Abstract)

Leon S. Levy , AT&T Bell Laboratories, Piscataway, NJ 08854
pp. 272-277

Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems (Abstract)

George S. Avrunin , Department of Mathematics and Statistics, University of Massachusetts, Amherst, MA 01003
Jack C. Wileden , Department of Computer and Information Science, University of Massachusetts, Amherst, MA 01003
William E. Riddle , Software design & analysis, inc., Boulder, CO 80303
pp. 278-292

SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems (Abstract)

Gerald Estrin , Department of Computer Science, University of California, Los Angeles, CA 90024
Robert S Fenchel , Department of Computer Science, University of Wisconsin-Madison, Madison, WI 53706
Rami R. Razouk , Department of Information and Computer Science, University of California, Irvine, CA 92664
Mary K. Vernon , Department of Computer Science, University of Wisconsin-Madison, Madison, WI 53706
pp. 293-311

Salient features of an executable specification language and its environment (Abstract)

Pamela Zave , AT&T Bell Laboratories, Murray Hill, NJ 07974
William Schell , AT&T Bell Laboratories, Murray Hill, NJ 07974
pp. 312-325

Developing interactive information systems with the User Software Engineering methodology (Abstract)

Anthony I. Wasserman , Section of Medical Information Science, University of California, San Francisco, CA 94143
Peter A. Pircher , Section of Medical Information Science, University of California, San Francisco, CA 94143
David T. Shewmake , Section of Medical Information Science, University of California, San Francisco, CA 94143
Martin L. Kersten , Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
pp. 326-345

Process-translatable Petri nets for the rapid prototyping of process control systems (Abstract)

Giorgio Bruno , Dipartimento di Automatica e Informatica, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129 Torino, Italy
Giuseppe Marchetto , Dipartimento di Automatica e Informatica, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129 Torino, Italy
pp. 346-357

Real-time software life cycle with the model system (Abstract)

Boleslaw Szymanski , Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180
Yuan Shi , Department of Computer Science, Temple University, Philadelphia, PA 19122
Noah S. Prywes , Department of Computer and Information Science, University of Pennsylvania, Phildelphia, PA 19104
pp. 358-373
94 ms
(Ver 3.1 (10032016))