Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic

David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock. Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. In Pericles Loucopoulos, Leszek A. Maciaszek, editors, ENASE 2010 - Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering, Athens, Greece, July 22-24, 2010. pages 68-77, SciTePress, 2010.

Abstract

Abstract is missing.