Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029993800> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2029993800 abstract "Authors suggest a resolution to validate metamodels using a formal description language and analyzer Alloy. A MDA meta-hierarchy divides a model into three layers. Therefore this approach is able to validate partial models using Alloy. Validating partial models reduce execution time. For an example of realistic validation, this paper shows application to the specification of an information control system modeling language and results of the validations for the specification." @default.
- W2029993800 created "2016-06-24" @default.
- W2029993800 creator A5036003946 @default.
- W2029993800 creator A5050252084 @default.
- W2029993800 date "2014-02-01" @default.
- W2029993800 modified "2023-10-16" @default.
- W2029993800 title "Realistic validation of specification for modeling language using Alloy" @default.
- W2029993800 cites W1973559034 @default.
- W2029993800 cites W2060440626 @default.
- W2029993800 cites W2081938064 @default.
- W2029993800 doi "https://doi.org/10.1109/apcase.2014.6924482" @default.
- W2029993800 hasPublicationYear "2014" @default.
- W2029993800 type Work @default.
- W2029993800 sameAs 2029993800 @default.
- W2029993800 citedByCount "0" @default.
- W2029993800 crossrefType "proceedings-article" @default.
- W2029993800 hasAuthorship W2029993800A5036003946 @default.
- W2029993800 hasAuthorship W2029993800A5050252084 @default.
- W2029993800 hasConcept C111498074 @default.
- W2029993800 hasConcept C116253237 @default.
- W2029993800 hasConcept C117222624 @default.
- W2029993800 hasConcept C119857082 @default.
- W2029993800 hasConcept C127413603 @default.
- W2029993800 hasConcept C146072743 @default.
- W2029993800 hasConcept C158007255 @default.
- W2029993800 hasConcept C162324750 @default.
- W2029993800 hasConcept C179603123 @default.
- W2029993800 hasConcept C199360897 @default.
- W2029993800 hasConcept C200601418 @default.
- W2029993800 hasConcept C201677973 @default.
- W2029993800 hasConcept C2777904410 @default.
- W2029993800 hasConcept C31170391 @default.
- W2029993800 hasConcept C34447519 @default.
- W2029993800 hasConcept C41008148 @default.
- W2029993800 hasConcept C75606506 @default.
- W2029993800 hasConcept C76155785 @default.
- W2029993800 hasConcept C90069079 @default.
- W2029993800 hasConceptScore W2029993800C111498074 @default.
- W2029993800 hasConceptScore W2029993800C116253237 @default.
- W2029993800 hasConceptScore W2029993800C117222624 @default.
- W2029993800 hasConceptScore W2029993800C119857082 @default.
- W2029993800 hasConceptScore W2029993800C127413603 @default.
- W2029993800 hasConceptScore W2029993800C146072743 @default.
- W2029993800 hasConceptScore W2029993800C158007255 @default.
- W2029993800 hasConceptScore W2029993800C162324750 @default.
- W2029993800 hasConceptScore W2029993800C179603123 @default.
- W2029993800 hasConceptScore W2029993800C199360897 @default.
- W2029993800 hasConceptScore W2029993800C200601418 @default.
- W2029993800 hasConceptScore W2029993800C201677973 @default.
- W2029993800 hasConceptScore W2029993800C2777904410 @default.
- W2029993800 hasConceptScore W2029993800C31170391 @default.
- W2029993800 hasConceptScore W2029993800C34447519 @default.
- W2029993800 hasConceptScore W2029993800C41008148 @default.
- W2029993800 hasConceptScore W2029993800C75606506 @default.
- W2029993800 hasConceptScore W2029993800C76155785 @default.
- W2029993800 hasConceptScore W2029993800C90069079 @default.
- W2029993800 hasLocation W20299938001 @default.
- W2029993800 hasOpenAccess W2029993800 @default.
- W2029993800 hasPrimaryLocation W20299938001 @default.
- W2029993800 hasRelatedWork W1520778375 @default.
- W2029993800 hasRelatedWork W1536552036 @default.
- W2029993800 hasRelatedWork W1898698229 @default.
- W2029993800 hasRelatedWork W1970089229 @default.
- W2029993800 hasRelatedWork W2129197103 @default.
- W2029993800 hasRelatedWork W2156223462 @default.
- W2029993800 hasRelatedWork W2368560475 @default.
- W2029993800 hasRelatedWork W2576260943 @default.
- W2029993800 hasRelatedWork W2897842245 @default.
- W2029993800 hasRelatedWork W2752133100 @default.
- W2029993800 isParatext "false" @default.
- W2029993800 isRetracted "false" @default.
- W2029993800 magId "2029993800" @default.
- W2029993800 workType "article" @default.