AgentLink.org | European Co-ordination Action for Agent-Based Computing



Industry Action Standardisation Activity Research Action Student Integration Technical Forum Technological Roadmap


Technical Conference: ATC Summer School: EASSS Technical Forum: TFG


AgentLink Newsletter Roadmap Email Update Document Archive





Agent Curricula Agent Job Finder Agent Papers Agent Projects Agent Software << ADD RESOURCES >>


Join AgentLink Members Map People Finder


Contact AgentLink Expenses Claims FAQ Advanced Search

Islander

Archive Home
About EPrints
Browse:
    by Subject
    by Year
    by Author

GNU EPrints

Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Type: Software

Subject: DA Development and Application Areas

Member Organisation: 148 Universitat Autonoma de Barcelona

[Software] IIA Barcelona, (2004) Islander. [Other]

Full text not available from this archive.

Official URL: http://e-institutor.iiia.csic.es/islander/islander.html

Abstract

Islander is a tool for the specification and verification of electronic institutions. ISLANDER editor tries to make as easy as possible the work of the institution designer combining textual and graphical elements for the specification of an institution. Moreover, the tool is able to verify the specifications.

Status: Completed

Maturity: Other

License: Other

Support: Other

Application Areas: Tool/System Development

Deposited by AgentLink Archive Administrator on 11 October 2005

Archive Staff Only: edit this record