Computational Models, Software Engineering, and Advanced Technologies in Air Transportation