Sciweavers

1719 search results - page 61 / 344
» Software Re-Documentation Process and Tool
Sort
View
139
Voted
CSSE
2006
IEEE
15 years 3 months ago
Agile PASSI: An agile process for designing agents
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...
ICSM
1997
IEEE
15 years 7 months ago
A Model for Change Propagation Based on Graph Rewriting
This paper presents a model of change propagation during software maintenance and evolution. Change propagation is modeled as a sequence of snapshots, where each snapshot represen...
Vaclav Rajlich
114
Voted
ICIAP
1999
ACM
15 years 7 months ago
SAR Image Processing Using Artificial Intelligence Planning
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...
Forest Fisher, Steve A. Chien, Edisanter Lo, Ronal...
158
Voted
UML
2005
Springer
15 years 9 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
125
Voted
VAMOS
2007
Springer
15 years 9 months ago
FAMA: Tooling a Framework for the Automated Analysis of Feature Models
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
David Benavides, Sergio Segura, Pablo Trinidad, An...