Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016408545> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2016408545 abstract "This paper presents a tutorial overview of special, a formal specification and assertion language created by SRI International as part of their hierarchical design methodology. The language is based on a formal model of system behavior and is supported by language processors that assist in the interactive development of specifications. special is a strongly typed language that models data and programs as abstract resources known as objects. Collections of modules known as abstract machines are the major building blocks of a software specification in special. The technical foundations of special and the components of a special specification are described. A sample specification is detailed in an appendix." @default.
- W2016408545 created "2016-06-24" @default.
- W2016408545 creator A5066593676 @default.
- W2016408545 creator A5069861269 @default.
- W2016408545 date "1981-02-01" @default.
- W2016408545 modified "2023-09-27" @default.
- W2016408545 title "Software specification using the special language" @default.
- W2016408545 cites W2134119432 @default.
- W2016408545 doi "https://doi.org/10.1016/0164-1212(81)90044-3" @default.
- W2016408545 hasPublicationYear "1981" @default.
- W2016408545 type Work @default.
- W2016408545 sameAs 2016408545 @default.
- W2016408545 citedByCount "0" @default.
- W2016408545 crossrefType "journal-article" @default.
- W2016408545 hasAuthorship W2016408545A5066593676 @default.
- W2016408545 hasAuthorship W2016408545A5069861269 @default.
- W2016408545 hasConcept C102780508 @default.
- W2016408545 hasConcept C115903868 @default.
- W2016408545 hasConcept C116253237 @default.
- W2016408545 hasConcept C119263510 @default.
- W2016408545 hasConcept C15077461 @default.
- W2016408545 hasConcept C186846655 @default.
- W2016408545 hasConcept C199360897 @default.
- W2016408545 hasConcept C201677973 @default.
- W2016408545 hasConcept C2777904410 @default.
- W2016408545 hasConcept C34165917 @default.
- W2016408545 hasConcept C40422974 @default.
- W2016408545 hasConcept C41008148 @default.
- W2016408545 hasConcept C50033165 @default.
- W2016408545 hasConcept C52913732 @default.
- W2016408545 hasConcept C529173508 @default.
- W2016408545 hasConcept C57371142 @default.
- W2016408545 hasConcept C75606506 @default.
- W2016408545 hasConcept C90069079 @default.
- W2016408545 hasConceptScore W2016408545C102780508 @default.
- W2016408545 hasConceptScore W2016408545C115903868 @default.
- W2016408545 hasConceptScore W2016408545C116253237 @default.
- W2016408545 hasConceptScore W2016408545C119263510 @default.
- W2016408545 hasConceptScore W2016408545C15077461 @default.
- W2016408545 hasConceptScore W2016408545C186846655 @default.
- W2016408545 hasConceptScore W2016408545C199360897 @default.
- W2016408545 hasConceptScore W2016408545C201677973 @default.
- W2016408545 hasConceptScore W2016408545C2777904410 @default.
- W2016408545 hasConceptScore W2016408545C34165917 @default.
- W2016408545 hasConceptScore W2016408545C40422974 @default.
- W2016408545 hasConceptScore W2016408545C41008148 @default.
- W2016408545 hasConceptScore W2016408545C50033165 @default.
- W2016408545 hasConceptScore W2016408545C52913732 @default.
- W2016408545 hasConceptScore W2016408545C529173508 @default.
- W2016408545 hasConceptScore W2016408545C57371142 @default.
- W2016408545 hasConceptScore W2016408545C75606506 @default.
- W2016408545 hasConceptScore W2016408545C90069079 @default.
- W2016408545 hasLocation W20164085451 @default.
- W2016408545 hasOpenAccess W2016408545 @default.
- W2016408545 hasPrimaryLocation W20164085451 @default.
- W2016408545 hasRelatedWork W1513626863 @default.
- W2016408545 hasRelatedWork W1539801470 @default.
- W2016408545 hasRelatedWork W1564851403 @default.
- W2016408545 hasRelatedWork W1578186471 @default.
- W2016408545 hasRelatedWork W1592887751 @default.
- W2016408545 hasRelatedWork W1638887518 @default.
- W2016408545 hasRelatedWork W1648468328 @default.
- W2016408545 hasRelatedWork W1877180621 @default.
- W2016408545 hasRelatedWork W2027095886 @default.
- W2016408545 hasRelatedWork W2081105739 @default.
- W2016408545 hasRelatedWork W2089702347 @default.
- W2016408545 hasRelatedWork W2098971106 @default.
- W2016408545 hasRelatedWork W2103390401 @default.
- W2016408545 hasRelatedWork W2117008884 @default.
- W2016408545 hasRelatedWork W2131921053 @default.
- W2016408545 hasRelatedWork W2132764576 @default.
- W2016408545 hasRelatedWork W2280145101 @default.
- W2016408545 hasRelatedWork W2371878291 @default.
- W2016408545 hasRelatedWork W2544881903 @default.
- W2016408545 hasRelatedWork W2793950847 @default.
- W2016408545 isParatext "false" @default.
- W2016408545 isRetracted "false" @default.
- W2016408545 magId "2016408545" @default.
- W2016408545 workType "article" @default.