Towards a wide spectrum language to support programide spectrum language to support program specification and program development

F. L. Bauer; M. Broy; R. Gnatz; W. Hesse; B. Krieg-Brücknert; H. Partsch; P. Pepper; H. Wössner

doi:10.1007/BFb0014682

Towards a wide spectrum language to support programide spectrum language to support program specification and program development

F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brücknert, H. Partsch, P. Pepper, H. Wössner

TUM Emeriti of Excellence

Technical University of Munich

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

2 Scopus citations

Original language	English
Title of host publication	Program Construction - International Summer School
Editors	Friedrich L. Bauer, Manfred Broy
Publisher	Springer Verlag
Pages	543-552
Number of pages	10
ISBN (Print)	9783540092513
DOIs	https://doi.org/10.1007/BFb0014682
State	Published - 1979
Event	International Summer School on Program Construction, 1978 - Marktoberdorf, Germany Duration: 26 Jul 1978 → 6 Aug 1978

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	69 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Summer School on Program Construction, 1978
Country/Territory	Germany
City	Marktoberdorf
Period	26/07/78 → 6/08/78

Access to Document

10.1007/BFb0014682

Cite this

Bauer, F. L., Broy, M., Gnatz, R., Hesse, W., Krieg-Brücknert, B., Partsch, H., Pepper, P., & Wössner, H. (1979). Towards a wide spectrum language to support programide spectrum language to support program specification and program development. In F. L. Bauer, & M. Broy (Eds.), Program Construction - International Summer School (pp. 543-552). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 69 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0014682

Bauer, F. L. ; Broy, M. ; Gnatz, R. et al. / Towards a wide spectrum language to support programide spectrum language to support program specification and program development. Program Construction - International Summer School. editor / Friedrich L. Bauer ; Manfred Broy. Springer Verlag, 1979. pp. 543-552 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d1a98e5293fb4b9bb6f91df8c102a1bf,

title = "Towards a wide spectrum language to support programide spectrum language to support program specification and program development",

author = "Bauer, {F. L.} and M. Broy and R. Gnatz and W. Hesse and B. Krieg-Br{\"u}cknert and H. Partsch and P. Pepper and H. W{\"o}ssner",

year = "1979",

doi = "10.1007/BFb0014682",

language = "English",

isbn = "9783540092513",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "543--552",

editor = "Bauer, {Friedrich L.} and Manfred Broy",

booktitle = "Program Construction - International Summer School",

note = "International Summer School on Program Construction, 1978 ; Conference date: 26-07-1978 Through 06-08-1978",

}

Bauer, FL, Broy, M, Gnatz, R, Hesse, W, Krieg-Brücknert, B, Partsch, H, Pepper, P & Wössner, H 1979, Towards a wide spectrum language to support programide spectrum language to support program specification and program development. in FL Bauer & M Broy (eds), Program Construction - International Summer School. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 69 LNCS, Springer Verlag, pp. 543-552, International Summer School on Program Construction, 1978, Marktoberdorf, Germany, 26/07/78. https://doi.org/10.1007/BFb0014682

Towards a wide spectrum language to support programide spectrum language to support program specification and program development. / Bauer, F. L.; Broy, M.; Gnatz, R. et al.
Program Construction - International Summer School. ed. / Friedrich L. Bauer; Manfred Broy. Springer Verlag, 1979. p. 543-552 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 69 LNCS).

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

TY - GEN

T1 - Towards a wide spectrum language to support programide spectrum language to support program specification and program development

AU - Bauer, F. L.

AU - Broy, M.

AU - Gnatz, R.

AU - Hesse, W.

AU - Krieg-Brücknert, B.

AU - Partsch, H.

AU - Pepper, P.

AU - Wössner, H.

PY - 1979

Y1 - 1979

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

U2 - 10.1007/BFb0014682

DO - 10.1007/BFb0014682

M3 - Conference contribution

AN - SCOPUS:84976750511

SN - 9783540092513

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 543

EP - 552

BT - Program Construction - International Summer School

A2 - Bauer, Friedrich L.

A2 - Broy, Manfred

PB - Springer Verlag

T2 - International Summer School on Program Construction, 1978

Y2 - 26 July 1978 through 6 August 1978

ER -

Bauer FL, Broy M, Gnatz R, Hesse W, Krieg-Brücknert B, Partsch H et al. Towards a wide spectrum language to support programide spectrum language to support program specification and program development. In Bauer FL, Broy M, editors, Program Construction - International Summer School. Springer Verlag. 1979. p. 543-552. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0014682

Towards a wide spectrum language to support programide spectrum language to support program specification and program development

Publication series

Conference

Access to Document

Other files and links

Cite this