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 × France
1 × USA
Collaborated with:
V.Stavridou F.Gilham J.Herbert B.Dutertre
Talks about:
architectur (3) secur (2) transform (1) interoper (1) distribut (1) softwar (1) databas (1) correct (1) formal (1) proof (1)

Person: Robert A. Riemenschneider

DBLP DBLP: Riemenschneider:Robert_A=

Contributed to:

World Congress on Formal Methods 19991999
WICSA 19991999

Wrote 3 papers:

FM-v1-1999-GilhamRS #database #distributed
Secure Interoperation of Secure Distributed Databases (FG, RAR, VS), pp. 701–717.
FM-v1-1999-HerbertDRS #architecture #formal method
A Formalization of Software Architecture (JH, BD, RAR, VS), pp. 116–133.
WICSA-1999-Riemenschneider #architecture #correctness
Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures (RAR), pp. 65–82.

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.