Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123256505> ?p ?o ?g. }
- W2123256505 endingPage "777" @default.
- W2123256505 startingPage "720" @default.
- W2123256505 abstract "In event-driven systems, separating the reactive part of software (i.e., event-driven control) from the non-reactive part is a common design practice. The reactive part is typically structured according to the states and transitions of a system, whereas the non-reactive part is typically structured according to the concepts of the application domain (e.g., the services provided by the system). In such systems, the non-reactive part of software stimulates the reactive part with event calls. Whenever the non-reactive part is modified (e.g., during evolution), the existing event calls may become invalid, new event calls may become necessary, and the two parts of software may become incompatible. Manually finding and repairing these types of defects is a time-consuming and error-prone maintenance task. In this article, we present a solution that combines source code model checking and aspect-oriented programming techniques, to reduce the time spent by developers and to automatically find defects, while performing the maintenance task mentioned above. In addition, we present controlled experiments showing that the solution can reduce the time by 75%, and enable the prevention of one defect per 140 lines of source code." @default.
- W2123256505 created "2016-06-24" @default.
- W2123256505 creator A5062899903 @default.
- W2123256505 creator A5065913689 @default.
- W2123256505 creator A5069055025 @default.
- W2123256505 creator A5079980695 @default.
- W2123256505 date "2009-03-18" @default.
- W2123256505 modified "2023-10-18" @default.
- W2123256505 title "Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems" @default.
- W2123256505 cites W1496503338 @default.
- W2123256505 cites W1546220007 @default.
- W2123256505 cites W1855341394 @default.
- W2123256505 cites W1964962870 @default.
- W2123256505 cites W1972064644 @default.
- W2123256505 cites W2015937909 @default.
- W2123256505 cites W2018118431 @default.
- W2123256505 cites W2020832201 @default.
- W2123256505 cites W2035015974 @default.
- W2123256505 cites W2062613080 @default.
- W2123256505 cites W2070869623 @default.
- W2123256505 cites W2075867419 @default.
- W2123256505 cites W2081567051 @default.
- W2123256505 cites W2082000355 @default.
- W2123256505 cites W2087484885 @default.
- W2123256505 cites W2092656858 @default.
- W2123256505 cites W2096039823 @default.
- W2123256505 cites W2099529102 @default.
- W2123256505 cites W2103714221 @default.
- W2123256505 cites W2111141292 @default.
- W2123256505 cites W2115248168 @default.
- W2123256505 cites W2116244845 @default.
- W2123256505 cites W2117153488 @default.
- W2123256505 cites W2128111779 @default.
- W2123256505 cites W2128466029 @default.
- W2123256505 cites W2129395888 @default.
- W2123256505 cites W2134429122 @default.
- W2123256505 cites W2135274583 @default.
- W2123256505 cites W2151046531 @default.
- W2123256505 cites W2153933075 @default.
- W2123256505 cites W2162126440 @default.
- W2123256505 cites W2163851162 @default.
- W2123256505 cites W3212170901 @default.
- W2123256505 cites W4213079124 @default.
- W2123256505 cites W4229772528 @default.
- W2123256505 cites W4231021522 @default.
- W2123256505 cites W4235545194 @default.
- W2123256505 cites W4235785239 @default.
- W2123256505 cites W4254691308 @default.
- W2123256505 cites W4253350893 @default.
- W2123256505 doi "https://doi.org/10.1007/s10664-009-9107-y" @default.
- W2123256505 hasPublicationYear "2009" @default.
- W2123256505 type Work @default.
- W2123256505 sameAs 2123256505 @default.
- W2123256505 citedByCount "8" @default.
- W2123256505 countsByYear W21232565052012 @default.
- W2123256505 countsByYear W21232565052013 @default.
- W2123256505 countsByYear W21232565052014 @default.
- W2123256505 countsByYear W21232565052018 @default.
- W2123256505 crossrefType "journal-article" @default.
- W2123256505 hasAuthorship W2123256505A5062899903 @default.
- W2123256505 hasAuthorship W2123256505A5065913689 @default.
- W2123256505 hasAuthorship W2123256505A5069055025 @default.
- W2123256505 hasAuthorship W2123256505A5079980695 @default.
- W2123256505 hasBestOaLocation W21232565051 @default.
- W2123256505 hasConcept C104317684 @default.
- W2123256505 hasConcept C115903868 @default.
- W2123256505 hasConcept C120314980 @default.
- W2123256505 hasConcept C121332964 @default.
- W2123256505 hasConcept C127413603 @default.
- W2123256505 hasConcept C134306372 @default.
- W2123256505 hasConcept C177264268 @default.
- W2123256505 hasConcept C185592680 @default.
- W2123256505 hasConcept C199360897 @default.
- W2123256505 hasConcept C199519371 @default.
- W2123256505 hasConcept C201995342 @default.
- W2123256505 hasConcept C204241405 @default.
- W2123256505 hasConcept C2776760102 @default.
- W2123256505 hasConcept C2777904410 @default.
- W2123256505 hasConcept C2779662365 @default.
- W2123256505 hasConcept C2780451532 @default.
- W2123256505 hasConcept C33923547 @default.
- W2123256505 hasConcept C36503486 @default.
- W2123256505 hasConcept C41008148 @default.
- W2123256505 hasConcept C43126263 @default.
- W2123256505 hasConcept C55493867 @default.
- W2123256505 hasConcept C62520636 @default.
- W2123256505 hasConceptScore W2123256505C104317684 @default.
- W2123256505 hasConceptScore W2123256505C115903868 @default.
- W2123256505 hasConceptScore W2123256505C120314980 @default.
- W2123256505 hasConceptScore W2123256505C121332964 @default.
- W2123256505 hasConceptScore W2123256505C127413603 @default.
- W2123256505 hasConceptScore W2123256505C134306372 @default.
- W2123256505 hasConceptScore W2123256505C177264268 @default.
- W2123256505 hasConceptScore W2123256505C185592680 @default.
- W2123256505 hasConceptScore W2123256505C199360897 @default.
- W2123256505 hasConceptScore W2123256505C199519371 @default.
- W2123256505 hasConceptScore W2123256505C201995342 @default.
- W2123256505 hasConceptScore W2123256505C204241405 @default.