Although in recent years some progress in software engineering (SE) and human-computer interaction (HCI) has been made, there is still a gap between the two research areas and the...
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...
Antonio Chella, Massimo Cossentino, Luca Sabatucci...
This paper describes how the Prometheus Design Tool (PDT) is used to support the Prometheus methodology for designing agent systems. This is done by using an exemplar system that h...