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:
A.Johnsen K.Lundqvist P.Pettersson Martin Torelm
Talks about:
system (2) model (2) aadl (2) architectur (1) framework (1) regress (1) qualiti (1) depend (1) verif (1) slice (1)

Person: Kaj Hänninen

DBLP DBLP: H=auml=nninen:Kaj

Contributed to:

QoSA 20142014
QoSA 20162016

Wrote 2 papers:

QoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification
Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.
QoSA-2016-JohnsenLHPT #architecture #assurance #framework #named #quality
AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL (AJ, KL, KH, PP, MT), pp. 31–40.

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.