User Tools

Site Tools


tools:ktbs

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
tools:ktbs [2014/09/27 19:51]
pchampin created
tools:ktbs [2019/09/15 15:24] (current)
pchampin
Line 1: Line 1:
-This is the homepage of kTBS, a development effort of the [[http://liris.cnrs.fr/silex|SILEX]] team lead by [[http://champin.net/#pa|Pierre-Antoine Champin]] to provide a generic kernel for Trace-Based Systems.+{{tag>storage transformation}} 
 +====== kTBS ======
  
- +This is the homepage of kTBS, 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.
-NB: This is only prototype at the moment!…+
  
  
Line 8: Line 8:
  
  
-    * [[http://readthedocs.org/docs/kernel-for-trace-based-systems/|living documentation]]+    * [[http://readthedocs.org/docs/ktbs/|living documentation]]
     * [[http://pypi.python.org/pypi/kTBS|python module (for users)]]     * [[http://pypi.python.org/pypi/kTBS|python module (for users)]]
     * [[https://github.com/ktbs/ktbs|github repository (for developers)]]     * [[https://github.com/ktbs/ktbs|github repository (for developers)]]
     * [[http://liris.cnrs.fr/sbt-dev/ktbs/index.ttl|DOAP profile (for machines)]]     * [[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 team]]. 
  
 +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]].
tools/ktbs.1411840284.txt.gz · Last modified: 2014/09/27 19:51 by pchampin

CNRS INSA de Lyon Université Lyon 1 Université Lyon 2 École centrale de Lyon