Journal: IEEE Computer

Volume 15, Issue 5

10 -- 11Volkmar H. Haase, Günter R. Koch. Application-Oriented Specifications: Developing the Connection Between User and Code - Guest Editors Introduction
12 -- 20Jochen Ludewig. Computer-Aided Specification of Process Control Systems
21 -- 28Alan M. Davis. The Design of a Family of Application-Oriented Requirements Languages
29 -- 35János Demetrovics, Elöd Knuth, Péter Rádo. Specification Meta Systems
36 -- 46Rudolf Lauber. Development Support Systems
50 -- 59A. A. Levene, Geoff P. Mullery. An Invetigation of Requirement Specification Languages: Theory and Practice
60 -- 74Chao S. Chi. Advances in Computer Mass Storage Technology
75 -- 82Richard J. LeBlanc, John J. Goda. Ada and Software development Support: A New Concept in Language Design