PASSI (a Process for Agent Societies Specification and Implementation) is a step-by-step requirement-to-code methodology for designing and developing multiagent societies, integrating design models and concepts from both ObjectOriented software engineering and artificial intelligence approaches using the UML notation. The models and phases of PASSI encompass anthropomorphic representation of sy...

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 versatile approach for designing software in a research context suggested us to find out a new methodology. A solution to our problems is represented by the Agile version of the PASSI methodology we present in this paper. We...

A Process for Agent Societies Specification and Implementation (PASSI) is a step-by-step requirement-to-code methodology for designing and developing multi-agent societies, integrating design models and concepts from both object-oriented (OO) software engineering and artificial intelligence approaches using the UML notation. The models and phases of PASSI encompass representation of system requ...

INTRODUCTION Surveillance systems for health status and behaviors of populations are fundamental for planning, implementing, and monitoring preventive interventions. In 2006, the Italian Ministry of Health provided funding to the National Institute of Public Health to develop an ongoing surveillance system for adult behavioral risk factors. We describe the main features of the system (known as ...

PASSI (a Process for Agent Societies Specification and Implementation) is a step-by-step requirement-to-code methodology for designing and developing multi-agent societies integrating design models and concepts from both OO software engineering and artificial intelligence approaches using UML notation. The models and phases of PASSI encompass anthropomorphic representation of system requirement...

The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companies for a development process that was shorter than PASSI, gave us the opportunity of applying our studies on the assembling of a new SEP by reusing parts (called method fragments) from other processes. In this paper we ...

Using the Luthar-Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of integral group rings of Janko simple groups. As a consequence, for the Janko groups J1, J2 and J3 we confirm Kimmerle’s conjecture on prime graphs.

In this paper, we essentially finish the classification of those finite 2, 3-groups G having integral group rings with the multiplicative Jordan decomposition (MJD) property. If G is abelian or a Hamiltonian 2-group, then it is clear that Z[G] satisfies MJD. Thus, we need only consider the nonabelian case. Recall that the 2-groups with MJD were completely determined by Hales, Passi and Wilson, ...