In the paper I discuss a tool for helping students in their symbolizations of natural language sentences using the formal language of classical first order logic (CFOL). The tool is an extension of Hintikka’s concept of (Inquirer’s) range of attention in the context of interrogative games. Any given text is reconstructed as the answer to a “big” or principal question obtained through the answer...

The primary measure of success of a software system is the level to which it meets the purpose for which it was projected and requirements engineering (RE) is the process of discovering that purpose. The RE process includes five distinct phases: Requirements Elicitation, Requirements Analysis & Negotiation, Requirements Documentation, Requirements Verification & Validation, and Requirements Man...