Matches in SemOpenAlex for { <https://semopenalex.org/work/W325129895> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W325129895 abstract "Abstract : There is considerable interest in the development of Ada-based, automated software tools to aid in the development and testing of embedded, real-time software. The Naval Postgraduate School has already implemented automated Ada metric tools at the request of the Naval Weapons Center, China Lake. This thesis is the preliminary work for a new automated software analysis tool entitled AdaFlow. This tool, which is written in Ada, takes Ada programs as input, and translates the source code to a Petri net model. This Petri net model provides the user with the capability to perform automated, interactive analysis of Ada programs for properties such as safety and deadlocks. Recommendations for future work in this area are included." @default.
- W325129895 created "2016-06-24" @default.
- W325129895 creator A5076950385 @default.
- W325129895 date "1988-06-01" @default.
- W325129895 modified "2023-09-26" @default.
- W325129895 title "Adaflow: The Automation of Software analysis using Petri nets" @default.
- W325129895 hasPublicationYear "1988" @default.
- W325129895 type Work @default.
- W325129895 sameAs 325129895 @default.
- W325129895 citedByCount "0" @default.
- W325129895 crossrefType "journal-article" @default.
- W325129895 hasAuthorship W325129895A5076950385 @default.
- W325129895 hasConcept C115901376 @default.
- W325129895 hasConcept C115903868 @default.
- W325129895 hasConcept C127413603 @default.
- W325129895 hasConcept C199360897 @default.
- W325129895 hasConcept C2777904410 @default.
- W325129895 hasConcept C38677869 @default.
- W325129895 hasConcept C41008148 @default.
- W325129895 hasConcept C529173508 @default.
- W325129895 hasConcept C78519656 @default.
- W325129895 hasConceptScore W325129895C115901376 @default.
- W325129895 hasConceptScore W325129895C115903868 @default.
- W325129895 hasConceptScore W325129895C127413603 @default.
- W325129895 hasConceptScore W325129895C199360897 @default.
- W325129895 hasConceptScore W325129895C2777904410 @default.
- W325129895 hasConceptScore W325129895C38677869 @default.
- W325129895 hasConceptScore W325129895C41008148 @default.
- W325129895 hasConceptScore W325129895C529173508 @default.
- W325129895 hasConceptScore W325129895C78519656 @default.
- W325129895 hasLocation W3251298951 @default.
- W325129895 hasOpenAccess W325129895 @default.
- W325129895 hasPrimaryLocation W3251298951 @default.
- W325129895 hasRelatedWork W1490368742 @default.
- W325129895 hasRelatedWork W1904005523 @default.
- W325129895 hasRelatedWork W1932250361 @default.
- W325129895 hasRelatedWork W1980806050 @default.
- W325129895 hasRelatedWork W2030655146 @default.
- W325129895 hasRelatedWork W2032897247 @default.
- W325129895 hasRelatedWork W2041481688 @default.
- W325129895 hasRelatedWork W2053363987 @default.
- W325129895 hasRelatedWork W2070764664 @default.
- W325129895 hasRelatedWork W2107006294 @default.
- W325129895 hasRelatedWork W2112317337 @default.
- W325129895 hasRelatedWork W2119669916 @default.
- W325129895 hasRelatedWork W2132194540 @default.
- W325129895 hasRelatedWork W2135642703 @default.
- W325129895 hasRelatedWork W2166404702 @default.
- W325129895 hasRelatedWork W2169730603 @default.
- W325129895 hasRelatedWork W2904522757 @default.
- W325129895 hasRelatedWork W753282428 @default.
- W325129895 hasRelatedWork W254108076 @default.
- W325129895 hasRelatedWork W310448129 @default.
- W325129895 isParatext "false" @default.
- W325129895 isRetracted "false" @default.
- W325129895 magId "325129895" @default.
- W325129895 workType "article" @default.