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
1 × USA
Collaborated with:
F.A.Kraemer P.Herrmann
Talks about:
system (2) exemplifi (1) distribut (1) industri (1) reliabl (1) generat (1) automat (1) verifi (1) toward (1) specif (1)

Person: Vidar Slåtten

DBLP DBLP: Sl=aring=tten:Vidar

Contributed to:

GPCE 20112011
ICST 20102010

Wrote 2 papers:

GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #validation #verification
Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
ICST-2010-Slatten #modelling
Model-Driven Engineering of Dependable Systems (VS), pp. 359–362.

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.