User Tools

Site Tools


tools:ktbs

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
tools:ktbs [2015/07/16 18:07]
pchampin new team name
tools:ktbs [2019/09/15 15:24] (current)
pchampin
Line 2: Line 2:
 ====== kTBS ====== ====== kTBS ======
  
-This is the homepage of kTBS, a development effort of the he [[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.+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.
  
  
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 =====
  
-For more information on Trace-Based Systemssee the [[http://liris.cnrs.fr/equipes/?id=44&onglet=publis|publications of the SILEX team]].+Champin, Pierre-AntoineAlain 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]].
tools/ktbs.1437062873.txt.gz · Last modified: 2015/07/16 18:07 by pchampin

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