Some remarks about formal and informal specification methods in the context of software development

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

64 Downloads (Pure)

Original language	English
Title of host publication	Interdisciplinary foundations of systems design and evaluation
Editors	L. Bannon, R. Keil-Slawik, I. Wagner
Place of Publication	Saarbruecken
Publisher	Geschaeftsstelle Schloss Dagstuhl
Pages	42-45
Publication status	Published - 1995

Name	Dagstuhl Seminar-Report
Volume	97-9438

Access to Document

@inbook{deaf85d9eb06487f80f25fabef255a5b,

title = "Some remarks about formal and informal specification methods in the context of software development",

author = "G.W.M. Rauterberg",

year = "1995",

language = "English",

series = "Dagstuhl Seminar-Report",

publisher = "Geschaeftsstelle Schloss Dagstuhl",

pages = "42--45",

editor = "L. Bannon and R. Keil-Slawik and I. Wagner",

booktitle = "Interdisciplinary foundations of systems design and evaluation",

}

Some remarks about formal and informal specification methods in the context of software development. / Rauterberg, G.W.M.
Interdisciplinary foundations of systems design and evaluation. ed. / L. Bannon; R. Keil-Slawik; I. Wagner. Saarbruecken: Geschaeftsstelle Schloss Dagstuhl, 1995. p. 42-45 (Dagstuhl Seminar-Report; Vol. 97-9438).

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

TY - CHAP

T1 - Some remarks about formal and informal specification methods in the context of software development

AU - Rauterberg, G.W.M.

PY - 1995

Y1 - 1995

M3 - Chapter

T3 - Dagstuhl Seminar-Report

SP - 42

EP - 45

BT - Interdisciplinary foundations of systems design and evaluation

A2 - Bannon, L.

A2 - Keil-Slawik, R.

A2 - Wagner, I.

PB - Geschaeftsstelle Schloss Dagstuhl

CY - Saarbruecken

ER -