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
Collaborated with:
K.Futatsugi S.Iida
Talks about:
cafe (3) obj (3) foundat (2) specif (2) logic (2) behaviour (1) overview (1) algebra (1) rewrit (1) compon (1)

Person: Razvan Diaconescu

DBLP DBLP: Diaconescu:Razvan

Contributed to:

World Congress on Formal Methods 19991999
WRLA 19981998
WRLA 19961996
WRLA 19962002

Wrote 4 papers:

FM-v2-1999-DiaconescuFI #algebra #component #specification #verification
Component-Based Algebraic Specification and Verification in CafeOBJ (RD, KF, SI), pp. 1644–1663.
WRLA-1998-DiaconescuF #overview
An overview of CafeOBJ (RD, KF), pp. 285–298.
RWLW-1996-Diaconescu #behaviour #logic #specification
Foundations of behavioural specification in rewriting logic (RD), pp. 226–245.
WRLA-J-1996-DiaconescuF02 #logic
Logical foundations of CafeOBJ (RD, KF), pp. 289–318.

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.