Matches in SemOpenAlex for { <https://semopenalex.org/work/W332495235> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W332495235 abstract "We present techniques of software specification of Ada* software based on the Anna specification language and examples of Ada packages formally specified in Anna. A package specification for an abstract set type is used to illustrate the techniques and pitfalls involved in the process of software specification and development. This specification not only exemplifies good Anna style and specification approach, but has a secondary goal of teaching the reader how to use Anna and the associated set of Anna tools developed at Stanford University over the past six years. The technical report thus aims to give readers a new way of looking at the software design and development process, synthesizing fifteen years of research in the process. *Ada is a registered trademark of the U.S. Government (Ada Joint Program Office)" @default.
- W332495235 created "2016-06-24" @default.
- W332495235 creator A5044653885 @default.
- W332495235 creator A5063409384 @default.
- W332495235 date "1991-10-01" @default.
- W332495235 modified "2023-09-24" @default.
- W332495235 title "Anna Package Specification: Case Studies." @default.
- W332495235 doi "https://doi.org/10.21236/ada311117" @default.
- W332495235 hasPublicationYear "1991" @default.
- W332495235 type Work @default.
- W332495235 sameAs 332495235 @default.
- W332495235 citedByCount "0" @default.
- W332495235 crossrefType "report" @default.
- W332495235 hasAuthorship W332495235A5044653885 @default.
- W332495235 hasAuthorship W332495235A5063409384 @default.
- W332495235 hasConcept C102780508 @default.
- W332495235 hasConcept C115903868 @default.
- W332495235 hasConcept C116253237 @default.
- W332495235 hasConcept C199360897 @default.
- W332495235 hasConcept C201677973 @default.
- W332495235 hasConcept C2777904410 @default.
- W332495235 hasConcept C41008148 @default.
- W332495235 hasConcept C52913732 @default.
- W332495235 hasConcept C529173508 @default.
- W332495235 hasConcept C98045186 @default.
- W332495235 hasConceptScore W332495235C102780508 @default.
- W332495235 hasConceptScore W332495235C115903868 @default.
- W332495235 hasConceptScore W332495235C116253237 @default.
- W332495235 hasConceptScore W332495235C199360897 @default.
- W332495235 hasConceptScore W332495235C201677973 @default.
- W332495235 hasConceptScore W332495235C2777904410 @default.
- W332495235 hasConceptScore W332495235C41008148 @default.
- W332495235 hasConceptScore W332495235C52913732 @default.
- W332495235 hasConceptScore W332495235C529173508 @default.
- W332495235 hasConceptScore W332495235C98045186 @default.
- W332495235 hasLocation W3324952351 @default.
- W332495235 hasOpenAccess W332495235 @default.
- W332495235 hasPrimaryLocation W3324952351 @default.
- W332495235 hasRelatedWork W1533548554 @default.
- W332495235 hasRelatedWork W1542283089 @default.
- W332495235 hasRelatedWork W1593078723 @default.
- W332495235 hasRelatedWork W1598210853 @default.
- W332495235 hasRelatedWork W1606989725 @default.
- W332495235 hasRelatedWork W1751458928 @default.
- W332495235 hasRelatedWork W1887680235 @default.
- W332495235 hasRelatedWork W1981000154 @default.
- W332495235 hasRelatedWork W1986877922 @default.
- W332495235 hasRelatedWork W2031081412 @default.
- W332495235 hasRelatedWork W2142134719 @default.
- W332495235 hasRelatedWork W2167224497 @default.
- W332495235 hasRelatedWork W2361176363 @default.
- W332495235 hasRelatedWork W2545346455 @default.
- W332495235 hasRelatedWork W2602311773 @default.
- W332495235 hasRelatedWork W332825748 @default.
- W332495235 hasRelatedWork W345004612 @default.
- W332495235 hasRelatedWork W747134065 @default.
- W332495235 hasRelatedWork W794225219 @default.
- W332495235 hasRelatedWork W98481601 @default.
- W332495235 isParatext "false" @default.
- W332495235 isRetracted "false" @default.
- W332495235 magId "332495235" @default.
- W332495235 workType "report" @default.