Matches in SemOpenAlex for { <https://semopenalex.org/work/W4249603026> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4249603026 endingPage "68" @default.
- W4249603026 startingPage "63" @default.
- W4249603026 abstract "ESPRESO is a recently developed specification system for process control software. It consists of a specification language and a software system which serves as a tool to check, manage, and evaluate specifications. The language was precisely defined by an Extended Attribute Grammar and by a mapping into a programming language. The definition turned out to be most valuable not only for the implementation of the tool but also for the improvement of the language itself. As a by-product of this work, a better understanding of the nature of a specification language was achieved." @default.
- W4249603026 created "2022-05-12" @default.
- W4249603026 creator A5008687879 @default.
- W4249603026 date "1981-01-01" @default.
- W4249603026 modified "2023-09-26" @default.
- W4249603026 title "Specification of a specification language" @default.
- W4249603026 doi "https://doi.org/10.1016/0066-4138(81)90010-0" @default.
- W4249603026 hasPublicationYear "1981" @default.
- W4249603026 type Work @default.
- W4249603026 citedByCount "0" @default.
- W4249603026 crossrefType "journal-article" @default.
- W4249603026 hasAuthorship W4249603026A5008687879 @default.
- W4249603026 hasBestOaLocation W42496030262 @default.
- W4249603026 hasConcept C102780508 @default.
- W4249603026 hasConcept C115903868 @default.
- W4249603026 hasConcept C116253237 @default.
- W4249603026 hasConcept C119263510 @default.
- W4249603026 hasConcept C138885662 @default.
- W4249603026 hasConcept C15077461 @default.
- W4249603026 hasConcept C177216440 @default.
- W4249603026 hasConcept C185954173 @default.
- W4249603026 hasConcept C186846655 @default.
- W4249603026 hasConcept C195324797 @default.
- W4249603026 hasConcept C199360897 @default.
- W4249603026 hasConcept C201677973 @default.
- W4249603026 hasConcept C201997060 @default.
- W4249603026 hasConcept C204321447 @default.
- W4249603026 hasConcept C26022165 @default.
- W4249603026 hasConcept C2777904410 @default.
- W4249603026 hasConcept C34165917 @default.
- W4249603026 hasConcept C41008148 @default.
- W4249603026 hasConcept C41895202 @default.
- W4249603026 hasConcept C50033165 @default.
- W4249603026 hasConcept C52913732 @default.
- W4249603026 hasConcept C529173508 @default.
- W4249603026 hasConcept C570499 @default.
- W4249603026 hasConcept C57371142 @default.
- W4249603026 hasConcept C89505385 @default.
- W4249603026 hasConcept C90069079 @default.
- W4249603026 hasConceptScore W4249603026C102780508 @default.
- W4249603026 hasConceptScore W4249603026C115903868 @default.
- W4249603026 hasConceptScore W4249603026C116253237 @default.
- W4249603026 hasConceptScore W4249603026C119263510 @default.
- W4249603026 hasConceptScore W4249603026C138885662 @default.
- W4249603026 hasConceptScore W4249603026C15077461 @default.
- W4249603026 hasConceptScore W4249603026C177216440 @default.
- W4249603026 hasConceptScore W4249603026C185954173 @default.
- W4249603026 hasConceptScore W4249603026C186846655 @default.
- W4249603026 hasConceptScore W4249603026C195324797 @default.
- W4249603026 hasConceptScore W4249603026C199360897 @default.
- W4249603026 hasConceptScore W4249603026C201677973 @default.
- W4249603026 hasConceptScore W4249603026C201997060 @default.
- W4249603026 hasConceptScore W4249603026C204321447 @default.
- W4249603026 hasConceptScore W4249603026C26022165 @default.
- W4249603026 hasConceptScore W4249603026C2777904410 @default.
- W4249603026 hasConceptScore W4249603026C34165917 @default.
- W4249603026 hasConceptScore W4249603026C41008148 @default.
- W4249603026 hasConceptScore W4249603026C41895202 @default.
- W4249603026 hasConceptScore W4249603026C50033165 @default.
- W4249603026 hasConceptScore W4249603026C52913732 @default.
- W4249603026 hasConceptScore W4249603026C529173508 @default.
- W4249603026 hasConceptScore W4249603026C570499 @default.
- W4249603026 hasConceptScore W4249603026C57371142 @default.
- W4249603026 hasConceptScore W4249603026C89505385 @default.
- W4249603026 hasConceptScore W4249603026C90069079 @default.
- W4249603026 hasLocation W42496030261 @default.
- W4249603026 hasLocation W42496030262 @default.
- W4249603026 hasOpenAccess W4249603026 @default.
- W4249603026 hasPrimaryLocation W42496030261 @default.
- W4249603026 hasRelatedWork W1881220596 @default.
- W4249603026 hasRelatedWork W2008516155 @default.
- W4249603026 hasRelatedWork W2018123953 @default.
- W4249603026 hasRelatedWork W2024253113 @default.
- W4249603026 hasRelatedWork W2047524021 @default.
- W4249603026 hasRelatedWork W2060087898 @default.
- W4249603026 hasRelatedWork W2220760899 @default.
- W4249603026 hasRelatedWork W2368560475 @default.
- W4249603026 hasRelatedWork W2898425611 @default.
- W4249603026 hasRelatedWork W794225219 @default.
- W4249603026 hasVolume "11" @default.
- W4249603026 isParatext "false" @default.
- W4249603026 isRetracted "false" @default.
- W4249603026 workType "article" @default.