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 × Austria
1 × France
1 × United Kingdom
Collaborated with:
W.P.d.Roever F.S.d.Boer J.Zwiers Y.Lakhnech F.A.Stomp
Talks about:
variabl (2) concurr (2) share (2) paradigm (1) guarante (1) composit (1) approach (1) specifi (1) softwar (1) program (1)

Person: Ulrich Hannemann

DBLP DBLP: Hannemann:Ulrich

Contributed to:

World Congress on Formal Methods 19991999
FME 19971997
FME 19961996

Wrote 3 papers:

FM-v2-1999-BoerHR #approach #concurrent #paradigm #semantics
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach (FSdB, UH, WPdR), pp. 1245–1265.
FME-1997-BoerHR #composition #concurrent #proving
A Compositional Proof System for Shared Variable Concurrency (FSdB, UH, WPdR), pp. 515–532.
FME-1996-ZwiersHLRS #composition #development #reuse #top-down #using
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development (JZ, UH, YL, WPdR, FAS), pp. 595–608.

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.