FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2047276559> ?p ?o ?g. }

• W2047276559 endingPage "155" @default.
• W2047276559 startingPage "129" @default.
• W2047276559 abstract "We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is running correctly with respect to a formal requirements specification by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which does not provide formal guarantees about the correctness of the system. Use of formal requirement specifications in run-time monitoring and checking is the salient aspect of the MaC architecture. MaC is a lightweight formal method solution which works as a viable complement to the current heavyweight formal methods. In addition, analysis processes of the architecture including instrumentation of the target program, monitoring, and checking are performed fully automatically without human direction, which increases the accuracy of the analysis. Another important feature of the architecture is the clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors, which allows the reuse of a high-level requirement specification even when the target program implementation changes. Furthermore, this separation makes the architecture modular and allows the flexibility of incorporating third party tools into the architecture. The paper presents an overview of the MaC architecture and a prototype implementation Java-MaC." @default.
• W2047276559 created "2016-06-24" @default.
• W2047276559 creator A5030456600 @default.
• W2047276559 creator A5076715480 @default.
• W2047276559 creator A5076852218 @default.
• W2047276559 creator A5081305477 @default.
• W2047276559 creator A5082105260 @default.
• W2047276559 date "2004-03-01" @default.
• W2047276559 modified "2023-10-17" @default.
• W2047276559 title "Java-MaC: A Run-Time Assurance Approach for Java Programs" @default.
• W2047276559 cites W1506588809 @default.
• W2047276559 cites W1518604050 @default.
• W2047276559 cites W1559362703 @default.
• W2047276559 cites W1573344143 @default.
• W2047276559 cites W1577352907 @default.
• W2047276559 cites W1812518962 @default.
• W2047276559 cites W1944945674 @default.
• W2047276559 cites W1979344622 @default.
• W2047276559 cites W1998490923 @default.
• W2047276559 cites W2034717157 @default.
• W2047276559 cites W2111964583 @default.
• W2047276559 cites W2113560220 @default.
• W2047276559 cites W2116678681 @default.
• W2047276559 cites W2119965246 @default.
• W2047276559 cites W2135274583 @default.
• W2047276559 cites W2146636097 @default.
• W2047276559 cites W2157560459 @default.
• W2047276559 cites W2163228844 @default.
• W2047276559 cites W2171480813 @default.
• W2047276559 cites W2525216991 @default.
• W2047276559 cites W3169000564 @default.
• W2047276559 cites W54297347 @default.
• W2047276559 doi "https://doi.org/10.1023/b:form.0000017719.43755.7c" @default.
• W2047276559 hasPublicationYear "2004" @default.
• W2047276559 type Work @default.
• W2047276559 sameAs 2047276559 @default.
• W2047276559 citedByCount "201" @default.
• W2047276559 countsByYear W20472765592012 @default.
• W2047276559 countsByYear W20472765592013 @default.
• W2047276559 countsByYear W20472765592014 @default.
• W2047276559 countsByYear W20472765592015 @default.
• W2047276559 countsByYear W20472765592016 @default.
• W2047276559 countsByYear W20472765592017 @default.
• W2047276559 countsByYear W20472765592018 @default.
• W2047276559 countsByYear W20472765592019 @default.
• W2047276559 countsByYear W20472765592020 @default.
• W2047276559 countsByYear W20472765592021 @default.
• W2047276559 countsByYear W20472765592022 @default.
• W2047276559 countsByYear W20472765592023 @default.
• W2047276559 crossrefType "journal-article" @default.
• W2047276559 hasAuthorship W2047276559A5030456600 @default.
• W2047276559 hasAuthorship W2047276559A5076715480 @default.
• W2047276559 hasAuthorship W2047276559A5076852218 @default.
• W2047276559 hasAuthorship W2047276559A5081305477 @default.
• W2047276559 hasAuthorship W2047276559A5082105260 @default.
• W2047276559 hasBestOaLocation W20472765592 @default.
• W2047276559 hasConcept C101468663 @default.
• W2047276559 hasConcept C105795698 @default.
• W2047276559 hasConcept C110251889 @default.
• W2047276559 hasConcept C111498074 @default.
• W2047276559 hasConcept C111919701 @default.
• W2047276559 hasConcept C116253237 @default.
• W2047276559 hasConcept C123657996 @default.
• W2047276559 hasConcept C142362112 @default.
• W2047276559 hasConcept C149635348 @default.
• W2047276559 hasConcept C153349607 @default.
• W2047276559 hasConcept C199360897 @default.
• W2047276559 hasConcept C2780598303 @default.
• W2047276559 hasConcept C33923547 @default.
• W2047276559 hasConcept C41008148 @default.
• W2047276559 hasConcept C548217200 @default.
• W2047276559 hasConcept C55439883 @default.
• W2047276559 hasConcept C75606506 @default.
• W2047276559 hasConceptScore W2047276559C101468663 @default.
• W2047276559 hasConceptScore W2047276559C105795698 @default.
• W2047276559 hasConceptScore W2047276559C110251889 @default.
• W2047276559 hasConceptScore W2047276559C111498074 @default.
• W2047276559 hasConceptScore W2047276559C111919701 @default.
• W2047276559 hasConceptScore W2047276559C116253237 @default.
• W2047276559 hasConceptScore W2047276559C123657996 @default.
• W2047276559 hasConceptScore W2047276559C142362112 @default.
• W2047276559 hasConceptScore W2047276559C149635348 @default.
• W2047276559 hasConceptScore W2047276559C153349607 @default.
• W2047276559 hasConceptScore W2047276559C199360897 @default.
• W2047276559 hasConceptScore W2047276559C2780598303 @default.
• W2047276559 hasConceptScore W2047276559C33923547 @default.
• W2047276559 hasConceptScore W2047276559C41008148 @default.
• W2047276559 hasConceptScore W2047276559C548217200 @default.
• W2047276559 hasConceptScore W2047276559C55439883 @default.
• W2047276559 hasConceptScore W2047276559C75606506 @default.
• W2047276559 hasIssue "2" @default.
• W2047276559 hasLocation W20472765591 @default.
• W2047276559 hasLocation W20472765592 @default.
• W2047276559 hasLocation W20472765593 @default.
• W2047276559 hasOpenAccess W2047276559 @default.
• W2047276559 hasPrimaryLocation W20472765591 @default.
• W2047276559 hasRelatedWork W1518604050 @default.
• W2047276559 hasRelatedWork W1977144985 @default.

• next