Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247164537> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4247164537 endingPage "78" @default.
- W4247164537 startingPage "75" @default.
- W4247164537 abstract "This paper presents an approach to writing specifications for parts of software systems. The main goal is to provide specifications sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information. The secondary goal is to include in the specification no more information than necessary to meet the first goal. The technique is illustrated by means of a variety of examples from a tutorial system." @default.
- W4247164537 created "2022-05-12" @default.
- W4247164537 creator A5081601500 @default.
- W4247164537 date "1983-01-01" @default.
- W4247164537 modified "2023-09-27" @default.
- W4247164537 title "A technique for software module specification with examples" @default.
- W4247164537 cites W2051283794 @default.
- W4247164537 cites W2160363852 @default.
- W4247164537 cites W2441059602 @default.
- W4247164537 doi "https://doi.org/10.1145/357980.358011" @default.
- W4247164537 hasPublicationYear "1983" @default.
- W4247164537 type Work @default.
- W4247164537 citedByCount "3" @default.
- W4247164537 countsByYear W42471645372020 @default.
- W4247164537 countsByYear W42471645372021 @default.
- W4247164537 crossrefType "journal-article" @default.
- W4247164537 hasAuthorship W4247164537A5081601500 @default.
- W4247164537 hasBestOaLocation W42471645371 @default.
- W4247164537 hasConcept C102780508 @default.
- W4247164537 hasConcept C115903868 @default.
- W4247164537 hasConcept C136197465 @default.
- W4247164537 hasConcept C149091818 @default.
- W4247164537 hasConcept C154945302 @default.
- W4247164537 hasConcept C186846655 @default.
- W4247164537 hasConcept C199360897 @default.
- W4247164537 hasConcept C2777904410 @default.
- W4247164537 hasConcept C41008148 @default.
- W4247164537 hasConceptScore W4247164537C102780508 @default.
- W4247164537 hasConceptScore W4247164537C115903868 @default.
- W4247164537 hasConceptScore W4247164537C136197465 @default.
- W4247164537 hasConceptScore W4247164537C149091818 @default.
- W4247164537 hasConceptScore W4247164537C154945302 @default.
- W4247164537 hasConceptScore W4247164537C186846655 @default.
- W4247164537 hasConceptScore W4247164537C199360897 @default.
- W4247164537 hasConceptScore W4247164537C2777904410 @default.
- W4247164537 hasConceptScore W4247164537C41008148 @default.
- W4247164537 hasIssue "1" @default.
- W4247164537 hasLocation W42471645371 @default.
- W4247164537 hasOpenAccess W4247164537 @default.
- W4247164537 hasPrimaryLocation W42471645371 @default.
- W4247164537 hasRelatedWork W189565116 @default.
- W4247164537 hasRelatedWork W2073974632 @default.
- W4247164537 hasRelatedWork W2116177699 @default.
- W4247164537 hasRelatedWork W2143813917 @default.
- W4247164537 hasRelatedWork W2358927215 @default.
- W4247164537 hasRelatedWork W2538960915 @default.
- W4247164537 hasRelatedWork W2942394028 @default.
- W4247164537 hasRelatedWork W4285340989 @default.
- W4247164537 hasRelatedWork W69722917 @default.
- W4247164537 hasRelatedWork W109480154 @default.
- W4247164537 hasVolume "26" @default.
- W4247164537 isParatext "false" @default.
- W4247164537 isRetracted "false" @default.
- W4247164537 workType "article" @default.