Charles C. Howell;Sofia Guerra;Shari Lawrence Pfleeger;Victoria Stavridou-Coleman
MITRE;Adelard;RAND;SRI
Runtime Certification
Runtime Verification
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering