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 |
| _version_ | 1780898368778665984 |
|---|---|
| author | Di Marzo-Serugendo, G |
| author_facet | Di Marzo-Serugendo, G |
| author_sort | Di Marzo-Serugendo, G |
| collection | CERN |
| description | 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 well as development guidelines that help the specifier during the development of such systems. The methodology and the development guidelines are presented through an agent market place example. (8 refs). |
| id | cern-544415 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2001 |
| record_format | invenio |
| spelling | cern-5444152019-09-30T06:29:59Zhttp://cds.cern.ch/record/544415engDi Marzo-Serugendo, GA formal development and validation methodology applied to agent- based systemsComputing and ComputersThis 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 well as development guidelines that help the specifier during the development of such systems. The methodology and the development guidelines are presented through an agent market place example. (8 refs).oai:cds.cern.ch:5444152001 |
| spellingShingle | Computing and Computers Di Marzo-Serugendo, G A formal development and validation methodology applied to agent- based systems |
| title | A formal development and validation methodology applied to agent- based systems |
| title_full | A formal development and validation methodology applied to agent- based systems |
| title_fullStr | A formal development and validation methodology applied to agent- based systems |
| title_full_unstemmed | A formal development and validation methodology applied to agent- based systems |
| title_short | A formal development and validation methodology applied to agent- based systems |
| title_sort | formal development and validation methodology applied to agent- based systems |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/544415 |
| work_keys_str_mv | AT dimarzoserugendog aformaldevelopmentandvalidationmethodologyappliedtoagentbasedsystems AT dimarzoserugendog formaldevelopmentandvalidationmethodologyappliedtoagentbasedsystems |