Validation in the methods of object-oriented requirements engineering

In this paper, we are dealing with validation issues in object-oriented information system analysis methodologies. Based on grounds that requirements engineering include elicitation, modelisation, synthesis and validation activities we propose tools covering all the field of requirements engineering. We rely on the specification method O* but our approach can be easily extended to other object-oriented methodologies and even to any other information system methodology. We propose among the set of our tools: an elicitor of requirements with two axis : the first focusing on the user scenario capture and the second infering from the textual specifications a blueprint of formal specifications to be validated a prototyper translating object oriented specifications in an object-oriented executable langage a process assistant integrating heuristics to the semantics of sofware methodologies