Travelled to:1 × Germany
1 × Romania
Collaborated with:A.Kellens T.D'Hondt L.Jorissen C.Noguera K.D.Schutter
Talks about:verifi (2) system (2) design (2) cobol (2) framework (1) outsourc (1) document (1) intensi (1) cognac (1)
Person: Bart Van Passel
DBLP: Passel:Bart_Van
Contributed to:
2010
2009Wrote 2 papers:
- ICSM-2010-KellensNDJP #cobol #design #outsourcing #verification
- Verifying the design of an outsourced COBOL system with IntensiVE (AK, CN, TD, LJ, BVP), pp. 1–8.
- CSMR-2009-KellensSDJP #cobol #design #framework #named #verification
- Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems (AK, KDS, TD, LJ, BVP), pp. 199–208.