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 × Germany
1 × United Kingdom
Collaborated with:
D.Hutter W.Stephan B.Langenstein C.Sengler J.H.Siekmann H.Mantel G.Rock M.Balser W.Reif G.Schellhorn K.Stenzel
Talks about:
vse (2) support (1) softwar (1) environ (1) develop (1) control (1) complex (1) formal (1) deduct (1) verif (1)

Person: Andreas Wolpers

DBLP DBLP: Wolpers:Andreas

Contributed to:

FM-Trends 19981998
FME 19961996

Wrote 2 papers:

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.
FME-1996-HutterLSSSW #deduction #verification
Deduction in the Verification Support Environment (VSE) (DH, BL, CS, JHS, WS, AW), pp. 268–286.

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.