One of the difficulties in requirements negotiation is to determine a feasible and mutually satisfactory set of requirements for the developer and the user, a problem related to C...
Barry W. Boehm, Marwan Abi-Antoun, Daniel Port, Ju...
A sonar-ring is one of the most popular sensors for indoor mobile robots, because it is simple and gives omni-directional distance information directly. However, it is dicult to m...
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...