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

Branches Tags

Name		Name	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