Requirements Engineering via Non-monotonic Logics and State Diagrams.

David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock

Browse the full ENASE paper archive.