Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489348736> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1489348736 abstract "VVSL is a VDM specification language of the ‘British School’ with modularisation constructs allowing sharing of hidden state variables and parameterisation constructs for structuring specifications, and with constructs for expressing temporal aspects of the concurrent execution of operations which interfere via state variables. VVSL was designed and is being used in the ESPRIT project 1283: VIP." @default.
- W1489348736 created "2016-06-24" @default.
- W1489348736 creator A5000183100 @default.
- W1489348736 date "1988-01-01" @default.
- W1489348736 modified "2023-09-23" @default.
- W1489348736 title "The VIP VDM Specification Language" @default.
- W1489348736 cites W1491593738 @default.
- W1489348736 cites W1567193470 @default.
- W1489348736 cites W1991364185 @default.
- W1489348736 cites W2030096232 @default.
- W1489348736 doi "https://doi.org/10.1007/3-540-50214-9_17" @default.
- W1489348736 hasPublicationYear "1988" @default.
- W1489348736 type Work @default.
- W1489348736 sameAs 1489348736 @default.
- W1489348736 citedByCount "6" @default.
- W1489348736 crossrefType "book-chapter" @default.
- W1489348736 hasAuthorship W1489348736A5000183100 @default.
- W1489348736 hasConcept C10138342 @default.
- W1489348736 hasConcept C115903868 @default.
- W1489348736 hasConcept C116253237 @default.
- W1489348736 hasConcept C119263510 @default.
- W1489348736 hasConcept C15077461 @default.
- W1489348736 hasConcept C162324750 @default.
- W1489348736 hasConcept C199360897 @default.
- W1489348736 hasConcept C201677973 @default.
- W1489348736 hasConcept C204321447 @default.
- W1489348736 hasConcept C25016198 @default.
- W1489348736 hasConcept C2775945657 @default.
- W1489348736 hasConcept C34165917 @default.
- W1489348736 hasConcept C41008148 @default.
- W1489348736 hasConcept C48103436 @default.
- W1489348736 hasConcept C50033165 @default.
- W1489348736 hasConcept C90069079 @default.
- W1489348736 hasConceptScore W1489348736C10138342 @default.
- W1489348736 hasConceptScore W1489348736C115903868 @default.
- W1489348736 hasConceptScore W1489348736C116253237 @default.
- W1489348736 hasConceptScore W1489348736C119263510 @default.
- W1489348736 hasConceptScore W1489348736C15077461 @default.
- W1489348736 hasConceptScore W1489348736C162324750 @default.
- W1489348736 hasConceptScore W1489348736C199360897 @default.
- W1489348736 hasConceptScore W1489348736C201677973 @default.
- W1489348736 hasConceptScore W1489348736C204321447 @default.
- W1489348736 hasConceptScore W1489348736C25016198 @default.
- W1489348736 hasConceptScore W1489348736C2775945657 @default.
- W1489348736 hasConceptScore W1489348736C34165917 @default.
- W1489348736 hasConceptScore W1489348736C41008148 @default.
- W1489348736 hasConceptScore W1489348736C48103436 @default.
- W1489348736 hasConceptScore W1489348736C50033165 @default.
- W1489348736 hasConceptScore W1489348736C90069079 @default.
- W1489348736 hasLocation W14893487361 @default.
- W1489348736 hasOpenAccess W1489348736 @default.
- W1489348736 hasPrimaryLocation W14893487361 @default.
- W1489348736 hasRelatedWork W1489435372 @default.
- W1489348736 hasRelatedWork W1559579193 @default.
- W1489348736 hasRelatedWork W1801366570 @default.
- W1489348736 hasRelatedWork W1970495662 @default.
- W1489348736 hasRelatedWork W197993722 @default.
- W1489348736 hasRelatedWork W2015436724 @default.
- W1489348736 hasRelatedWork W2016155076 @default.
- W1489348736 hasRelatedWork W2047524021 @default.
- W1489348736 hasRelatedWork W2050246738 @default.
- W1489348736 hasRelatedWork W2071749035 @default.
- W1489348736 hasRelatedWork W2112743169 @default.
- W1489348736 hasRelatedWork W2117886413 @default.
- W1489348736 hasRelatedWork W2160119094 @default.
- W1489348736 hasRelatedWork W2165346989 @default.
- W1489348736 hasRelatedWork W2537193390 @default.
- W1489348736 hasRelatedWork W2544881903 @default.
- W1489348736 hasRelatedWork W3086356972 @default.
- W1489348736 hasRelatedWork W3117927851 @default.
- W1489348736 hasRelatedWork W846211462 @default.
- W1489348736 hasRelatedWork W1510011834 @default.
- W1489348736 isParatext "false" @default.
- W1489348736 isRetracted "false" @default.
- W1489348736 magId "1489348736" @default.
- W1489348736 workType "book-chapter" @default.