Using abduction and induction for operational requirements elaboration

Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel. Using abduction and induction for operational requirements elaboration. J. Applied Logic, 7(3):275-288, 2009. [doi]

Abstract

Abstract is missing.