Cargando…
A formal development and validation methodology applied to agent- based systems
This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt client's requirements. Second, the paper describes the application of this methodology to agent-based systems, as we...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/544415 |