Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912543653> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2912543653 endingPage "50" @default.
- W2912543653 startingPage "45" @default.
- W2912543653 abstract "In translating Object Constraint Language (OCL) to Prototype Verification System (PVS) using model transformation technique, the problem is the absence of PVS metamodel. The PVS metamodel is crucial to the transformation because it defines the elements that may involves in it. This paper proposes a PVS metamodel. The metamodel is created based on the main language construct of PVS where each PVS language construct is represented by element in the metamodel. An example of how the metamodel is used in the transformation is also discussed." @default.
- W2912543653 created "2019-02-21" @default.
- W2912543653 creator A5085205453 @default.
- W2912543653 date "2009-02-21" @default.
- W2912543653 modified "2023-09-28" @default.
- W2912543653 title "PVS metamodel" @default.
- W2912543653 cites W1493267071 @default.
- W2912543653 cites W1602650507 @default.
- W2912543653 cites W1626513099 @default.
- W2912543653 cites W1981238429 @default.
- W2912543653 cites W1985804037 @default.
- W2912543653 cites W2054171588 @default.
- W2912543653 cites W2108434092 @default.
- W2912543653 cites W2142346010 @default.
- W2912543653 cites W90583330 @default.
- W2912543653 hasPublicationYear "2009" @default.
- W2912543653 type Work @default.
- W2912543653 sameAs 2912543653 @default.
- W2912543653 citedByCount "0" @default.
- W2912543653 crossrefType "proceedings-article" @default.
- W2912543653 hasAuthorship W2912543653A5085205453 @default.
- W2912543653 hasConcept C104317684 @default.
- W2912543653 hasConcept C115903868 @default.
- W2912543653 hasConcept C133264317 @default.
- W2912543653 hasConcept C145644426 @default.
- W2912543653 hasConcept C154945302 @default.
- W2912543653 hasConcept C185592680 @default.
- W2912543653 hasConcept C199360897 @default.
- W2912543653 hasConcept C204241405 @default.
- W2912543653 hasConcept C2776436953 @default.
- W2912543653 hasConcept C2777904410 @default.
- W2912543653 hasConcept C2779791154 @default.
- W2912543653 hasConcept C2780801425 @default.
- W2912543653 hasConcept C41008148 @default.
- W2912543653 hasConcept C41298492 @default.
- W2912543653 hasConcept C55493867 @default.
- W2912543653 hasConcept C86610423 @default.
- W2912543653 hasConceptScore W2912543653C104317684 @default.
- W2912543653 hasConceptScore W2912543653C115903868 @default.
- W2912543653 hasConceptScore W2912543653C133264317 @default.
- W2912543653 hasConceptScore W2912543653C145644426 @default.
- W2912543653 hasConceptScore W2912543653C154945302 @default.
- W2912543653 hasConceptScore W2912543653C185592680 @default.
- W2912543653 hasConceptScore W2912543653C199360897 @default.
- W2912543653 hasConceptScore W2912543653C204241405 @default.
- W2912543653 hasConceptScore W2912543653C2776436953 @default.
- W2912543653 hasConceptScore W2912543653C2777904410 @default.
- W2912543653 hasConceptScore W2912543653C2779791154 @default.
- W2912543653 hasConceptScore W2912543653C2780801425 @default.
- W2912543653 hasConceptScore W2912543653C41008148 @default.
- W2912543653 hasConceptScore W2912543653C41298492 @default.
- W2912543653 hasConceptScore W2912543653C55493867 @default.
- W2912543653 hasConceptScore W2912543653C86610423 @default.
- W2912543653 hasLocation W29125436531 @default.
- W2912543653 hasOpenAccess W2912543653 @default.
- W2912543653 hasPrimaryLocation W29125436531 @default.
- W2912543653 hasRelatedWork W1498165689 @default.
- W2912543653 hasRelatedWork W1589451152 @default.
- W2912543653 hasRelatedWork W1590970098 @default.
- W2912543653 hasRelatedWork W1607669578 @default.
- W2912543653 hasRelatedWork W1973267718 @default.
- W2912543653 hasRelatedWork W2005158433 @default.
- W2912543653 hasRelatedWork W2007218229 @default.
- W2912543653 hasRelatedWork W2095122565 @default.
- W2912543653 hasRelatedWork W2140527460 @default.
- W2912543653 hasRelatedWork W2147051989 @default.
- W2912543653 hasRelatedWork W2168532110 @default.
- W2912543653 hasRelatedWork W2171171876 @default.
- W2912543653 hasRelatedWork W2347712418 @default.
- W2912543653 hasRelatedWork W2395176086 @default.
- W2912543653 hasRelatedWork W2395296997 @default.
- W2912543653 hasRelatedWork W28331999 @default.
- W2912543653 hasRelatedWork W3214697314 @default.
- W2912543653 hasRelatedWork W752867082 @default.
- W2912543653 hasRelatedWork W2187384088 @default.
- W2912543653 hasRelatedWork W2615654011 @default.
- W2912543653 isParatext "false" @default.
- W2912543653 isRetracted "false" @default.
- W2912543653 magId "2912543653" @default.
- W2912543653 workType "article" @default.