An Assessment of Space Shuttle Flight Software Development Processes

Formalizing space shuttle software requirements: four case studies

ACM Transactions on Software Engineering and Methodology (TOSEM)

Nasa Shuttle Software Maintenance Evolution

Empirical Software Engineering

The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)

Defect evolution in a product line environment

Journal of Systems and Software