The Community for Technology Leaders
Green Image
Issue No. 05 - September (vol. 9)
ISSN: 0098-5589

Abstract requirements specification: A new approach and its application (PDF)

C.L. Heitmeyer , Computer Science and Systems Branch, Naval Research Laboratory
pp. 580-589

IEEE Computer Society (PDF)

pp. c2

A Survey of Software Engineering Practice: Tools, Methods, and Results (PDF)

L.L. Beck , Department of Mathematical Sciences, San Diego State University
pp. 541-561

Analyzing Software Safety (PDF)

N.G. Leveson , Department of Information and Computer Science, University of California
pp. 569-579

Casting Petri Nets into Programs (Abstract)

R.A. Nelson , IBM Thomas J. Watson Research Center
pp. 590-602

Timing Requirements for Time-Driven Systems Using Augmented Petri Nets (PDF)

J.E. Coolahan , Applied Physics Laboratory, Johns Hopkins University
pp. 603-616

The Problem of Equivalence for Entity-Relationship Diagrams (Abstract)

S. Jajodia , Department of Computer Science, University of Missouri
pp. 617-630

A Data Structure and an Algorithm for the Nearest Point Problem (Abstract)

I. Kalantari , Department of Mathematics, Western Illinois University
pp. 631-634

Call for Papers (PDF)

pp. 634
98 ms
(Ver 3.1 (10032016))