Redesigning air traffic control: an exercise in software design
John M. Chapin, Daniel Jackson · IEEE Software · 2000
This case study demonstrates how basic software engineering techniques can make a complex system dramatically simpler. The authors describe lessons learned from reverse engineering an air traffic control system with a variety of tools and redesigning it to be smaller, simpler and more flexible.