项目作者: RemcodM

项目描述 :
Code and digital materials that belong to the master thesis 'A formalisation of EMF by expressing Ecore as GROOVE graphs'
高级语言: Isabelle
项目地址: git://github.com/RemcodM/thesis-ecore-groove-formalisation.git
创建时间: 2019-12-15T11:38:35Z
项目社区:https://github.com/RemcodM/thesis-ecore-groove-formalisation

开源协议:Academic Free License v3.0

下载


application_1647746728084.pdf
checklist_1647746728116.pdf
fstmodel_1647746728170.pdf
LEGO_logo_1647746728202.pdf
eenum_1647746728236.pdf
instance_model_example_1647746728256.pdf
type_model_example_1647746728342.pdf
class_instance_1647746728729.pdf
class_type_1647746728747.pdf
data_field_1647746728785.pdf
data_field_value_1647746728835.pdf
step0_1647746728862.pdf
step0to1_1647746728882.pdf
step1_1647746728912.pdf
step1to2_1647746728919.pdf
step2_1647746728942.pdf
step2to3_1647746728946.pdf
step3_1647746728964.pdf
step3to4_1647746728969.pdf
step4_1647746728991.pdf
step4to5_1647746729034.pdf
step5_1647746729039.pdf
step5to6_1647746729052.pdf
step6_1647746729055.pdf
step0_1647746729058.pdf
step0to1_1647746729071.pdf
step1_1647746729087.pdf
step1to2_1647746729090.pdf
step2_1647746729107.pdf
step2to3_1647746729109.pdf
step3_1647746729113.pdf
step3to4_1647746729116.pdf
step4_1647746729135.pdf
step4to5_1647746729160.pdf
step5_1647746729182.pdf
step5to6_1647746729185.pdf
step6_1647746729215.pdf
background_1647746729242.pdf
logo_1647746729321.pdf
side_1647746729375.pdf
thesis_1647746729597.pdf
instance_model_intro_1647746729861.pdf
type_model_intro_1647746729866.pdf
ecore_1647746729883.pdf
instance_model_example_1647746729934.pdf
invalid_lower_1647746729937.pdf
invalid_upper_1647746729996.pdf
type_model_1647746729999.pdf
valid_1647746730018.pdf
invalid_1647746730021.pdf
type_model_1647746730051.pdf
valid_1647746730067.pdf
invalid_abstract_1647746730070.pdf
invalid_identity_1647746730092.pdf
invalid_opposite_1647746730111.pdf
invalid_1647746730137.pdf
type_model_1647746730145.pdf
valid_1647746730169.pdf
type_model_example_1647746730193.pdf
eenum_1647746730196.pdf
chat_instance_combined_1647746730199.pdf
chat_instance_partial1_1647746730334.pdf
chat_instance_partial2_1647746730340.pdf
chat_combined_1647746730370.pdf
chat_partial1_1647746730389.pdf
chat_partial2_1647746730421.pdf
fieldsig_combine_tmod1_1647746730451.pdf
fieldsig_combine_tmod12_1647746730476.pdf
fieldsig_combine_tmod2_1647746730504.pdf
class_type_1647746730507.pdf
abstract_class_type_1647746730514.pdf
class_subtype_1647746730551.pdf
enum_type_1647746730561.pdf
userdatatype_type_1647746730571.pdf
data_field_1647746730618.pdf
enum_field_1647746730621.pdf
nullable_class_field_1647746730624.pdf
contained_class_set_field_1647746730664.pdf
class_instance_1647746730716.pdf
subclass_instance_1647746730719.pdf
data_field_value_1647746730743.pdf
enum_field_value_1647746730746.pdf
nullable_class_field_value_1647746730765.pdf
contained_class_set_field_value_1647746730786.pdf
step01_1647746730790.pdf
step02_1647746730792.pdf
step03_1647746730813.pdf
step04_1647746730875.pdf
step05_1647746730886.pdf
step06_1647746730908.pdf
step07_1647746730933.pdf
step08_1647746730955.pdf
step09_1647746730975.pdf
step10_1647746730998.pdf
step11_1647746731003.pdf
step12_1647746731085.pdf
step13_1647746731124.pdf
step14_1647746731162.pdf
step15_1647746731177.pdf
step01_1647746731203.pdf