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 × Germany
1 × Jamaica
1 × Norway
Collaborated with:
M.Giese H.Bertilsson R.Feldt O.Mürk R.Hähnle
Talks about:
constraint (1) transform (1) simplifi (1) challeng (1) softwar (1) program (1) consult (1) compani (1) within (1) verif (1)

Person: Daniel Larsson

DBLP DBLP: Larsson:Daniel

Contributed to:

ICST 20082008
CADE 20072007
MoDELS 20052005

Wrote 3 papers:

ICST-2008-LarssonBF #challenge
Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company (DL, HB, RF), pp. 423–431.
CADE-2007-MurkLH #c #named #source code #verification
KeY-C: A Tool for Verification of C Programs (OM, DL, RH), pp. 385–390.
MoDELS-2005-GieseL #constraints #ocl
Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.

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.