Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238485427> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4238485427 endingPage "77" @default.
- W4238485427 startingPage "73" @default.
- W4238485427 abstract "The recognition of the important concepts which underlay the operation of real-time systems serves a double purpose in the task of specifying such systems. Experience with ordinary programming languages shows that a program is improved if the language embodies the concepts important to the application. So too with specifications: the correct conceptual framework not only helps the specifier to think coherently, but the formality of a language embodying these concepts allows deeper machine analysis of the specification. Some such concepts are isolated and defined within the SPECK specification technique. This specification language and the implementation of an interactive analyser for it are described, and the depth and limitations of the analysis discussed." @default.
- W4238485427 created "2022-05-12" @default.
- W4238485427 creator A5023952026 @default.
- W4238485427 date "1980-01-01" @default.
- W4238485427 modified "2023-09-25" @default.
- W4238485427 title "Real-time system specifications and their automatic analysis" @default.
- W4238485427 doi "https://doi.org/10.1016/0066-4138(80)90010-5" @default.
- W4238485427 hasPublicationYear "1980" @default.
- W4238485427 type Work @default.
- W4238485427 citedByCount "0" @default.
- W4238485427 crossrefType "journal-article" @default.
- W4238485427 hasAuthorship W4238485427A5023952026 @default.
- W4238485427 hasConcept C115903868 @default.
- W4238485427 hasConcept C121934690 @default.
- W4238485427 hasConcept C127413603 @default.
- W4238485427 hasConcept C138885662 @default.
- W4238485427 hasConcept C13944312 @default.
- W4238485427 hasConcept C153962237 @default.
- W4238485427 hasConcept C185592680 @default.
- W4238485427 hasConcept C199360897 @default.
- W4238485427 hasConcept C201677973 @default.
- W4238485427 hasConcept C201995342 @default.
- W4238485427 hasConcept C204321447 @default.
- W4238485427 hasConcept C26834552 @default.
- W4238485427 hasConcept C2777159308 @default.
- W4238485427 hasConcept C2777679929 @default.
- W4238485427 hasConcept C2780451532 @default.
- W4238485427 hasConcept C41008148 @default.
- W4238485427 hasConcept C41895202 @default.
- W4238485427 hasConcept C43617362 @default.
- W4238485427 hasConcept C60986609 @default.
- W4238485427 hasConcept C76155785 @default.
- W4238485427 hasConcept C84651959 @default.
- W4238485427 hasConceptScore W4238485427C115903868 @default.
- W4238485427 hasConceptScore W4238485427C121934690 @default.
- W4238485427 hasConceptScore W4238485427C127413603 @default.
- W4238485427 hasConceptScore W4238485427C138885662 @default.
- W4238485427 hasConceptScore W4238485427C13944312 @default.
- W4238485427 hasConceptScore W4238485427C153962237 @default.
- W4238485427 hasConceptScore W4238485427C185592680 @default.
- W4238485427 hasConceptScore W4238485427C199360897 @default.
- W4238485427 hasConceptScore W4238485427C201677973 @default.
- W4238485427 hasConceptScore W4238485427C201995342 @default.
- W4238485427 hasConceptScore W4238485427C204321447 @default.
- W4238485427 hasConceptScore W4238485427C26834552 @default.
- W4238485427 hasConceptScore W4238485427C2777159308 @default.
- W4238485427 hasConceptScore W4238485427C2777679929 @default.
- W4238485427 hasConceptScore W4238485427C2780451532 @default.
- W4238485427 hasConceptScore W4238485427C41008148 @default.
- W4238485427 hasConceptScore W4238485427C41895202 @default.
- W4238485427 hasConceptScore W4238485427C43617362 @default.
- W4238485427 hasConceptScore W4238485427C60986609 @default.
- W4238485427 hasConceptScore W4238485427C76155785 @default.
- W4238485427 hasConceptScore W4238485427C84651959 @default.
- W4238485427 hasLocation W42384854271 @default.
- W4238485427 hasOpenAccess W4238485427 @default.
- W4238485427 hasPrimaryLocation W42384854271 @default.
- W4238485427 hasRelatedWork W1583364777 @default.
- W4238485427 hasRelatedWork W1984757784 @default.
- W4238485427 hasRelatedWork W2047524021 @default.
- W4238485427 hasRelatedWork W2068163470 @default.
- W4238485427 hasRelatedWork W2112029416 @default.
- W4238485427 hasRelatedWork W2155008427 @default.
- W4238485427 hasRelatedWork W2257183258 @default.
- W4238485427 hasRelatedWork W3021869259 @default.
- W4238485427 hasRelatedWork W4245713008 @default.
- W4238485427 hasRelatedWork W9205283 @default.
- W4238485427 hasVolume "9" @default.
- W4238485427 isParatext "false" @default.
- W4238485427 isRetracted "false" @default.
- W4238485427 workType "article" @default.