-
- Downloads
Merge branch 'master' of https://gitlab.telecom-paristech.fr/mbe-tools/TTool into syscams
Showing
- build.txt 1 addition, 1 deletionbuild.txt
- doc/SysMLSec/fig/automaticgeneration.png 0 additions, 0 deletionsdoc/SysMLSec/fig/automaticgeneration.png
- doc/SysMLSec/fig/hsmact.svg 844 additions, 0 deletionsdoc/SysMLSec/fig/hsmact.svg
- doc/SysMLSec/fig/hsmarch.svg 2840 additions, 0 deletionsdoc/SysMLSec/fig/hsmarch.svg
- doc/SysMLSec/fig/hsmfunc.svg 891 additions, 0 deletionsdoc/SysMLSec/fig/hsmfunc.svg
- doc/SysMLSec/fig/hsmt1.svg 724 additions, 0 deletionsdoc/SysMLSec/fig/hsmt1.svg
- doc/SysMLSec/sysmlsec_documentation.tex 32 additions, 3 deletionsdoc/SysMLSec/sysmlsec_documentation.tex
- modeling/AVATAR/CoffeeMachine_Avatar.xml 2152 additions, 1894 deletionsmodeling/AVATAR/CoffeeMachine_Avatar.xml
- src/main/java/tmltranslator/toavatar/TML2Avatar.java 9 additions, 4 deletionssrc/main/java/tmltranslator/toavatar/TML2Avatar.java
- src/main/java/ui/GTURTLEModeling.java 2 additions, 1 deletionsrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/MainGUI.java 7 additions, 0 deletionssrc/main/java/ui/MainGUI.java
- src/main/java/ui/SecurityGeneration.java 13 additions, 0 deletionssrc/main/java/ui/SecurityGeneration.java
- src/main/java/ui/avatarrd/AvatarRDPanel.java 368 additions, 48 deletionssrc/main/java/ui/avatarrd/AvatarRDPanel.java
- src/main/java/ui/avatarrd/AvatarRDRequirement.java 258 additions, 55 deletionssrc/main/java/ui/avatarrd/AvatarRDRequirement.java
- src/main/java/ui/util/DefaultText.java 2 additions, 2 deletionssrc/main/java/ui/util/DefaultText.java
- src/main/java/ui/window/JDialogAvatarSignal.java 2 additions, 8 deletionssrc/main/java/ui/window/JDialogAvatarSignal.java
- src/main/java/ui/window/JDialogBase.java 4 additions, 0 deletionssrc/main/java/ui/window/JDialogBase.java
- src/main/java/ui/window/JDialogIDAndStereotype.java 205 additions, 0 deletionssrc/main/java/ui/window/JDialogIDAndStereotype.java
- src/main/java/ui/window/JDialogRequirementTable.java 21 additions, 9 deletionssrc/main/java/ui/window/JDialogRequirementTable.java
- src/main/java/ui/window/JFrameRequirementTable.java 1 addition, 1 deletionsrc/main/java/ui/window/JFrameRequirementTable.java
Loading
Please register or sign in to comment