Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154359059> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2154359059 abstract "The specification language COLD-1 is used in the formal specification of the FSM package, a specialized CAD package, that is used for shadow mask design within Philips. The case study shows that formal techniques can be used in an industrial context; in particular the language COLD-1 is a good vehicle for writing the specifications. In addition it is shown that an object-oriented style can be used within this wide spectrum language, without changing it." @default.
- W2154359059 created "2016-06-24" @default.
- W2154359059 creator A5027994121 @default.
- W2154359059 date "1991-01-01" @default.
- W2154359059 modified "2023-10-11" @default.
- W2154359059 title "Specification in COLD-1 of a CAD package for drawing shadow masks" @default.
- W2154359059 cites W1489435372 @default.
- W2154359059 doi "https://doi.org/10.1007/3540547428_45" @default.
- W2154359059 hasPublicationYear "1991" @default.
- W2154359059 type Work @default.
- W2154359059 sameAs 2154359059 @default.
- W2154359059 citedByCount "0" @default.
- W2154359059 crossrefType "book-chapter" @default.
- W2154359059 hasAuthorship W2154359059A5027994121 @default.
- W2154359059 hasConcept C116253237 @default.
- W2154359059 hasConcept C117797892 @default.
- W2154359059 hasConcept C127413603 @default.
- W2154359059 hasConcept C146072743 @default.
- W2154359059 hasConcept C151730666 @default.
- W2154359059 hasConcept C15744967 @default.
- W2154359059 hasConcept C194789388 @default.
- W2154359059 hasConcept C199360897 @default.
- W2154359059 hasConcept C199639397 @default.
- W2154359059 hasConcept C201677973 @default.
- W2154359059 hasConcept C2779343474 @default.
- W2154359059 hasConcept C41008148 @default.
- W2154359059 hasConcept C542102704 @default.
- W2154359059 hasConcept C86803240 @default.
- W2154359059 hasConceptScore W2154359059C116253237 @default.
- W2154359059 hasConceptScore W2154359059C117797892 @default.
- W2154359059 hasConceptScore W2154359059C127413603 @default.
- W2154359059 hasConceptScore W2154359059C146072743 @default.
- W2154359059 hasConceptScore W2154359059C151730666 @default.
- W2154359059 hasConceptScore W2154359059C15744967 @default.
- W2154359059 hasConceptScore W2154359059C194789388 @default.
- W2154359059 hasConceptScore W2154359059C199360897 @default.
- W2154359059 hasConceptScore W2154359059C199639397 @default.
- W2154359059 hasConceptScore W2154359059C201677973 @default.
- W2154359059 hasConceptScore W2154359059C2779343474 @default.
- W2154359059 hasConceptScore W2154359059C41008148 @default.
- W2154359059 hasConceptScore W2154359059C542102704 @default.
- W2154359059 hasConceptScore W2154359059C86803240 @default.
- W2154359059 hasLocation W21543590591 @default.
- W2154359059 hasOpenAccess W2154359059 @default.
- W2154359059 hasPrimaryLocation W21543590591 @default.
- W2154359059 hasRelatedWork W100634403 @default.
- W2154359059 hasRelatedWork W1528845003 @default.
- W2154359059 hasRelatedWork W1552111295 @default.
- W2154359059 hasRelatedWork W1559579193 @default.
- W2154359059 hasRelatedWork W1594979208 @default.
- W2154359059 hasRelatedWork W1638887518 @default.
- W2154359059 hasRelatedWork W1862533057 @default.
- W2154359059 hasRelatedWork W2027095886 @default.
- W2154359059 hasRelatedWork W2089702347 @default.
- W2154359059 hasRelatedWork W2103378296 @default.
- W2154359059 hasRelatedWork W2117008884 @default.
- W2154359059 hasRelatedWork W2123308486 @default.
- W2154359059 hasRelatedWork W2137095494 @default.
- W2154359059 hasRelatedWork W2159698722 @default.
- W2154359059 hasRelatedWork W2166768964 @default.
- W2154359059 hasRelatedWork W2474035837 @default.
- W2154359059 hasRelatedWork W30301041 @default.
- W2154359059 hasRelatedWork W1894706647 @default.
- W2154359059 hasRelatedWork W2358332202 @default.
- W2154359059 hasRelatedWork W2859467618 @default.
- W2154359059 isParatext "false" @default.
- W2154359059 isRetracted "false" @default.
- W2154359059 magId "2154359059" @default.
- W2154359059 workType "book-chapter" @default.