Islander

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

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

Full text not available from this archive.

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

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.