9 citations found. Retrieving documents...
H. Klaeren, E. Pulvermueller, A. Rashid, and A. Speck. Aspect composition applying the design by contract principle. In Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE 2000.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Dynamic Aspect Composition Using Logic Metaprogramming - Dedecker   (Correct)

....mechanism needs to be able to compose di#erent aspects together [ATB00] This means e#ectively that if you take two aspects and you combine them together that you have a new aspect that is again reusable. Aspect Conflicts When di#erent aspects are composed together they can cause conflicts [PTC00, Pul00, PSDF01, BMD02]. In section 3.2 we discussed some of these issues in more detail. The composition mechanism needs to provide mechanisms to resolve or avoid conflicts in a declarative coding style and untangled from the aspect code. Visibility of Aspects To resolve conflicts, an aspect sometimes needs to be ....

E. Pulvermller. Aspect composition applying the design by contract principle. In Generative and Component-Based Software Engineering (GCSE), 2000.


Building Composable Aspect-specific Languages with Logic .. - Brichau, Mens, De Volder (2002)   (7 citations)  (Correct)

....9: Part of the aspect language module implementing the Order of Execution ASL. possible. However, we feel that the advantage is far more greater than the disadvantage because the combination of multiple aspects can raise many subtle and di#cult issues that should be tackled by the programmer [9, 19]. 5. COMPOSITION AND INTERACTION Combining multiple aspects in a single application can raise problems that do not exist when the aspects are considered in isolation. For example, in our conduit simulator, combining the logging aspect with the order of execution aspect poses some ....

....hide much of the implementation from the reuser. This is somewhat similar to what ASLs accomplish. But all combinations and interactions need to be expressed in general purpose terms and not in more intuitive, aspect specific terms. An approach to validate combinations of aspects is presented in [9]. Aspects are augmented with specifications that describe the mutual exclusiveness or dependencies with other aspects. This allows to detect or prevent some faulty combinations of aspects. The approach provides a conflictdetection mechanism, but does not discuss how conflicting aspects could be ....

H. Klaeren, E. Pulvermueller, A. Rashid, and A. Speck. Aspect composition applying the design by contract principle. In Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering, volume 2177 of LNCS, pages 57--69. Springer-Verlag, 2000.


Reasoning About a Classification of Crosscutting.. - Constantinides.. (2002)   (Correct)

.... by Contract (DBC) 19] Under this principle, a software system is viewed as a set of communicating components whose interaction is based on precisely defined specifications of some mutual obligations (contracts) The concept of deploying assertions and DBC in the context of AOP was discussed in [2, 3, 13]. DBC was introduced in the context of the Eiffel programming language, where a contract is hard wired in the class definition and it is inherited. Further, in iContract [14] assertions are propagated along inheritance and interface relationships. Separating contracts from the functional ....

Klaeren H., Pulvermller E., Rashid A. and Speck A., "Aspect Composition applying the Design by Contract Principle", Proceedings of 2nd International Symposium of Generative and Component-based Software Engineering (GCSE 2000), Springer, LNCS 2177, pp. 57-69.


Early Aspects: a Model for Aspect-Oriented Requirements.. - Awais Rashid Peter (2002)   (8 citations)  Self-citation (Rashid)   (Correct)

No context found.

H. Klaeren, E. Pulvermueller, A. Rashid, and A. Speck, "Aspect Composition Applying the Design by Contract Principle", 2nd International Symposium on Generative and Component-based Software Engineering (GCSE), 2000, Springer-Verlag, LNCS 2177, pp. 57-69.


Feature Modeling - Speck, Pulvermüller (2001)   Self-citation (Pulverm Speck)   (Correct)

No context found.

H. Klaeren, E. Pulvermuller, A. Rashid, and A. Speck. Aspect Composition applying the Design by Contract Principle. In Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering GCSE'2000, Erfurt, Germany, October 2000.


A Version Model for Aspect Dependency Management - Pulvermüller, Speck, Coplien   Self-citation (Pulvermuller Speck)   (Correct)

No context found.

H. Klaeren, E. Pulvermuller, A. Rashid, and A. Speck. Aspect Composition applying the Design by Contract Principle. In Proceedings of the GCSE'00, Second International Symposium on Generative and ComponentBased Software Engineering, LNCS, Erfurt, Germany, September 2000. Springer. to appear.


Identifying and Modeling Components in the SawMill Operating System - Wagner   Self-citation (Pulverm)   (Correct)

....con guration information for legacy code. Only preprocessor statements are analyzed, which is too coarse. Furthermore, the approach is not feasible to improve the structure design of a system. How to manage dependencies in the system and di erent versions is detailed in [Zel95, SP01, PSC 01b, KPRS00, PSC01a] OSKit [Gro01] contains a set of operating system servers, which can be used to built up quickly an operating system. It can be used to easily build test systems for system servers without spending a lot of time on implementing the needed infrastructure. Operating systems built from ....

....for instance be done by generating proper make les. It is also possible to make use of this information in other build tools like VESTA [HLMY01] Knowledge about the dependencies also enables a con guration management. This may for example be done by feature modeling [Zel95, SP01, PSC 01b, KPRS00, PSC01a] Up to now, SawMill uses CVS for con guration management. Another version control management system like CLEARCASE or VESTA [HLMY01] may help in evaluating the system. These tools provide more functionality and prevent inconsistencies. Furthermore, information about the dynamic ....

H. Klaeren, E. Pulvermuller, A. Rashid, and A. Speck. Aspect composition applying the design by contract principle. In Proceedings of the GCSE 2000, Second International Symposium on Generative and Component-Based Software Engineering, 2000, Oct 2000.


Motivation and Requirements for a Versatile AOP Kernel - Tanter, Noyé (2004)   (Correct)

No context found.

H. Klaeren, E. Pulvermueller, A. Rashid, and A. Speck. Aspect composition applying the design by contract principle. In Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE 2000.


Features and Feature Interactions in Software.. - Van Der Straeten.. (2001)   (1 citation)  (Correct)

No context found.

H. Klaeren, E. Pulvermueller, A. Rashid, and A. Speck. Aspect Composition applying the Design by Contract Principle. In Proceedings of the Net.ObjectDays2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC