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 × Belgium
1 × Ireland
Collaborated with:
M.Thorup B.Konikowska A.Tarlecki
Talks about:
softwar (2) syntax (2) specif (2) valid (2) three (2) denot (2) valu (2) process (1) develop (1) conserv (1)

Person: Andrzej Blikle

DBLP DBLP: Blikle:Andrzej

Contributed to:

VDM Europe 19901990
VDM Europe 19881988
VDM Europe 19871987

Wrote 4 papers:

VDME-1990-BlikleT #development #on the #process #syntax
On Conservative Extensions of Syntax in the Process of System Development (AB, MT), pp. 504–525.
VDME-1988-Blikle #specification #validation
Three-Valued Predicates for Software Specification and Validation (AB), pp. 243–266.
VDME-1988-KonikowskaTB #logic #specification #validation
A Three-Valued Logic for Software Specification and Validation (BK, AT, AB), pp. 218–242.
VDME-1987-Blikle #syntax
Denotational Engineering or from Denotations to Syntax (AB), pp. 151–209.

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.