Narodna in univerzitetna knjižnica, Ljubljana (NUK)
Naročanje gradiva za izposojo na dom
Naročanje gradiva za izposojo v čitalnice
Naročanje kopij člankov
Urnik dostave gradiva z oznako DS v signaturi
  • A formal framework supporting the specification of the interactions between agents
    Mokhati, Farid ; Badri, Mourad ; Badri, Linda
    In this paper we present a formal framework supporting the translation of interactions between agents (the interactions are described with the help of the RCA formalism) in a Maude specification. ... Based on rewriting logic, the formal and object-oriented language Maude supports formal specification and programming for a wide range of applications. The main motivations of our work are essentially: (1) to formally specify the behavior of multi-agent systems (2) to provide a solid basis for their verification and validation. The translation process is illustrated by means of a real case study.
    Vir: Informatica : an international journal of computing and informatics. - ISSN 0350-5596 (Vol. 30, no. 1, 2006, str. 97-110)
    Vrsta gradiva - članek, sestavni del
    Leto - 2006
    Jezik - angleški
    COBISS.SI-ID - 19726887

    Povezava(-e):

    Digitalna knjižnica Slovenije - dLib.si

Vnos na polico