researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: IEEE Computer
Home
Index
Info
Issue
Volume
15
, Issue
5
10
--
11
Volkmar H. Haase
,
Günter R. Koch
.
Application-Oriented Specifications: Developing the Connection Between User and Code - Guest Editors Introduction
12
--
20
Jochen Ludewig
.
Computer-Aided Specification of Process Control Systems
21
--
28
Alan M. Davis
.
The Design of a Family of Application-Oriented Requirements Languages
29
--
35
János Demetrovics
,
Elöd Knuth
,
Péter Rádo
.
Specification Meta Systems
36
--
46
Rudolf Lauber
.
Development Support Systems
50
--
59
A. A. Levene
,
Geoff P. Mullery
.
An Invetigation of Requirement Specification Languages: Theory and Practice
60
--
74
Chao S. Chi
.
Advances in Computer Mass Storage Technology
75
--
82
Richard J. LeBlanc
,
John J. Goda
.
Ada and Software development Support: A New Concept in Language Design