Matches in SemOpenAlex for { <https://semopenalex.org/work/W2066116303> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2066116303 abstract "Formal specification languages such as SPECIAL and Ina Jo were designed to be used with a variety of implementation languages. Our attempts to uae them with Ada are reviewed here. In order to develop a rational compliance document which shows how Ada code implements the formal specification it was necessary to bypass most of the structuring features of the specification language and to use just the latter's first order logical features to axiomatize Ada typing, etc . Our experience underlines the need for a new Ada based formal specification language." @default.
- W2066116303 created "2016-06-24" @default.
- W2066116303 creator A5009778869 @default.
- W2066116303 date "1984-04-01" @default.
- W2066116303 modified "2023-09-27" @default.
- W2066116303 title "The Use of Ada as an Implementation Language in Formally Specified Systems" @default.
- W2066116303 doi "https://doi.org/10.1109/sp.1984.10007" @default.
- W2066116303 hasPublicationYear "1984" @default.
- W2066116303 type Work @default.
- W2066116303 sameAs 2066116303 @default.
- W2066116303 citedByCount "0" @default.
- W2066116303 crossrefType "proceedings-article" @default.
- W2066116303 hasAuthorship W2066116303A5009778869 @default.
- W2066116303 hasConcept C10138342 @default.
- W2066116303 hasConcept C116253237 @default.
- W2066116303 hasConcept C119263510 @default.
- W2066116303 hasConcept C136197465 @default.
- W2066116303 hasConcept C146072743 @default.
- W2066116303 hasConcept C15077461 @default.
- W2066116303 hasConcept C154945302 @default.
- W2066116303 hasConcept C162324750 @default.
- W2066116303 hasConcept C185954173 @default.
- W2066116303 hasConcept C195324797 @default.
- W2066116303 hasConcept C199360897 @default.
- W2066116303 hasConcept C201677973 @default.
- W2066116303 hasConcept C204321447 @default.
- W2066116303 hasConcept C2775945657 @default.
- W2066116303 hasConcept C34165917 @default.
- W2066116303 hasConcept C41008148 @default.
- W2066116303 hasConcept C50033165 @default.
- W2066116303 hasConcept C75606506 @default.
- W2066116303 hasConcept C90069079 @default.
- W2066116303 hasConceptScore W2066116303C10138342 @default.
- W2066116303 hasConceptScore W2066116303C116253237 @default.
- W2066116303 hasConceptScore W2066116303C119263510 @default.
- W2066116303 hasConceptScore W2066116303C136197465 @default.
- W2066116303 hasConceptScore W2066116303C146072743 @default.
- W2066116303 hasConceptScore W2066116303C15077461 @default.
- W2066116303 hasConceptScore W2066116303C154945302 @default.
- W2066116303 hasConceptScore W2066116303C162324750 @default.
- W2066116303 hasConceptScore W2066116303C185954173 @default.
- W2066116303 hasConceptScore W2066116303C195324797 @default.
- W2066116303 hasConceptScore W2066116303C199360897 @default.
- W2066116303 hasConceptScore W2066116303C201677973 @default.
- W2066116303 hasConceptScore W2066116303C204321447 @default.
- W2066116303 hasConceptScore W2066116303C2775945657 @default.
- W2066116303 hasConceptScore W2066116303C34165917 @default.
- W2066116303 hasConceptScore W2066116303C41008148 @default.
- W2066116303 hasConceptScore W2066116303C50033165 @default.
- W2066116303 hasConceptScore W2066116303C75606506 @default.
- W2066116303 hasConceptScore W2066116303C90069079 @default.
- W2066116303 hasLocation W20661163031 @default.
- W2066116303 hasOpenAccess W2066116303 @default.
- W2066116303 hasPrimaryLocation W20661163031 @default.
- W2066116303 hasRelatedWork W1503319068 @default.
- W2066116303 hasRelatedWork W1592019618 @default.
- W2066116303 hasRelatedWork W1592887751 @default.
- W2066116303 hasRelatedWork W1801366570 @default.
- W2066116303 hasRelatedWork W1980295870 @default.
- W2066116303 hasRelatedWork W2020853051 @default.
- W2066116303 hasRelatedWork W2045204345 @default.
- W2066116303 hasRelatedWork W2080035707 @default.
- W2066116303 hasRelatedWork W2081105739 @default.
- W2066116303 hasRelatedWork W2084798700 @default.
- W2066116303 hasRelatedWork W2096803479 @default.
- W2066116303 hasRelatedWork W2099336730 @default.
- W2066116303 hasRelatedWork W2103390401 @default.
- W2066116303 hasRelatedWork W2120011042 @default.
- W2066116303 hasRelatedWork W2131921053 @default.
- W2066116303 hasRelatedWork W2150096337 @default.
- W2066116303 hasRelatedWork W2160119094 @default.
- W2066116303 hasRelatedWork W2162581636 @default.
- W2066116303 hasRelatedWork W2165238779 @default.
- W2066116303 hasRelatedWork W2280145101 @default.
- W2066116303 isParatext "false" @default.
- W2066116303 isRetracted "false" @default.
- W2066116303 magId "2066116303" @default.
- W2066116303 workType "article" @default.