[Software] IIA Barcelona,
Full text not available from this archive.
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.
Application Areas: Tool/System Development
Archive Staff Only: edit this record