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 × Estonia
1 × France
1 × Germany
Collaborated with:
V.Luukkala ∅ A.Krupp W.Müller
Talks about:
model (2) transport (1) protocol (1) session (1) system (1) formal (1) design (1) cancel (1) refin (1) embed (1)

Person: Ian Oliver

DBLP DBLP: Oliver:Ian

Contributed to:

TestCom/FATES 20072007
DATE 20052005
DATE DF 20042004

Wrote 3 papers:

TestCom-FATES-2007-LuukkalaO #embedded #modelling #protocol #testing
Model Based Testing of an Embedded Session and Transport Protocol (VL, IO), pp. 212–227.
DATE-2005-Oliver #design #uml
Applying UML and MDA to Real Systems Design (IO), pp. 70–71.
DATE-DF-2004-KruppMO #model checking #refinement
Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.
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.