BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × United Kingdom
2 × Germany
Collaborated with:
W.Reif G.Schellhorn K.Stenzel F.Bübl J.Schmitt A.Hoffmann M.Marcos A.Thums D.Hutter H.Mantel G.Rock W.Stephan A.Wolpers
Talks about:
develop (2) system (2) formal (2) kiv (2) constraint (1) interact (1) guidelin (1) softwar (1) provabl (1) correct (1)

Person: Michael Balser

DBLP DBLP: Balser:Michael

Contributed to:

FM 20062006
CSMR 20052005
FASE 20002000
FM-Trends 19981998

Wrote 5 papers:

FM-2006-SchmittHBRM #guidelines #interactive #verification
Interactive Verification of Medical Guidelines (JS, AH, MB, WR, MM), pp. 32–47.
CSMR-2005-BublB #constraints #requirements
Tracing Cross-Cutting Requirements via Context-Based Constraints (FB, MB), pp. 80–90.
FASE-2000-BalserRSST #development
Formal System Development with KIV (MB, WR, GS, KS, AT), pp. 363–366.
KIV 3.0 for Provably Correct Systems (MB, WR, GS, KS), pp. 330–337.
FM-1998-HutterMRSWBRSS #complexity #formal method #named
VSE: Controlling the Complexity in Formal Software Developments (DH, HM, GR, WS, AW, MB, WR, GS, KS), pp. 351–358.

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.