Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040383321> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2040383321 endingPage "64" @default.
- W2040383321 startingPage "59" @default.
- W2040383321 abstract "The general aim of formal methods to program development is to provide correctness of the problem specification and then to transform that specification into a working program. Often a formal specification is expressed using the NIAM conceptual schema. If we consider only valid types of constraints and if we keep all the consistent schemas, we have 28 possible schemas and 7 sub -- schemas for each schema. The schemas and sub - schemas have very different complexities and there exists an intuitive order of these complexities which seems to be problematical. The aim of this paper is to verify this order using a complexity measure called α (information content/entropy metrics) and to define a new ranking functions generating more correct order." @default.
- W2040383321 created "2016-06-24" @default.
- W2040383321 creator A5021268380 @default.
- W2040383321 creator A5059150661 @default.
- W2040383321 date "2000-03-01" @default.
- W2040383321 modified "2023-09-25" @default.
- W2040383321 title "Ranking the complexity of NIAM conceptual schemas by alpha metric" @default.
- W2040383321 cites W1559870885 @default.
- W2040383321 cites W1981929789 @default.
- W2040383321 cites W2012934976 @default.
- W2040383321 doi "https://doi.org/10.1145/351159.351175" @default.
- W2040383321 hasPublicationYear "2000" @default.
- W2040383321 type Work @default.
- W2040383321 sameAs 2040383321 @default.
- W2040383321 citedByCount "1" @default.
- W2040383321 crossrefType "journal-article" @default.
- W2040383321 hasAuthorship W2040383321A5021268380 @default.
- W2040383321 hasAuthorship W2040383321A5059150661 @default.
- W2040383321 hasBestOaLocation W20403833211 @default.
- W2040383321 hasConcept C138496976 @default.
- W2040383321 hasConcept C15744967 @default.
- W2040383321 hasConcept C165611974 @default.
- W2040383321 hasConcept C199360897 @default.
- W2040383321 hasConcept C23123220 @default.
- W2040383321 hasConcept C29275276 @default.
- W2040383321 hasConcept C41008148 @default.
- W2040383321 hasConcept C52146309 @default.
- W2040383321 hasConcept C55439883 @default.
- W2040383321 hasConcept C80444323 @default.
- W2040383321 hasConceptScore W2040383321C138496976 @default.
- W2040383321 hasConceptScore W2040383321C15744967 @default.
- W2040383321 hasConceptScore W2040383321C165611974 @default.
- W2040383321 hasConceptScore W2040383321C199360897 @default.
- W2040383321 hasConceptScore W2040383321C23123220 @default.
- W2040383321 hasConceptScore W2040383321C29275276 @default.
- W2040383321 hasConceptScore W2040383321C41008148 @default.
- W2040383321 hasConceptScore W2040383321C52146309 @default.
- W2040383321 hasConceptScore W2040383321C55439883 @default.
- W2040383321 hasConceptScore W2040383321C80444323 @default.
- W2040383321 hasIssue "3" @default.
- W2040383321 hasLocation W20403833211 @default.
- W2040383321 hasOpenAccess W2040383321 @default.
- W2040383321 hasPrimaryLocation W20403833211 @default.
- W2040383321 hasRelatedWork W1521130755 @default.
- W2040383321 hasRelatedWork W1591175805 @default.
- W2040383321 hasRelatedWork W1687923734 @default.
- W2040383321 hasRelatedWork W186224583 @default.
- W2040383321 hasRelatedWork W1991816426 @default.
- W2040383321 hasRelatedWork W2009691504 @default.
- W2040383321 hasRelatedWork W2042554793 @default.
- W2040383321 hasRelatedWork W3042117911 @default.
- W2040383321 hasRelatedWork W4238823939 @default.
- W2040383321 hasRelatedWork W2789178056 @default.
- W2040383321 hasVolume "35" @default.
- W2040383321 isParatext "false" @default.
- W2040383321 isRetracted "false" @default.
- W2040383321 magId "2040383321" @default.
- W2040383321 workType "article" @default.