Matches in SemOpenAlex for { <https://semopenalex.org/work/W2337422568> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2337422568 abstract "Abstract : Formal software verification methods and tools have made significant progress in their ability to model software designs and prove correctness theorems about the systems modeled. General adoption of these techniques has had limited penetration in the software development community. Two interrelated causes may account for barriers to adoption. First, many tools prove properties about models of the system as opposed to the actual implementation. Software engineers ultimately need to produce performant software implementations and therefore they are primarily concerned with properties of their implementations. Second, while it is crucial that formal derivation processes do not introduce deviations from the specification (or vulnerabilities) a domain independent requirement engineers also need to verify application and domain specific properties in building their implementations. The SITAPS (Specification Improvement Through Analysis of Proof Structure) project described in this report explores techniques that can be used to obtain greater domain and application specific assurances." @default.
- W2337422568 created "2016-06-24" @default.
- W2337422568 creator A5037670647 @default.
- W2337422568 creator A5077871820 @default.
- W2337422568 creator A5081012781 @default.
- W2337422568 date "2016-02-01" @default.
- W2337422568 modified "2023-09-23" @default.
- W2337422568 title "Specification Improvement Through Analysis of Proof Structure (SITAPS): High Assurance Software Development" @default.
- W2337422568 doi "https://doi.org/10.21236/ad1004400" @default.
- W2337422568 hasPublicationYear "2016" @default.
- W2337422568 type Work @default.
- W2337422568 sameAs 2337422568 @default.
- W2337422568 citedByCount "0" @default.
- W2337422568 crossrefType "report" @default.
- W2337422568 hasAuthorship W2337422568A5037670647 @default.
- W2337422568 hasAuthorship W2337422568A5077871820 @default.
- W2337422568 hasAuthorship W2337422568A5081012781 @default.
- W2337422568 hasConcept C115903868 @default.
- W2337422568 hasConcept C116253237 @default.
- W2337422568 hasConcept C134306372 @default.
- W2337422568 hasConcept C15708719 @default.
- W2337422568 hasConcept C186846655 @default.
- W2337422568 hasConcept C199360897 @default.
- W2337422568 hasConcept C26713055 @default.
- W2337422568 hasConcept C2777904410 @default.
- W2337422568 hasConcept C2983609787 @default.
- W2337422568 hasConcept C33923547 @default.
- W2337422568 hasConcept C36503486 @default.
- W2337422568 hasConcept C41008148 @default.
- W2337422568 hasConcept C529173508 @default.
- W2337422568 hasConcept C55439883 @default.
- W2337422568 hasConcept C75606506 @default.
- W2337422568 hasConceptScore W2337422568C115903868 @default.
- W2337422568 hasConceptScore W2337422568C116253237 @default.
- W2337422568 hasConceptScore W2337422568C134306372 @default.
- W2337422568 hasConceptScore W2337422568C15708719 @default.
- W2337422568 hasConceptScore W2337422568C186846655 @default.
- W2337422568 hasConceptScore W2337422568C199360897 @default.
- W2337422568 hasConceptScore W2337422568C26713055 @default.
- W2337422568 hasConceptScore W2337422568C2777904410 @default.
- W2337422568 hasConceptScore W2337422568C2983609787 @default.
- W2337422568 hasConceptScore W2337422568C33923547 @default.
- W2337422568 hasConceptScore W2337422568C36503486 @default.
- W2337422568 hasConceptScore W2337422568C41008148 @default.
- W2337422568 hasConceptScore W2337422568C529173508 @default.
- W2337422568 hasConceptScore W2337422568C55439883 @default.
- W2337422568 hasConceptScore W2337422568C75606506 @default.
- W2337422568 hasLocation W23374225681 @default.
- W2337422568 hasOpenAccess W2337422568 @default.
- W2337422568 hasPrimaryLocation W23374225681 @default.
- W2337422568 hasRelatedWork W1559208640 @default.
- W2337422568 hasRelatedWork W2004593718 @default.
- W2337422568 hasRelatedWork W2009247720 @default.
- W2337422568 hasRelatedWork W2046659579 @default.
- W2337422568 hasRelatedWork W2058647323 @default.
- W2337422568 hasRelatedWork W2066309137 @default.
- W2337422568 hasRelatedWork W2068341588 @default.
- W2337422568 hasRelatedWork W2096723421 @default.
- W2337422568 hasRelatedWork W2105657528 @default.
- W2337422568 hasRelatedWork W2125234193 @default.
- W2337422568 hasRelatedWork W2154029657 @default.
- W2337422568 hasRelatedWork W2165020213 @default.
- W2337422568 hasRelatedWork W2184708610 @default.
- W2337422568 hasRelatedWork W2228102082 @default.
- W2337422568 hasRelatedWork W2531950667 @default.
- W2337422568 hasRelatedWork W2568682797 @default.
- W2337422568 hasRelatedWork W2973175894 @default.
- W2337422568 hasRelatedWork W3005625139 @default.
- W2337422568 hasRelatedWork W3143437374 @default.
- W2337422568 hasRelatedWork W2146501388 @default.
- W2337422568 isParatext "false" @default.
- W2337422568 isRetracted "false" @default.
- W2337422568 magId "2337422568" @default.
- W2337422568 workType "report" @default.