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 × Denmark
1 × France
1 × USA
Collaborated with:
R.A.Riemenschneider J.P.Bowen F.Gilham H.Barringer D.A.Edwards J.Herbert B.Dutertre
Talks about:
formal (3) secur (2) architectur (1) interoper (1) distribut (1) perspect (1) industri (1) softwar (1) hardwar (1) databas (1)

Person: Victoria Stavridou

DBLP DBLP: Stavridou:Victoria

Contributed to:

World Congress on Formal Methods 19991999
FME 19931993
DAC 19881988

Wrote 4 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.
FME-1993-BowenS #formal method #industrial #perspective #safety
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (JPB, VS), pp. 183–195.
DAC-1988-StavridouBE #case study #comparative #hardware #specification #verification
Formal Specification and Verification of Hardware: A Comparative Case Study (VS, HB, DAE), pp. 197–204.

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.