Difference: GenteAreaProjects (7 vs. 8)

Revision 82003-06-04 - TWikiGuest

Line: 1 to 1
 
META TOPICPARENT name="SoftwareProductivityGroup"

Research Areas and Projects

Aspect-Oriented Programming, Separation of Concerns, Refactoring

Added:
>
>
We are defining an implementation method that separates data management, distribution, and concurrency control concerns using Aspect-Oriented Programming. In particular, we are using AspectJ to implement those concerns to a system implemented in Java. The method should help to achieve better software with higher productivity levels. We are also investigating how the implementation method definition affects analysis, design, and tests activities. Experiments are being performed to analyze the benefits and liabilities of AspectJ, the the implementation method, and some approaches to apply the method. For instance, we can use a progressive approach, where persistence, distribution, and concurrency control are not initially considered in the implementation activities, but are gradually introduced, preserving the system's functional requirements. This progressive approach helps to decrease the impact caused by requirements changes during development and also allows gradual test of the concerns.

  (Srgio, Ayla, Leonardo, Paulo vo definir o texto que vem aqui...)
    • Pim persistence, concurrency, distribution
    • Pim adaptability
Line: 23 to 27
  texto que vem aqui...)

Refactoring and Formal Methods

Changed:
<
<
(Rohit, Tiago, Paulo vo definir o texto que vem aqui...)
>
>
Alloy is a declarative object-oriented modeling language similar to UML, yet simpler and clearer. It is based on first-order logic and relational theory, and amenable for fully automatic analysis. Our goals are defining and proving transformation laws for Alloy models, applying to widely-adopted model transformations as used in Refactorings and MDA (Model-Driven Architecture). In addition, we are investigating the mapping of these model transformations to Java program transformations, assuring the adequate correspondence between abstract models and code.
 
    • COOP e DareCOOP
    • Manipulating Object Models
 
This site is powered by the TWiki collaboration platformCopyright © 2008-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort