BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
Collaborated with:
D.Liu H.Zhu
Talks about:
formalis (1) pattern (1) algebra (1) specif (1) predic (1) design (1) comput (1) studi (1) logic (1) cloud (1)

Person: Ian Bayley

DBLP DBLP: Bayley:Ian

Contributed to:

PDP 20132013
SEFM 20072007

Wrote 2 papers:

PDP-2013-LiuZB #algebra #case study #in the cloud #specification
A Case Study on Algebraic Specification of Cloud Computing (DL, HZ, IB), pp. 269–273.
SEFM-2007-Bayley #design pattern #formal method #logic
Formalising Design Patterns in Predicate Logic (IB), pp. 25–36.

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.