Matches in SemOpenAlex for { <https://semopenalex.org/work/W1878251330> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1878251330 abstract "Developing high-integrity software requires the production of many interrelated collections of artifacts which must be kept up-to-date and in synchrony; traceability in particular must be captured to ensure coherence across the various development and verification phases.This paper proposes a new approach to the development of high-integrity systems, in which various artifacts (low-level requirements, modules, relationships among modules, test case obligations, etc.) are represented directly in the source code.Package specs in general, and Ada 2012 aspects in particular, are very well suited for expressing some of these artifacts, facilitating reuse and maintainability, and obtaining traceability automatically. Review activities are made more effective and efficient because the context of the reviewed artifact is in full view, and when something is modified it is easy to know which other artifacts need to be re-verified.The software architecture derived from the design activity consists in the definition of software components, their interfaces and their relationships. All those elements are well represented by Ada package specs and the clauses between packages. Low-level requirements, which define the detailed functionality, can in part be formally expressed through Ada 2012 contracts. Test cases associated with low-level requirements can then be described using Test_Case aspects. Test procedure skeletons can be automatically generated from the test cases." @default.
- W1878251330 created "2016-06-24" @default.
- W1878251330 creator A5004480154 @default.
- W1878251330 creator A5039952741 @default.
- W1878251330 creator A5041699165 @default.
- W1878251330 date "2012-01-01" @default.
- W1878251330 modified "2023-09-22" @default.
- W1878251330 title "Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012" @default.
- W1878251330 cites W1548465585 @default.
- W1878251330 cites W2116352900 @default.
- W1878251330 doi "https://doi.org/10.1007/978-3-642-30598-6_4" @default.
- W1878251330 hasPublicationYear "2012" @default.
- W1878251330 type Work @default.
- W1878251330 sameAs 1878251330 @default.
- W1878251330 citedByCount "4" @default.
- W1878251330 countsByYear W18782513302012 @default.
- W1878251330 countsByYear W18782513302014 @default.
- W1878251330 countsByYear W18782513302015 @default.
- W1878251330 countsByYear W18782513302018 @default.
- W1878251330 crossrefType "book-chapter" @default.
- W1878251330 hasAuthorship W1878251330A5004480154 @default.
- W1878251330 hasAuthorship W1878251330A5039952741 @default.
- W1878251330 hasAuthorship W1878251330A5041699165 @default.
- W1878251330 hasConcept C111919701 @default.
- W1878251330 hasConcept C115903868 @default.
- W1878251330 hasConcept C151730666 @default.
- W1878251330 hasConcept C153876917 @default.
- W1878251330 hasConcept C154945302 @default.
- W1878251330 hasConcept C160713754 @default.
- W1878251330 hasConcept C18903297 @default.
- W1878251330 hasConcept C199360897 @default.
- W1878251330 hasConcept C206588197 @default.
- W1878251330 hasConcept C26517878 @default.
- W1878251330 hasConcept C2777904410 @default.
- W1878251330 hasConcept C2779010991 @default.
- W1878251330 hasConcept C2779343474 @default.
- W1878251330 hasConcept C41008148 @default.
- W1878251330 hasConcept C43126263 @default.
- W1878251330 hasConcept C529173508 @default.
- W1878251330 hasConcept C86803240 @default.
- W1878251330 hasConceptScore W1878251330C111919701 @default.
- W1878251330 hasConceptScore W1878251330C115903868 @default.
- W1878251330 hasConceptScore W1878251330C151730666 @default.
- W1878251330 hasConceptScore W1878251330C153876917 @default.
- W1878251330 hasConceptScore W1878251330C154945302 @default.
- W1878251330 hasConceptScore W1878251330C160713754 @default.
- W1878251330 hasConceptScore W1878251330C18903297 @default.
- W1878251330 hasConceptScore W1878251330C199360897 @default.
- W1878251330 hasConceptScore W1878251330C206588197 @default.
- W1878251330 hasConceptScore W1878251330C26517878 @default.
- W1878251330 hasConceptScore W1878251330C2777904410 @default.
- W1878251330 hasConceptScore W1878251330C2779010991 @default.
- W1878251330 hasConceptScore W1878251330C2779343474 @default.
- W1878251330 hasConceptScore W1878251330C41008148 @default.
- W1878251330 hasConceptScore W1878251330C43126263 @default.
- W1878251330 hasConceptScore W1878251330C529173508 @default.
- W1878251330 hasConceptScore W1878251330C86803240 @default.
- W1878251330 hasLocation W18782513301 @default.
- W1878251330 hasOpenAccess W1878251330 @default.
- W1878251330 hasPrimaryLocation W18782513301 @default.
- W1878251330 hasRelatedWork W1497608720 @default.
- W1878251330 hasRelatedWork W1529566444 @default.
- W1878251330 hasRelatedWork W1963993498 @default.
- W1878251330 hasRelatedWork W1965636200 @default.
- W1878251330 hasRelatedWork W1991334006 @default.
- W1878251330 hasRelatedWork W2068971293 @default.
- W1878251330 hasRelatedWork W2127882556 @default.
- W1878251330 hasRelatedWork W2130002793 @default.
- W1878251330 hasRelatedWork W2138569181 @default.
- W1878251330 hasRelatedWork W2141208410 @default.
- W1878251330 hasRelatedWork W2167466281 @default.
- W1878251330 hasRelatedWork W2326093762 @default.
- W1878251330 hasRelatedWork W2430523138 @default.
- W1878251330 hasRelatedWork W2552539375 @default.
- W1878251330 hasRelatedWork W2766947446 @default.
- W1878251330 hasRelatedWork W2804169233 @default.
- W1878251330 hasRelatedWork W2886589485 @default.
- W1878251330 hasRelatedWork W3014599045 @default.
- W1878251330 hasRelatedWork W3171370315 @default.
- W1878251330 hasRelatedWork W1718455152 @default.
- W1878251330 isParatext "false" @default.
- W1878251330 isRetracted "false" @default.
- W1878251330 magId "1878251330" @default.
- W1878251330 workType "book-chapter" @default.