Matches in SemOpenAlex for { <https://semopenalex.org/work/W2053732185> ?p ?o ?g. }
- W2053732185 abstract "In an approach to software monitoring called Dynamic Monitoring with Integrity Constraints (DynaMICs), integrity constraints are used to monitor program behavior at runtime. The constraints capture domain knowledge, limitations imposed by the design, and assumptions made by programmers. This paper introduces Fast Tracing with Links using Integrity Constraints (FasTLInC), a component of DynaMICs, that manages integrity-constraint specifications, software artifacts, and program state information, permitting tracing of constraints and artifacts, specifically requirements and source code. Because DynaMICs verifies that a program behaves in accordance to constraints, the traceability provided by FasTLInC is significant since the monitor targets the detection of faults that result from ambiguity and changes in requirements, conflicts among requirements, and change in program use. The automated identification of bi-directional links between constraints and code eliminates the laborious task of managing links, which can be problematic because of the evolutionary nature of code." @default.
- W2053732185 created "2016-06-24" @default.
- W2053732185 creator A5032779885 @default.
- W2053732185 creator A5045009794 @default.
- W2053732185 date "2002-09-01" @default.
- W2053732185 modified "2023-09-27" @default.
- W2053732185 title "FasTLInC: a constraint-based tracing approach" @default.
- W2053732185 cites W1569267743 @default.
- W2053732185 cites W1569681735 @default.
- W2053732185 cites W1677622917 @default.
- W2053732185 cites W1785667371 @default.
- W2053732185 cites W1833755355 @default.
- W2053732185 cites W1875216594 @default.
- W2053732185 cites W1922800097 @default.
- W2053732185 cites W1925237104 @default.
- W2053732185 cites W1934050822 @default.
- W2053732185 cites W1965982049 @default.
- W2053732185 cites W1998167229 @default.
- W2053732185 cites W2003138832 @default.
- W2053732185 cites W2020859021 @default.
- W2053732185 cites W2045895677 @default.
- W2053732185 cites W2056124879 @default.
- W2053732185 cites W2098088616 @default.
- W2053732185 cites W2099294628 @default.
- W2053732185 cites W2100873739 @default.
- W2053732185 cites W2116433107 @default.
- W2053732185 cites W2124139662 @default.
- W2053732185 cites W2128610355 @default.
- W2053732185 cites W2129559874 @default.
- W2053732185 cites W2137829025 @default.
- W2053732185 cites W2139907081 @default.
- W2053732185 cites W2156348747 @default.
- W2053732185 cites W2159420337 @default.
- W2053732185 cites W2159765281 @default.
- W2053732185 cites W2166749190 @default.
- W2053732185 cites W2169214592 @default.
- W2053732185 cites W2498374655 @default.
- W2053732185 cites W2510526814 @default.
- W2053732185 cites W2991828236 @default.
- W2053732185 cites W56399265 @default.
- W2053732185 doi "https://doi.org/10.1016/s0164-1212(02)00017-1" @default.
- W2053732185 hasPublicationYear "2002" @default.
- W2053732185 type Work @default.
- W2053732185 sameAs 2053732185 @default.
- W2053732185 citedByCount "10" @default.
- W2053732185 crossrefType "journal-article" @default.
- W2053732185 hasAuthorship W2053732185A5032779885 @default.
- W2053732185 hasAuthorship W2053732185A5045009794 @default.
- W2053732185 hasConcept C115903868 @default.
- W2053732185 hasConcept C116834253 @default.
- W2053732185 hasConcept C120314980 @default.
- W2053732185 hasConcept C121332964 @default.
- W2053732185 hasConcept C127413603 @default.
- W2053732185 hasConcept C134306372 @default.
- W2053732185 hasConcept C138673069 @default.
- W2053732185 hasConcept C153876917 @default.
- W2053732185 hasConcept C168167062 @default.
- W2053732185 hasConcept C177264268 @default.
- W2053732185 hasConcept C199360897 @default.
- W2053732185 hasConcept C2776036281 @default.
- W2053732185 hasConcept C2776760102 @default.
- W2053732185 hasConcept C2777904410 @default.
- W2053732185 hasConcept C2780522230 @default.
- W2053732185 hasConcept C33923547 @default.
- W2053732185 hasConcept C36503486 @default.
- W2053732185 hasConcept C41008148 @default.
- W2053732185 hasConcept C43126263 @default.
- W2053732185 hasConcept C59822182 @default.
- W2053732185 hasConcept C78519656 @default.
- W2053732185 hasConcept C79403827 @default.
- W2053732185 hasConcept C86803240 @default.
- W2053732185 hasConcept C97355855 @default.
- W2053732185 hasConceptScore W2053732185C115903868 @default.
- W2053732185 hasConceptScore W2053732185C116834253 @default.
- W2053732185 hasConceptScore W2053732185C120314980 @default.
- W2053732185 hasConceptScore W2053732185C121332964 @default.
- W2053732185 hasConceptScore W2053732185C127413603 @default.
- W2053732185 hasConceptScore W2053732185C134306372 @default.
- W2053732185 hasConceptScore W2053732185C138673069 @default.
- W2053732185 hasConceptScore W2053732185C153876917 @default.
- W2053732185 hasConceptScore W2053732185C168167062 @default.
- W2053732185 hasConceptScore W2053732185C177264268 @default.
- W2053732185 hasConceptScore W2053732185C199360897 @default.
- W2053732185 hasConceptScore W2053732185C2776036281 @default.
- W2053732185 hasConceptScore W2053732185C2776760102 @default.
- W2053732185 hasConceptScore W2053732185C2777904410 @default.
- W2053732185 hasConceptScore W2053732185C2780522230 @default.
- W2053732185 hasConceptScore W2053732185C33923547 @default.
- W2053732185 hasConceptScore W2053732185C36503486 @default.
- W2053732185 hasConceptScore W2053732185C41008148 @default.
- W2053732185 hasConceptScore W2053732185C43126263 @default.
- W2053732185 hasConceptScore W2053732185C59822182 @default.
- W2053732185 hasConceptScore W2053732185C78519656 @default.
- W2053732185 hasConceptScore W2053732185C79403827 @default.
- W2053732185 hasConceptScore W2053732185C86803240 @default.
- W2053732185 hasConceptScore W2053732185C97355855 @default.
- W2053732185 hasLocation W20537321851 @default.
- W2053732185 hasOpenAccess W2053732185 @default.
- W2053732185 hasPrimaryLocation W20537321851 @default.
- W2053732185 hasRelatedWork W1535143650 @default.