Acabei de lembrar-me de um artigo extremamente importante e que certamente será base para avanços no objetivo de prover meios para tornar o software mais transparente.
Refiro-me ao artigo Requirements Monitoring in Dynamic Environments de Steven Fickas e Martin Feather.
Além desse artigo, creio ser importante também ler o artigo Requirements-based monitors for real-time systems de Peters e Parnas.
Outro pesquisador que está estudando monitores no contexto de requisitos é Bill Robinson, que recentemente publicou Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring.
Amazing 