Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 300612
hal_authIdPerson_i : 1030795
Image document

Validation and Verification in Domain-Specific Modeling Method Engineering

Qin Ma , Monika Kaczmarek-Hess , Sybren De Kinderen
14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.119-133, ⟨10.1007/978-3-030-91279-6_9⟩
Conference papers hal-04323856v1
Image document

Towards Extending the Validation Possibilities of ADOxx with Alloy

Sybren De Kinderen , Qin Ma , Monika Kaczmarek-Hess
13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.138-152, ⟨10.1007/978-3-030-63479-7_10⟩
Conference papers hal-03434656v1
Image document

Towards Meta Model Provenance: A Goal-Driven Approach to Document the Provenance of Meta Models

Sybren De Kinderen , Monika Kaczmarek-Hess , Qin Ma , Iván S. Razo-Zapata
10th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2017, Leuven, Belgium. pp.49-64, ⟨10.1007/978-3-319-70241-4_4⟩
Conference papers hal-01765255v1
Image document

Using Grounded Theory for Domain Specific Modelling Language Design

Sybren De Kinderen
10th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2017, Leuven, Belgium. pp.34-48, ⟨10.1007/978-3-319-70241-4_3⟩
Conference papers hal-01765267v1