Skip to content

gsdlab/clafermodelwikidata

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

61 Commits
ACCDemo
ACCDemo
 
 
ADAS-FT
ADAS-FT
 
 
BMM
BMM
 
 
Behavioral
Behavioral
 
 
ClaferTools
ClaferTools
 
 
ClaferToolsDemo
ClaferToolsDemo
 
 
ClaferToolsPLE
ClaferToolsPLE
 
 
EDM
EDM
 
 
EDMPoster
EDMPoster
 
 
ESC
ESC
 
 
GHC
GHC
 
 
Linux
Linux
 
 
MOO
MOO
 
 
NECSIS-Workshop
NECSIS-Workshop
 
 
Telematics
Telematics
 
 
Tutorial
Tutorial
 
 
eCos
eCos
 
 
ecore
ecore
 
 
oclBench
oclBench
 
 
standards
standards
 
 
templates
templates
 
 
umlcd
umlcd
 
 
AlloyModel-selector.png
AlloyModel-selector.png
 
 
Clafer Cheat Sheet.page
Clafer Cheat Sheet.page
 
 
ClaferWiki-Specific Help.page
ClaferWiki-Specific Help.page
 
 
ClaferWikiSpecificHelpDemonstration.png
ClaferWikiSpecificHelpDemonstration.png
 
 
FamiliesToPersons.page
FamiliesToPersons.page
 
 
Feature Modeling using Clafer.page
Feature Modeling using Clafer.page
 
 
Front Page.page
Front Page.page
 
 
Gitit User's Guide.page
Gitit User's Guide.page
 
 
Help.page
Help.page
 
 
ISAP Optimization.page
ISAP Optimization.page
 
 
Merchandise Financial Planning.page
Merchandise Financial Planning.page
 
 
Scotiabank Mortgages.page
Scotiabank Mortgages.page
 
 
TSAP Optimization.page
TSAP Optimization.page
 
 
allFunctionsOptional.png
allFunctionsOptional.png
 
 
cameraReplacementForRadar.png
cameraReplacementForRadar.png
 
 
communicationTopology.png
communicationTopology.png
 
 
desugaring.png
desugaring.png
 
 
deviceNodes.png
deviceNodes.png
 
 
fixed_FAA.PNG
fixed_FAA.PNG
 
 
graph5-sum.png
graph5-sum.png
 
 
graph5-xor.png
graph5-xor.png
 
 
graph5-xor0.png
graph5-xor0.png
 
 
graph5.png
graph5.png
 
 
graphReachability.page
graphReachability.page
 
 
inheritanceHierarchy.png
inheritanceHierarchy.png
 
 
multi-relation-composition.page
multi-relation-composition.page
 
 
multi-relation-composition2.page
multi-relation-composition2.page
 
 
next.png
next.png
 
 
test2.php.page
test2.php.page
 
 

About

wikidata of Clafer Model Wiki: http://t3-necsis.cs.uwaterloo.ca:8091/

Activity
Custom properties

Stars

0 stars

Watchers

4 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages