Requirements statement Language principles for automatic programming

Thomas I.M. Ho; J. F. Nunamaker

doi:10.1145/800182.810414

Requirements statement Language principles for automatic programming

Thomas I.M. Ho, J. F. Nunamaker

Research output: Contribution to conference › Paper › peer-review

3 Scopus citations

Abstract

The first step in automatic programming is the statement of information requirements in a Requirements Statement Language (RSL), a language for stating system requirements without needing to state the procedures implementing the system. The objective of this paper is development of language design principles for an RSL offering extensive requirements statement facilities. This objective is achieved through the formulation of a formal description of an information processing system. The formal description provides the criteria for requirements statement facilities of an RSL and for the capabilities of software for requirements statement analysis.

Original language	English (US)
Pages	279-288
Number of pages	10
DOIs	https://doi.org/10.1145/800182.810414
State	Published - Jan 1 1974
Externally published	Yes
Event	1974 Annual ACM Conference/Annual Meeting, ACM 1974 - San Diego, United States Duration: Jan 1 1974 → Jan 1 1974

Conference

Conference	1974 Annual ACM Conference/Annual Meeting, ACM 1974
Country/Territory	United States
City	San Diego
Period	1/1/74 → 1/1/74

Keywords

Automatic programming
Requirements Statement Language

ASJC Scopus subject areas

General Computer Science
General Engineering

Access to Document

10.1145/800182.810414

Cite this

@conference{86822e87d91a4d2aa91fa3c22e6b787f,

title = "Requirements statement Language principles for automatic programming",

abstract = "The first step in automatic programming is the statement of information requirements in a Requirements Statement Language (RSL), a language for stating system requirements without needing to state the procedures implementing the system. The objective of this paper is development of language design principles for an RSL offering extensive requirements statement facilities. This objective is achieved through the formulation of a formal description of an information processing system. The formal description provides the criteria for requirements statement facilities of an RSL and for the capabilities of software for requirements statement analysis.",

keywords = "Automatic programming, Requirements Statement Language",

author = "Ho, {Thomas I.M.} and Nunamaker, {J. F.}",

note = "Funding Information: ACKNOWLEDGEMENT This work was supported in part by the ISDOS project under the direction of Professor Daniel Teichroew, University of Michigan and in part by grant GJ31572 of the Office of Computing Activities, National Science Foundation. Publisher Copyright: {\textcopyright} 1974 ACM. All rights reserved.; 1974 Annual ACM Conference/Annual Meeting, ACM 1974 ; Conference date: 01-01-1974 Through 01-01-1974",

year = "1974",

month = jan,

day = "1",

doi = "10.1145/800182.810414",

language = "English (US)",

pages = "279--288",

}

TY - CONF

T1 - Requirements statement Language principles for automatic programming

AU - Ho, Thomas I.M.

AU - Nunamaker, J. F.

N1 - Funding Information: ACKNOWLEDGEMENT This work was supported in part by the ISDOS project under the direction of Professor Daniel Teichroew, University of Michigan and in part by grant GJ31572 of the Office of Computing Activities, National Science Foundation. Publisher Copyright: © 1974 ACM. All rights reserved.

PY - 1974/1/1

Y1 - 1974/1/1

N2 - The first step in automatic programming is the statement of information requirements in a Requirements Statement Language (RSL), a language for stating system requirements without needing to state the procedures implementing the system. The objective of this paper is development of language design principles for an RSL offering extensive requirements statement facilities. This objective is achieved through the formulation of a formal description of an information processing system. The formal description provides the criteria for requirements statement facilities of an RSL and for the capabilities of software for requirements statement analysis.

AB - The first step in automatic programming is the statement of information requirements in a Requirements Statement Language (RSL), a language for stating system requirements without needing to state the procedures implementing the system. The objective of this paper is development of language design principles for an RSL offering extensive requirements statement facilities. This objective is achieved through the formulation of a formal description of an information processing system. The formal description provides the criteria for requirements statement facilities of an RSL and for the capabilities of software for requirements statement analysis.

KW - Automatic programming

KW - Requirements Statement Language

UR - http://www.scopus.com/inward/record.url?scp=84915551034&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84915551034&partnerID=8YFLogxK

U2 - 10.1145/800182.810414

DO - 10.1145/800182.810414

M3 - Paper

AN - SCOPUS:84915551034

SP - 279

EP - 288

T2 - 1974 Annual ACM Conference/Annual Meeting, ACM 1974

Y2 - 1 January 1974 through 1 January 1974

ER -

Requirements statement Language principles for automatic programming

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this