BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
Collaborated with:
K.Wijbrans R.Rijkers W.Geurts
Talks about:
softwar (1) develop (1) control (1) barrier (1) system (1) method (1) formal (1) experi (1) storm (1) engin (1)

Person: Franc Buve

DBLP DBLP: Buve:Franc

Contributed to:

FM 20082008

Wrote 1 papers:

FM-2008-WijbransBRG #case study #development #experience #formal method #re-engineering
Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System (KW, FB, RR, WG), pp. 419–424.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.