Travelled to:1 × Argentina
1 × Greece
1 × USA
Collaborated with:C.D.Roover T.D'Hondt K.Mens R.Wuyts K.Gybels K.Gybels J.Brichau E.G.Boix
Talks about:program (3) level (2) high (2) lightweight (1) properti (1) document (1) behavior (1) approach (1) support (1) softwar (1)
Person: Isabel Michiels
DBLP: Michiels:Isabel
Contributed to:
2006
20062001Wrote 3 papers:
- ICPC-2006-RooverMGGD #approach #behaviour #documentation #lightweight #verification
- An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification (CDR, IM, KG, KG, TD), pp. 202–211.
- SEKE-2006-MichielsRBBD #modelling #testing #using
- Program Testing Using High-Level Property-Driven Models (IM, CDR, JB, EGB, TD), pp. 489–494.
- SEKE-2001-MensMW #development #programming
- Supporting Software Development through Declaratively Codified Programming (KM, IM, RW), pp. 236–243.