Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)when quoting this document, please refer to the following
DOI: 10.4230/OASIcs.TrustworthySW.2006.766
URN: urn:nbn:de:0030-drops-7667
URL: https://drops.dagstuhl.de/opus/volltexte/2006/766/
Legay, Axel ; de Alfaro, Luca ; Faella, Marco
An Introduction to the Tool Ticc
| pdf-format: |
|
Abstract
This paper is a tutorial introduction to the sociable interface modelof [12] and its underlying tool \textsc{Tcc}. The
paper starts with a survey of the theory of interfaces and then
introduces the sociable interface model that is a game-based model
with rich communication primitives to facilitate the modeling of
software and distributed systems. The model and its
main features are then intensivelly discussed and illustrated using
the tool \textsc{Tcc}.
BibTeX - Entry
@InProceedings{legay_et_al:OASIcs:2006:766,
author = {Axel Legay and Luca de Alfaro and Marco Faella},
title = {{An Introduction to the Tool Ticc}},
booktitle = {Workshop on Trustworthy Software},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-939897-02-6},
ISSN = {2190-6807},
year = {2006},
volume = {3},
editor = {Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2006/766},
URN = {urn:nbn:de:0030-drops-7667},
doi = {10.4230/OASIcs.TrustworthySW.2006.766},
annote = {Keywords: Open system, game, interface automata}
}
| Keywords: | Open system, game, interface automata | |
| Seminar: | Workshop on Trustworthy Software | |
| Issue date: | 2006 | |
| Date of publication: | 19.10.2006 |
