ON THE COHERENCE OF PROGRAMMING LANGUAGE AND PROGRAMMING METHODOLOGY.

Manfred Broy; Peter Pepper

ON THE COHERENCE OF PROGRAMMING LANGUAGE AND PROGRAMMING METHODOLOGY.

Manfred Broy
, Peter Pepper

TUM Emeriti of Excellence

Technical University of Munich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

The mutual dependency between a programming methodology and a programming language is investigated. The methodology aids the development of software by a formal framework supporting the full spectrum of the software construction process from the initial requirement engineering to the final code optimization. Thus a programming language is required which is of considerable expressive power, that is, a 'wide spectrum' language. The basic design objective of the language is to make the program construction more transparent, more reliable, and formally sound.

Original language	English
Title of host publication	Unknown Host Publication Title
Editors	Jurgen Bormann
Publisher	North-Holland
Pages	41-57
Number of pages	17
ISBN (Print)	0444867945
State	Published - 1983

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Cite this

@inproceedings{f4ea14ffca984e3f9da5fa93ac64664f,

title = "ON THE COHERENCE OF PROGRAMMING LANGUAGE AND PROGRAMMING METHODOLOGY.",

abstract = "The mutual dependency between a programming methodology and a programming language is investigated. The methodology aids the development of software by a formal framework supporting the full spectrum of the software construction process from the initial requirement engineering to the final code optimization. Thus a programming language is required which is of considerable expressive power, that is, a 'wide spectrum' language. The basic design objective of the language is to make the program construction more transparent, more reliable, and formally sound.",

author = "Manfred Broy and Peter Pepper",

year = "1983",

language = "English",

isbn = "0444867945",

publisher = "North-Holland",

pages = "41--57",

editor = "Jurgen Bormann",

booktitle = "Unknown Host Publication Title",

}

TY - GEN

T1 - ON THE COHERENCE OF PROGRAMMING LANGUAGE AND PROGRAMMING METHODOLOGY.

AU - Broy, Manfred

AU - Pepper, Peter

PY - 1983

Y1 - 1983

N2 - The mutual dependency between a programming methodology and a programming language is investigated. The methodology aids the development of software by a formal framework supporting the full spectrum of the software construction process from the initial requirement engineering to the final code optimization. Thus a programming language is required which is of considerable expressive power, that is, a 'wide spectrum' language. The basic design objective of the language is to make the program construction more transparent, more reliable, and formally sound.

AB - The mutual dependency between a programming methodology and a programming language is investigated. The methodology aids the development of software by a formal framework supporting the full spectrum of the software construction process from the initial requirement engineering to the final code optimization. Thus a programming language is required which is of considerable expressive power, that is, a 'wide spectrum' language. The basic design objective of the language is to make the program construction more transparent, more reliable, and formally sound.

UR - https://www.scopus.com/pages/publications/0020948745

M3 - Conference contribution

AN - SCOPUS:0020948745

SN - 0444867945

SP - 41

EP - 57

BT - Unknown Host Publication Title

A2 - Bormann, Jurgen

PB - North-Holland

ER -

ON THE COHERENCE OF PROGRAMMING LANGUAGE AND PROGRAMMING METHODOLOGY.

Abstract

UN SDGs

Other files and links

Fingerprint

Cite this