On the interplay of exception handling and design by contract: an aspect-oriented recovery approach
Design by Contract (DbC) is a technique for developing and improving functional software
correctness through definition of" contracts" between client classes and their suppliers. Such …
correctness through definition of" contracts" between client classes and their suppliers. Such …
Quantifying the effects of aspectual decompositions on design by contract modularization: a maintenance study
Although it is assumed that the implementation of design by contract is better modularized
by means of aspect-oriented (AO) programming, there is no empirical evidence on the …
by means of aspect-oriented (AO) programming, there is no empirical evidence on the …
[PDF][PDF] Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study.
Although it is assumed that the implementation of design by contract is better modularized
by means of aspectoriented (AO) programming, there is no empirical evidence on the …
by means of aspectoriented (AO) programming, there is no empirical evidence on the …
An advice mechanism for non-local flow control
H Masuhara, K Fujita, T Aotani - … of the 15th International Conference on …, 2016 - dl.acm.org
We propose an advice mechanism called Chop&Graft for non-local flow control. It offers a
novel chop pointcut that lets a piece of advice terminate the current execution, and graft and …
novel chop pointcut that lets a piece of advice terminate the current execution, and graft and …
Contract modularity in design by contract languages
HEM Rebêlo - 2014 - repositorio.ufpe.br
Design by Contract (DbC) is a popular technique for developing programs using behavioral
specifications. In this context, researchers have found that the realization of DbC is …
specifications. In this context, researchers have found that the realization of DbC is …
[引用][C] Programación orientada a aspectos con objetos funcionales
J Juárez de Felipe, U Juárez Martínez… - 2017
[引用][C] Reducing Code Redundancy in Exception Handling with Aspect-Oriented Design
JA Lehmier - 2011