Projeto com o código e atividades de pesquisa do projeto MOX: uso de programação por restrições aplicadas à engenharia de software.

Name
Last commit
Last update
2015-SOSYM-MOX Loading commit data...
TAS-CLAR-4-MOX Loading commit data...
TAS-standalone-example Loading commit data...
org.lsis.insm.mox.common Loading commit data...
org.lsis.insm.mox.feature Loading commit data...
org.lsis.insm.mox.ms Loading commit data...
org.lsis.insm.mox.ms.feature Loading commit data...
org.lsis.insm.mox.ms.ocl.metamodel Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.common Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.ecore2msalloy Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.extractor Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.instance.schema Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.metamodel Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.model2alloy Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.model2alloy.freeze Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.msalloyinstance2model Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.oclmdtpivot2msalloy Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.solver Loading commit data...
org.lsis.insm.mox.ms.solvers.alloy.ui Loading commit data...
org.lsis.insm.mox.ms.tests Loading commit data...
org.lsis.insm.mox.ms.ui Loading commit data...
org.lsis.insm.mox.tas Loading commit data...
org.lsis.insm.mox.tas.tests Loading commit data...
org.lsis.insm.mox.tas.ui Loading commit data...
org.lsis.insm.mox.ui Loading commit data...
org.lsis.insm.mox.update-site Loading commit data...
org.lsis.insm.ms.solvers.alloy.feature Loading commit data...
org.lsis.insm.tas.feature Loading commit data...