Bart Van Passel

According to our database, Bart Van Passel authored at least 2 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Verifying the design of an outsourced COBOL system with IntensiVE.

Andy Kellens, Carlos Noguera, Theo D'Hondt, Luc Jorissen, Bart Van Passel

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009

Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems.

Andy Kellens, Kris De Schutter, Theo D'Hondt, Luc Jorissen, Bart Van Passel

Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009