Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048342580> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3048342580 abstract "This document starts the formalisation of the modelling language of the SOCCA OO method in the formal specification language Z. It captures the `static' aspects of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather than `dynamic' aspects (dealing with the instance level (objects in execution)). It is restricted to core SOCCA; proposed extensions are not formalised." @default.
- W3048342580 created "2020-08-13" @default.
- W3048342580 creator A5022823882 @default.
- W3048342580 creator A5025242377 @default.
- W3048342580 creator A5038169702 @default.
- W3048342580 creator A5045036409 @default.
- W3048342580 creator A5053247184 @default.
- W3048342580 creator A5087666129 @default.
- W3048342580 date "1999-01-01" @default.
- W3048342580 modified "2023-09-27" @default.
- W3048342580 title "A Formalisation of SOCCA using Z, part 1: The Type Level Concepts" @default.
- W3048342580 cites W1545230025 @default.
- W3048342580 cites W2002089154 @default.
- W3048342580 cites W2111915847 @default.
- W3048342580 cites W2144973245 @default.
- W3048342580 cites W2751199251 @default.
- W3048342580 cites W3004179370 @default.
- W3048342580 cites W2153087616 @default.
- W3048342580 hasPublicationYear "1999" @default.
- W3048342580 type Work @default.
- W3048342580 sameAs 3048342580 @default.
- W3048342580 citedByCount "0" @default.
- W3048342580 crossrefType "journal-article" @default.
- W3048342580 hasAuthorship W3048342580A5022823882 @default.
- W3048342580 hasAuthorship W3048342580A5025242377 @default.
- W3048342580 hasAuthorship W3048342580A5038169702 @default.
- W3048342580 hasAuthorship W3048342580A5045036409 @default.
- W3048342580 hasAuthorship W3048342580A5053247184 @default.
- W3048342580 hasAuthorship W3048342580A5087666129 @default.
- W3048342580 hasConcept C116253237 @default.
- W3048342580 hasConcept C15744967 @default.
- W3048342580 hasConcept C185954173 @default.
- W3048342580 hasConcept C18903297 @default.
- W3048342580 hasConcept C195324797 @default.
- W3048342580 hasConcept C199360897 @default.
- W3048342580 hasConcept C201677973 @default.
- W3048342580 hasConcept C204321447 @default.
- W3048342580 hasConcept C2777299769 @default.
- W3048342580 hasConcept C2780876879 @default.
- W3048342580 hasConcept C41008148 @default.
- W3048342580 hasConcept C542102704 @default.
- W3048342580 hasConcept C80444323 @default.
- W3048342580 hasConcept C86803240 @default.
- W3048342580 hasConceptScore W3048342580C116253237 @default.
- W3048342580 hasConceptScore W3048342580C15744967 @default.
- W3048342580 hasConceptScore W3048342580C185954173 @default.
- W3048342580 hasConceptScore W3048342580C18903297 @default.
- W3048342580 hasConceptScore W3048342580C195324797 @default.
- W3048342580 hasConceptScore W3048342580C199360897 @default.
- W3048342580 hasConceptScore W3048342580C201677973 @default.
- W3048342580 hasConceptScore W3048342580C204321447 @default.
- W3048342580 hasConceptScore W3048342580C2777299769 @default.
- W3048342580 hasConceptScore W3048342580C2780876879 @default.
- W3048342580 hasConceptScore W3048342580C41008148 @default.
- W3048342580 hasConceptScore W3048342580C542102704 @default.
- W3048342580 hasConceptScore W3048342580C80444323 @default.
- W3048342580 hasConceptScore W3048342580C86803240 @default.
- W3048342580 hasLocation W30483425801 @default.
- W3048342580 hasOpenAccess W3048342580 @default.
- W3048342580 hasPrimaryLocation W30483425801 @default.
- W3048342580 hasRelatedWork W1482299161 @default.
- W3048342580 hasRelatedWork W1483033785 @default.
- W3048342580 hasRelatedWork W1489388708 @default.
- W3048342580 hasRelatedWork W1512768679 @default.
- W3048342580 hasRelatedWork W1549521321 @default.
- W3048342580 hasRelatedWork W1557629507 @default.
- W3048342580 hasRelatedWork W1590879747 @default.
- W3048342580 hasRelatedWork W1596779761 @default.
- W3048342580 hasRelatedWork W1829416068 @default.
- W3048342580 hasRelatedWork W1914115695 @default.
- W3048342580 hasRelatedWork W1965307110 @default.
- W3048342580 hasRelatedWork W2002247992 @default.
- W3048342580 hasRelatedWork W2108741723 @default.
- W3048342580 hasRelatedWork W2135884234 @default.
- W3048342580 hasRelatedWork W2153633198 @default.
- W3048342580 hasRelatedWork W2170673304 @default.
- W3048342580 hasRelatedWork W2377967770 @default.
- W3048342580 hasRelatedWork W3005596432 @default.
- W3048342580 hasRelatedWork W3021477639 @default.
- W3048342580 hasRelatedWork W55986970 @default.
- W3048342580 isParatext "false" @default.
- W3048342580 isRetracted "false" @default.
- W3048342580 magId "3048342580" @default.
- W3048342580 workType "article" @default.