Verifying the design of an outsourced COBOL system with IntensiVE

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

doi:10.1109/ICSM.2010.5609534

Previous
Next
Table of Contents
Similar Articles

2010 IEEE International Conference on Software Maintenance

Verifying the design of an outsourced COBOL system with IntensiVE

Year: 2010, Pages: 1-8

DOI Bookmark: 10.1109/ICSM.2010.5609534

Authors

Andy Kellens, Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, B-1050 Brussels, Belgium
Carlos Noguera, Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, B-1050 Brussels, Belgium
Theo D'Hondt, Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, B-1050 Brussels, Belgium
Luc Jorissen, Heiststeenweg 131, B-2580 Beerzel, Belgium
Bart Van Passel, Heiststeenweg 131, B-2580 Beerzel, Belgium

Verifying the design of an outsourced COBOL system with IntensiVE

Authors

Abstract