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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

47 Downloads (Pure)

Originele taal-2	Engels
Titel	Interdisciplinary foundations of systems design and evaluation
Redacteuren	L. Bannon, R. Keil-Slawik, I. Wagner
Plaats van productie	Saarbruecken
Uitgeverij	Geschaeftsstelle Schloss Dagstuhl
Pagina's	42-45
Status	Gepubliceerd - 1995

Naam	Dagstuhl Seminar-Report
Volume	97-9438

Toegang tot 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. uitgave / L. Bannon; R. Keil-Slawik; I. Wagner. Saarbruecken: Geschaeftsstelle Schloss Dagstuhl, 1995. blz. 42-45 (Dagstuhl Seminar-Report; Vol. 97-9438).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › 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 -