NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING - State Diagrams Driven by Plausible Logic Topics: Architectural Design and Meta Architectures; Model-Driven Engineering; Requirements Engineering Frameworks and Models; Software Development Methodologies In Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 68-77, 2010 , University of Piraeus, Greece