FRINK Linked Data Fragments server

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

• W2105751017 abstract "AspectJ is an aspect-oriented extension of the Java language that enables a modular implementation of crosscutting concerns. Despite this, aspects lack support for formal specification and verification. This paper expresses the base class and some related aspects of AspectJ model in B notation. It aims to benefit from proof obligations generated by B tools to ensure the correctness of AspectJ component composition. Static crosscuts of aspects are guaranteed by proof obligations of relation clauses between B abstract machines and dynamic crosscuts are proved by proof obligations of B refinement machines. This approach is illustrated by verifying a simple example." @default.
• W2105751017 created "2016-06-24" @default.
• W2105751017 creator A5057308336 @default.
• W2105751017 creator A5060178000 @default.
• W2105751017 date "2007-12-01" @default.
• W2105751017 modified "2023-10-17" @default.
• W2105751017 title "Using B to Verify the Weaving of Aspects" @default.
• W2105751017 cites W1501674746 @default.
• W2105751017 cites W1536956420 @default.
• W2105751017 cites W1556500444 @default.
• W2105751017 cites W1559870885 @default.
• W2105751017 cites W1582375314 @default.
• W2105751017 cites W1582439588 @default.
• W2105751017 cites W1592957105 @default.
• W2105751017 cites W1799712052 @default.
• W2105751017 cites W1909182495 @default.
• W2105751017 cites W1978966756 @default.
• W2105751017 cites W2094160561 @default.
• W2105751017 cites W2095355321 @default.
• W2105751017 cites W2119426499 @default.
• W2105751017 cites W2137591753 @default.
• W2105751017 cites W2913459036 @default.
• W2105751017 doi "https://doi.org/10.1109/apsec.2007.99" @default.
• W2105751017 hasPublicationYear "2007" @default.
• W2105751017 type Work @default.
• W2105751017 sameAs 2105751017 @default.
• W2105751017 citedByCount "0" @default.
• W2105751017 crossrefType "proceedings-article" @default.
• W2105751017 hasAuthorship W2105751017A5057308336 @default.
• W2105751017 hasAuthorship W2105751017A5060178000 @default.
• W2105751017 hasConcept C101468663 @default.
• W2105751017 hasConcept C108710211 @default.
• W2105751017 hasConcept C111472728 @default.
• W2105751017 hasConcept C111498074 @default.
• W2105751017 hasConcept C115903868 @default.
• W2105751017 hasConcept C116253237 @default.
• W2105751017 hasConcept C121332964 @default.
• W2105751017 hasConcept C127413603 @default.
• W2105751017 hasConcept C138885662 @default.
• W2105751017 hasConcept C154945302 @default.
• W2105751017 hasConcept C168167062 @default.
• W2105751017 hasConcept C192698709 @default.
• W2105751017 hasConcept C199360897 @default.
• W2105751017 hasConcept C203265346 @default.
• W2105751017 hasConcept C2524010 @default.
• W2105751017 hasConcept C25343380 @default.
• W2105751017 hasConcept C2777212361 @default.
• W2105751017 hasConcept C2777904410 @default.
• W2105751017 hasConcept C2780586882 @default.
• W2105751017 hasConcept C33923547 @default.
• W2105751017 hasConcept C41008148 @default.
• W2105751017 hasConcept C45357846 @default.
• W2105751017 hasConcept C54525549 @default.
• W2105751017 hasConcept C548217200 @default.
• W2105751017 hasConcept C55439883 @default.
• W2105751017 hasConcept C60051680 @default.
• W2105751017 hasConcept C77088390 @default.
• W2105751017 hasConcept C78519656 @default.
• W2105751017 hasConcept C94375191 @default.
• W2105751017 hasConcept C97355855 @default.
• W2105751017 hasConceptScore W2105751017C101468663 @default.
• W2105751017 hasConceptScore W2105751017C108710211 @default.
• W2105751017 hasConceptScore W2105751017C111472728 @default.
• W2105751017 hasConceptScore W2105751017C111498074 @default.
• W2105751017 hasConceptScore W2105751017C115903868 @default.
• W2105751017 hasConceptScore W2105751017C116253237 @default.
• W2105751017 hasConceptScore W2105751017C121332964 @default.
• W2105751017 hasConceptScore W2105751017C127413603 @default.
• W2105751017 hasConceptScore W2105751017C138885662 @default.
• W2105751017 hasConceptScore W2105751017C154945302 @default.
• W2105751017 hasConceptScore W2105751017C168167062 @default.
• W2105751017 hasConceptScore W2105751017C192698709 @default.
• W2105751017 hasConceptScore W2105751017C199360897 @default.
• W2105751017 hasConceptScore W2105751017C203265346 @default.
• W2105751017 hasConceptScore W2105751017C2524010 @default.
• W2105751017 hasConceptScore W2105751017C25343380 @default.
• W2105751017 hasConceptScore W2105751017C2777212361 @default.
• W2105751017 hasConceptScore W2105751017C2777904410 @default.
• W2105751017 hasConceptScore W2105751017C2780586882 @default.
• W2105751017 hasConceptScore W2105751017C33923547 @default.
• W2105751017 hasConceptScore W2105751017C41008148 @default.
• W2105751017 hasConceptScore W2105751017C45357846 @default.
• W2105751017 hasConceptScore W2105751017C54525549 @default.
• W2105751017 hasConceptScore W2105751017C548217200 @default.
• W2105751017 hasConceptScore W2105751017C55439883 @default.
• W2105751017 hasConceptScore W2105751017C60051680 @default.
• W2105751017 hasConceptScore W2105751017C77088390 @default.
• W2105751017 hasConceptScore W2105751017C78519656 @default.
• W2105751017 hasConceptScore W2105751017C94375191 @default.
• W2105751017 hasConceptScore W2105751017C97355855 @default.
• W2105751017 hasLocation W21057510171 @default.
• W2105751017 hasOpenAccess W2105751017 @default.
• W2105751017 hasPrimaryLocation W21057510171 @default.
• W2105751017 hasRelatedWork W1526385399 @default.
• W2105751017 hasRelatedWork W164100725 @default.
• W2105751017 hasRelatedWork W2029486764 @default.
• W2105751017 hasRelatedWork W2099016869 @default.
• W2105751017 hasRelatedWork W2105751017 @default.
• W2105751017 hasRelatedWork W2112675037 @default.
• W2105751017 hasRelatedWork W2158557332 @default.

• next