Issues · mbe-tools / TTool · GitLab

Detecting livelocks

#254 · opened Mar 08, 2020 by Dominique Blouin AVATAR
- CLOSED
- 1
updated Jul 06, 2020
Test Sequences -> Test Description Language

#142 · opened Jul 05, 2018 by Dominique Blouin AVATAR
- CLOSED
- 1
updated Jul 06, 2020
Activity Diagrams / clicking on an activity to open another activity diagram

#121 · opened Apr 09, 2018 by Dominique Blouin AVATAR
- CLOSED
- 1
updated Jul 06, 2020
Syntax analysis of activity diagrams

#120 · opened Apr 09, 2018 by Dominique Blouin AVATAR
- CLOSED
- 1
updated Jul 06, 2020
Auto-ajustement de la taille des boites contenant les exigences

#268 · opened Jun 30, 2020 by Dominique Blouin
- CLOSED
- 1
updated Jul 01, 2020
svg capture does not work

#267 · opened Jun 22, 2020 by Daniela Genius Jun 28, 2020
- CLOSED
- 2
updated Jun 24, 2020
Error when using Internal Model Checker for Random Operators with variables

#266 · opened Jun 18, 2020 by Sagar shenoy MANIKAR
- CLOSED
- 4
updated Jun 23, 2020
Activate port when mouse is over an attached lock

#145 · opened Jul 18, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS SysML-Sec
- CLOSED
- 1
updated Jun 18, 2020
Asynchronous channel: semantics of non blocking channels

#198 · opened May 09, 2019 by Ludovic Apvrille
- CLOSED
- 1
updated Jun 18, 2020
Adding tests to NoC transformation

#207 · opened Jul 05, 2019 by Ludovic Apvrille DIPLODOCUS
- CLOSED
- 1
updated Jun 18, 2020
Adding Probability Distributions to Time intervals

#259 · opened May 27, 2020 by Sagar shenoy MANIKAR
- CLOSED
- 9
updated Jun 15, 2020
Adding different Probability Distributions to Random number generators

#260 · opened May 28, 2020 by Sagar shenoy MANIKAR
- CLOSED
- 11
updated Jun 15, 2020
Cannot setting value for Avatar Proprety inside requirement diagram

#265 · opened Jun 09, 2020 by Valentin BON
- CLOSED
- 2
updated Jun 09, 2020
Ask for the version of TTool

#212 · opened Jul 24, 2019 by Dominique Blouin AVATAR
- CLOSED
- 1
updated Jun 09, 2020
Error when saving a model with no tab

#237 · opened Nov 08, 2019 by Ludovic Apvrille AQUAS AVATAR DIPLODOCUS GUI
- CLOSED
- 2
updated Jun 09, 2020
Server continues to execute in server mode even if socket binding cannot occur

#262 · opened Jun 04, 2020 by Ludovic Apvrille AQUAS DIPLODOCUS
- CLOSED
- 3
updated Jun 05, 2020
Compilation error

#264 · opened Jun 05, 2020 by Andrea Enrici
- CLOSED
- 1
updated Jun 05, 2020
Problème de réouverture de fichier xml

#263 · opened Jun 04, 2020 by Dominique Blouin
- CLOSED
- 2
updated Jun 04, 2020
Diagramme de cas d'utilisation

#261 · opened Jun 03, 2020 by Dominique Blouin AVATAR
- CLOSED
- 1
updated Jun 04, 2020
Nom des hypothèses de modélisation

#256 · opened May 05, 2020 by Dominique Blouin AVATAR
- CLOSED
- 1
updated May 13, 2020

Prev
1
2
3
4
5
…
11
Next