Trace-Based Systems - Silex Team

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

{{tag>storage transformation}}
====== kTBS ======

This is the homepage of kTBS, a development effort of the [[https://liris.cnrs.fr/tweak/wiki/|Tweak]] team (formerly [[http://liris.cnrs.fr/silex|Silex]]) lead by [[http://champin.net/#pa|Pierre-Antoine Champin]] to provide a generic kernel for Trace-Based Systems.


Here are some information about kTBS:


    * [[http://readthedocs.org/docs/ktbs/|living documentation]]
    * [[http://pypi.python.org/pypi/kTBS|python module (for users)]]
    * [[https://github.com/ktbs/ktbs|github repository (for developers)]]
    * [[http://liris.cnrs.fr/sbt-dev/ktbs/index.ttl|DOAP profile (for machines)]]

===== Scientific publications =====

Champin, Pierre-Antoine, Alain Mille, and Yannick Prié. 2013. “Vers des traces numériques comme objets informatiques de premier niveau : une approche par les traces modélisées.” Intellectica, no. 59(June):171–204. https://hal.archives-ouvertes.fr/hal-00924203

Cordier, Amélie, Marie Lefevre, Pierre-Antoine Champin, Olivier Georgeon, and Alain Mille. 2013. “Trace-Based Reasoning — Modeling Interaction Traces for Reasoning on Experiences.” In The 26th International FLAIRS Conference. https://hal.archives-ouvertes.fr/hal-00830444


For more information on Trace-Based Systems, see the [[http://liris.cnrs.fr/equipes/?id=44&onglet=publis|publications of the SILEX]] and [[http://liris.cnrs.fr/equipes/?id=75&onglet=publis|TWEAK teams]].

Trace-Based Systems - Silex Team

User Tools

Site Tools

Page Tools