This paper presents Circe, an environment for the analysis of natural language
requirements. Circe is first presented in terms of its architecture, based on a transformational …

We are developingan agent-oriented software development methodology, called Tropos,
which integrates ideas from multi-agent system technologies and Requirements …

Software requirements specification is a critical activity of the software process, as errors at
this stage inevitably lead to problems later on in system design and implementation. The …

Our goal in this paper is to introduce and motivate a methodology, called Tropos, 1 for
building agent oriented software systems. Tropos is based on two key ideas. First, the notion …

This paper describes a methodology for agent oriented software engineering, called
Tropos1. Tropos is based on three key ideas. First, the notion of agent and all the related …

The development of a restricted natural language for expressing requirements is described.
the purpose of the language is to support readable specifications, which can be analyzed for …

Requirements analysis includes a preliminary acquisition step where a global model for the
specification of the system and its environment is elaborated. This model, called …

Abstract The term Requirements Engineering refers to this part of a database development
cycle that involves investigating the problems and requirements of the users community and …

The specification of requirements is among the most critical activities of information system
development, and yet it is very prone to errors. A number of actions are proposed here to …

We discuss the possibility of a complete system development scheme, supported by
semantically rigorous automated tools, within which one can go from an extremely high …