Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007883414> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2007883414 endingPage "509" @default.
- W2007883414 startingPage "491" @default.
- W2007883414 abstract "ISO/IEC JTC1/SC24 are developing a standard for the presentation of multimedia objects, called Premo (Presentation Environments for Multimedia Objects). Premo is a multipart standard, the most well-defined parts of which, at the time of writing, are at the stage of Committee Draft. This paper describes how formal description techniques are being used in the development of the Premo standard, shadowing the development of the standard itself. The approach taken uses a combination of Z and Object-Z. The motivation and merits of this approach are discussed, and illustrated with a description of some fundamental concepts of the Premo object model." @default.
- W2007883414 created "2016-06-24" @default.
- W2007883414 creator A5003165248 @default.
- W2007883414 creator A5035972954 @default.
- W2007883414 creator A5060284388 @default.
- W2007883414 creator A5074352715 @default.
- W2007883414 creator A5091459619 @default.
- W2007883414 date "1995-09-01" @default.
- W2007883414 modified "2023-09-23" @default.
- W2007883414 title "Formal methods in the development of premo" @default.
- W2007883414 cites W1520563452 @default.
- W2007883414 cites W1532597100 @default.
- W2007883414 cites W1536956420 @default.
- W2007883414 cites W1577430184 @default.
- W2007883414 cites W1586929881 @default.
- W2007883414 cites W159949534 @default.
- W2007883414 cites W1964799081 @default.
- W2007883414 cites W2010604151 @default.
- W2007883414 cites W2021167986 @default.
- W2007883414 cites W2069187286 @default.
- W2007883414 cites W2086150272 @default.
- W2007883414 cites W2096683666 @default.
- W2007883414 cites W2100008021 @default.
- W2007883414 cites W2126175 @default.
- W2007883414 cites W2144973245 @default.
- W2007883414 cites W2160183520 @default.
- W2007883414 cites W2744648030 @default.
- W2007883414 cites W3046690921 @default.
- W2007883414 cites W75037854 @default.
- W2007883414 cites W2106563671 @default.
- W2007883414 doi "https://doi.org/10.1016/0920-5489(95)00023-n" @default.
- W2007883414 hasPublicationYear "1995" @default.
- W2007883414 type Work @default.
- W2007883414 sameAs 2007883414 @default.
- W2007883414 citedByCount "11" @default.
- W2007883414 countsByYear W20078834142020 @default.
- W2007883414 crossrefType "journal-article" @default.
- W2007883414 hasAuthorship W2007883414A5003165248 @default.
- W2007883414 hasAuthorship W2007883414A5035972954 @default.
- W2007883414 hasAuthorship W2007883414A5060284388 @default.
- W2007883414 hasAuthorship W2007883414A5074352715 @default.
- W2007883414 hasAuthorship W2007883414A5091459619 @default.
- W2007883414 hasBestOaLocation W20078834142 @default.
- W2007883414 hasConcept C115903868 @default.
- W2007883414 hasConcept C126838900 @default.
- W2007883414 hasConcept C134306372 @default.
- W2007883414 hasConcept C154945302 @default.
- W2007883414 hasConcept C199360897 @default.
- W2007883414 hasConcept C2776542497 @default.
- W2007883414 hasConcept C2776588390 @default.
- W2007883414 hasConcept C2777601897 @default.
- W2007883414 hasConcept C2781238097 @default.
- W2007883414 hasConcept C2985583900 @default.
- W2007883414 hasConcept C33923547 @default.
- W2007883414 hasConcept C41008148 @default.
- W2007883414 hasConcept C49774154 @default.
- W2007883414 hasConcept C71924100 @default.
- W2007883414 hasConcept C76155785 @default.
- W2007883414 hasConceptScore W2007883414C115903868 @default.
- W2007883414 hasConceptScore W2007883414C126838900 @default.
- W2007883414 hasConceptScore W2007883414C134306372 @default.
- W2007883414 hasConceptScore W2007883414C154945302 @default.
- W2007883414 hasConceptScore W2007883414C199360897 @default.
- W2007883414 hasConceptScore W2007883414C2776542497 @default.
- W2007883414 hasConceptScore W2007883414C2776588390 @default.
- W2007883414 hasConceptScore W2007883414C2777601897 @default.
- W2007883414 hasConceptScore W2007883414C2781238097 @default.
- W2007883414 hasConceptScore W2007883414C2985583900 @default.
- W2007883414 hasConceptScore W2007883414C33923547 @default.
- W2007883414 hasConceptScore W2007883414C41008148 @default.
- W2007883414 hasConceptScore W2007883414C49774154 @default.
- W2007883414 hasConceptScore W2007883414C71924100 @default.
- W2007883414 hasConceptScore W2007883414C76155785 @default.
- W2007883414 hasIssue "5-6" @default.
- W2007883414 hasLocation W20078834141 @default.
- W2007883414 hasLocation W20078834142 @default.
- W2007883414 hasOpenAccess W2007883414 @default.
- W2007883414 hasPrimaryLocation W20078834141 @default.
- W2007883414 hasRelatedWork W2030250808 @default.
- W2007883414 hasRelatedWork W2112962394 @default.
- W2007883414 hasRelatedWork W2118300983 @default.
- W2007883414 hasRelatedWork W2166247150 @default.
- W2007883414 hasRelatedWork W2355862304 @default.
- W2007883414 hasRelatedWork W2356108042 @default.
- W2007883414 hasRelatedWork W3137189469 @default.
- W2007883414 hasRelatedWork W4206466726 @default.
- W2007883414 hasRelatedWork W4235530921 @default.
- W2007883414 hasRelatedWork W4243252198 @default.
- W2007883414 hasVolume "17" @default.
- W2007883414 isParatext "false" @default.
- W2007883414 isRetracted "false" @default.
- W2007883414 magId "2007883414" @default.
- W2007883414 workType "article" @default.