Difference: GenteAreaProjects (1 vs. 44)

Revision 442015-06-23 - GuilhermeCavalcanti

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

Research Areas and Projects

Line: 50 to 50
 

Experiments with Software Product Line Testing

Changed:
<
<

Detecting Conflicts with Semistructured Merge in Version Control Systems: A Replicated Experiment

>
>

Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment

  -- MarcioRibeiro - 2014-02-20 -- PaolaAccioly - 15 Feb 2012 -- SergioSoares - 07 Jun 2011 -- MarcioRibeiro - 12 Jan 2011 -- MarcioRibeiro - 21 Dec 2010 -- LeopoldoTeixeira - 29 Apr 2008 -- PauloBorba - 10 Apr 2007 -- EduardoAranha - 08 Aug 2005 -- SergioSoares - 28 Jul 2005

Revision 432015-04-17 - GuilhermeCavalcanti

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

Research Areas and Projects

Line: 50 to 50
 

Experiments with Software Product Line Testing

Added:
>
>

Detecting Conflicts with Semistructured Merge in Version Control Systems: A Replicated Experiment

 -- MarcioRibeiro - 2014-02-20 -- PaolaAccioly - 15 Feb 2012 -- SergioSoares - 07 Jun 2011 -- MarcioRibeiro - 12 Jan 2011 -- MarcioRibeiro - 21 Dec 2010 -- LeopoldoTeixeira - 29 Apr 2008 -- PauloBorba - 10 Apr 2007 -- EduardoAranha - 08 Aug 2005 -- SergioSoares - 28 Jul 2005

META FILEATTACHMENT attr="h" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"

Revision 422014-02-20 - MarcioRibeiro

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

Research Areas and Projects

Line: 6 to 6
 

Aspect-Oriented Programming, Separation of Concerns, Refactoring

Changed:
<
<
We are defining an implementation method that separates data management, distribution, and concurrency control concerns using Aspect-Oriented Programming. We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. Refactorings for AspectJ are also being considered here. We are also concerned to design experimental studies in order to evaluate the defined methods, tecniques, and approaches.
>
>
We are defining an implementation method that separates data management, distribution, and concurrency control concerns using Aspect-Oriented Programming. We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. Refactorings for AspectJ are also being considered here. We are also concerned to design experimental studies in order to evaluate the defined methods, tecniques, and approaches.
 

Aspect-Oriented Programming and Software Product Lines

Line: 19 to 16
  We are investigating processes, methods, techniques and tools for supporting empirical studies in software engineering. The main objective is to develop a infrastructure that support researchers to define, plan, execute, analyze and store results of empirical studies in general. At this moment we call such structure Testbed.

Deleted:
<
<
 

Refactoring and Generative Programming

Changed:
<
<
We are currently developing JaTS, a Java transformation system that supports user-defined program transformations. In this way, the user can define new refactorings and code generation templates using a declarative language for specifying the new transformations. An extension of JaTS for AspectJ is also being developed.
>
>
We are currently developing JaTS, a Java transformation system that supports user-defined program transformations. In this way, the user can define new refactorings and code generation templates using a declarative language for specifying the new transformations. An extension of JaTS for AspectJ is also being developed.
 

Refactoring and Formal Methods

Added:
>
>
  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.
Changed:
<
<
As part of the COOP project, we are also defining algebraic laws for a Java-like language and formally deriving refactorings from those laws.
>
>
As part of the COOP project, we are also defining algebraic laws for a Java-like language and formally deriving refactorings from those laws.
 

Software Estimation Models

Line: 43 to 34
 

Latin-America Research Network on Aspect-Oriented Software Development

Added:
>
>

Emergent Interfaces

 

Emergent Interfaces and Data-flow analysis for Software Product Lines

Features with Flexible Binding Times

Line: 57 to 50
 

Experiments with Software Product Line Testing

Changed:
<
<
-- PaolaAccioly - 15 Feb 2012 -- SergioSoares - 07 Jun 2011 -- MarcioRibeiro - 12 Jan 2011 -- MarcioRibeiro - 21 Dec 2010 -- LeopoldoTeixeira - 29 Apr 2008 -- PauloBorba - 10 Apr 2007 -- EduardoAranha - 08 Aug 2005 -- SergioSoares - 28 Jul 2005
>
>
-- MarcioRibeiro - 2014-02-20 -- PaolaAccioly - 15 Feb 2012 -- SergioSoares - 07 Jun 2011 -- MarcioRibeiro - 12 Jan 2011 -- MarcioRibeiro - 21 Dec 2010 -- LeopoldoTeixeira - 29 Apr 2008 -- PauloBorba - 10 Apr 2007 -- EduardoAranha - 08 Aug 2005 -- SergioSoares - 28 Jul 2005
 
META FILEATTACHMENT attr="h" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1059646322" name="GenteAreaProjetos.html" path="C:\Documents and Settings\Administrador\Meus documentos\UFPE\IC\GenteAreaProjetos.html" size="12035" user="MadsonCosta" version="1.1"

Revision 402012-02-15 - PaolaAccioly

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

Research Areas and Projects

Line: 55 to 55
  Testing is the dominant factor to the high cost of software enginneering. Test automation can reduce this cost and improve productivity.
Added:
>
>

Experiments with Software Product Line Testing

-- PaolaAccioly - 15 Feb 2012

 -- SergioSoares - 07 Jun 2011 -- MarcioRibeiro - 12 Jan 2011 -- MarcioRibeiro - 21 Dec 2010

Revision 392011-06-07 - SergioSoares

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

Research Areas and Projects

Line: 15 to 15
  We are investigating how to model variability in a product-line architecture using Aspect-Oriented Programming techniques. The model addresses both functional and non-functional requirements and complies with quality standards. In particular, our approach aims at providing a method to instantiate a particular product in the line with AOP techniques. Tool support will also be provided to automate the process.
Added:
>
>

Empirical Software Engineering

We are investigating processes, methods, techniques and tools for supporting empirical studies in software engineering. The main objective is to develop a infrastructure that support researchers to define, plan, execute, analyze and store results of empirical studies in general. At this moment we call such structure Testbed.

 

Refactoring and Generative Programming

We are currently developing JaTS, a Java transformation system

Line: 50 to 55
  Testing is the dominant factor to the high cost of software enginneering. Test automation can reduce this cost and improve productivity.
Added:
>
>
-- SergioSoares - 07 Jun 2011
 -- MarcioRibeiro - 12 Jan 2011 -- MarcioRibeiro - 21 Dec 2010 -- LeopoldoTeixeira - 29 Apr 2008

Revision 382011-01-12 - MarcioRibeiro

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

Research Areas and Projects

Line: 40 to 40
 

Emergent Interfaces and Data-flow analysis for Software Product Lines

Added:
>
>

Features with Flexible Binding Times

 

Program Analysis Research

This research area is concerned with the investigation of techniques and tools that use program analysis (e.g., model checking, static analysis, and testing) to improve productivity in software engineering.

Line: 48 to 50
  Testing is the dominant factor to the high cost of software enginneering. Test automation can reduce this cost and improve productivity.
Added:
>
>
-- MarcioRibeiro - 12 Jan 2011
 -- MarcioRibeiro - 21 Dec 2010 -- LeopoldoTeixeira - 29 Apr 2008 -- PauloBorba - 10 Apr 2007

Revision 372010-12-21 - MarcioRibeiro

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

Research Areas and Projects

Line: 38 to 38
 

Latin-America Research Network on Aspect-Oriented Software Development

Added:
>
>

Emergent Interfaces and Data-flow analysis for Software Product Lines

 

Program Analysis Research

This research area is concerned with the investigation of techniques and tools that use program analysis (e.g., model checking, static analysis, and testing) to improve productivity in software engineering.

Line: 46 to 48
  Testing is the dominant factor to the high cost of software enginneering. Test automation can reduce this cost and improve productivity.
Added:
>
>
-- MarcioRibeiro - 21 Dec 2010
 -- LeopoldoTeixeira - 29 Apr 2008 -- PauloBorba - 10 Apr 2007 -- EduardoAranha - 08 Aug 2005

Revision 362008-06-06 - MarceloDamorim

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

Research Areas and Projects

Line: 42 to 42
  This research area is concerned with the investigation of techniques and tools that use program analysis (e.g., model checking, static analysis, and testing) to improve productivity in software engineering.
Changed:
<
<
The focus of interest of our investigation is automated testing and debugging.
>
>
The focus of interest of our investigation is automated testing and debugging.
  Testing is the dominant factor to the high cost of software enginneering. Test automation can reduce this cost and improve productivity.

Revision 352008-06-06 - MarceloDamorim

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

Research Areas and Projects

Line: 38 to 38
 

Latin-America Research Network on Aspect-Oriented Software Development

Added:
>
>

Program Analysis Research

This research area is concerned with the investigation of techniques and tools that use program analysis (e.g., model checking, static analysis, and testing) to improve productivity in software engineering.

The focus of interest of our investigation is automated testing and debugging.

Testing is the dominant factor to the high cost of software enginneering. Test automation can reduce this cost and improve productivity.

  -- LeopoldoTeixeira - 29 Apr 2008 -- PauloBorba - 10 Apr 2007

Revision 342008-04-29 - LeopoldoTeixeira

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

Research Areas and Projects

Line: 36 to 36
  In addition, we are investigating historical data in order to find relationships of software metrics (complexity, test coverage, etc.) and defect information (defect density, escaped defect, defect distribution, etc.). We intend to create models to optimize test efforts and minimize the estimated defect density.
Added:
>
>

Latin-America Research Network on Aspect-Oriented Software Development

 
Added:
>
>
-- LeopoldoTeixeira - 29 Apr 2008 -- PauloBorba - 10 Apr 2007
 -- EduardoAranha - 08 Aug 2005 -- SergioSoares - 28 Jul 2005

Revision 332005-08-08 - EduardoAranha

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

Research Areas and Projects

Line: 30 to 30
  project, we are also defining algebraic laws for a Java-like language and formally deriving refactorings from those laws.

Added:
>
>

Software Estimation Models

In association with Motorola Brazil, we are investigating how to estimate the effort needed to execute and automate tests for cell phone using historical data, statistical models and simulation methods. We are also investigating how to estimate the capability of current teams for doing these test activities.

In addition, we are investigating historical data in order to find relationships of software metrics (complexity, test coverage, etc.) and defect information (defect density, escaped defect, defect distribution, etc.). We intend to create models to optimize test efforts and minimize the estimated defect density.

-- EduardoAranha - 08 Aug 2005

 -- SergioSoares - 28 Jul 2005

META FILEATTACHMENT attr="h" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"

Revision 322005-07-28 - TWikiGuest

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

Research Areas and Projects

Line: 6 to 6
 

Aspect-Oriented Programming, Separation of Concerns, Refactoring

Changed:
<
<
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.
>
>
We are defining an implementation method that separates data management, distribution, and concurrency control concerns using Aspect-Oriented Programming. We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. Refactorings for AspectJ are also being considered here. We are also concerned to design experimental studies in order to evaluate the defined methods, tecniques, and approaches.
 
Deleted:
<
<
We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. In this area we are developing experiments to compare pure object-oriented solutions to AspectJ solutions in relation to adaptability capacity, code and bytecode size, number of classes, modularity, etc.

Refactorings for AspectJ are also being considered here. Our approach uses basic behaviour preserving transformations from Java to AspectJ. From this basic transformations we can derive more complex refactorings. The basic transformations has pre-conditions to intuitivelly ensure the behaviour preserving property. We already proved some refactorings found in the literature. Also, we were able to refactor two applications, modularizing some of their crosscutting concerns. We are still working to provide some formalism as the basis for a soundness discution.

 

Aspect-Oriented Programming and Software Product Lines

Added:
>
>
  We are investigating how to model variability in a product-line architecture using Aspect-Oriented Programming techniques. The model addresses both functional and non-functional requirements and complies with quality standards. In particular, our approach aims at providing a method to instantiate a particular product in the line with AOP techniques. Tool support will also be provided to automate the process.
Line: 38 to 30
  project, we are also defining algebraic laws for a Java-like language and formally deriving refactorings from those laws.

Changed:
<
<
-- MadsonCosta - 31 Jul 2003
>
>
-- SergioSoares - 28 Jul 2005
 
META FILEATTACHMENT attr="h" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1059646322" name="GenteAreaProjetos.html" path="C:\Documents and Settings\Administrador\Meus documentos\UFPE\IC\GenteAreaProjetos.html" size="12035" user="MadsonCosta" version="1.1"

Revision 312005-07-14 - TWikiGuest

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

Research Areas and Projects

Revision 302004-06-15 - TWikiGuest

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

Research Areas and Projects

Line: 10 to 10
  We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. In this area we are developing experiments to compare pure object-oriented solutions to AspectJ solutions in relation to adaptability capacity, code and bytecode size, number of classes, modularity, etc.
Changed:
<
<
Refactorings for AspectJ is also being considered here.
>
>
Refactorings for AspectJ are also being considered here. Our approach uses basic behaviour preserving transformations from Java to AspectJ. From this basic transformations we can derive more complex refactorings. The basic transformations has pre-conditions to intuitivelly ensure the behaviour preserving property. We already proved some refactorings found in the literature. Also, we were able to refactor two applications, modularizing some of their crosscutting concerns. We are still working to provide some formalism as the basis for a soundness discution.
 

Aspect-Oriented Programming and Software Product Lines

We are investigating how to model variability in a product-line architecture using Aspect-Oriented Programming techniques. The model addresses both functional and non-functional requirements and complies with quality standards. In particular, our approach aims at providing a method to instantiate a particular product in the line with AOP techniques. Tool support will also be provided to automate the process.
Line: 32 to 39
  and formally deriving refactorings from those laws.

Changed:
<
<
-- MadsonCosta - 31 Jul 2003
>
>
-- MadsonCosta - 31 Jul 2003
 
META FILEATTACHMENT attr="h" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1059646322" name="GenteAreaProjetos.html" path="C:\Documents and Settings\Administrador\Meus documentos\UFPE\IC\GenteAreaProjetos.html" size="12035" user="MadsonCosta" version="1.1"

Revision 292003-11-05 - MadsonCosta

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

Research Areas and Projects

Revision 282003-10-25 - AlexandraBarros

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

Research Areas and Projects

Line: 16 to 16
  We are investigating how to model variability in a product-line architecture using Aspect-Oriented Programming techniques. The model addresses both functional and non-functional requirements and complies with quality standards. In particular, our approach aims at providing a method to instantiate a particular product in the line with AOP techniques. Tool support will also be provided to automate the process.
Changed:
<
<

Refactoring and Generative Programming

>
>

Refactoring and Generative Programming

  We are currently developing JaTS, a Java transformation system that supports user-defined program transformations. In this way,

Revision 272003-10-25 - AlexandraBarros

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

Research Areas and Projects

Revision 262003-08-01 - MadsonCosta

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

Research Areas and Projects

Revision 252003-08-01 - PauloBorba

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

Research Areas and Projects

Line: 27 to 27
 

Refactoring and Formal Methods

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.
Added:
>
>
As part of the COOP project, we are also defining algebraic laws for a Java-like language and formally deriving refactorings from those laws.

 -- MadsonCosta - 31 Jul 2003

META FILEATTACHMENT attr="h" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"

Revision 242003-08-01 - PauloBorba

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

Research Areas and Projects

Changed:
<
<
(Português)
>
>
(Português)
 

Aspect-Oriented Programming, Separation of Concerns, Refactoring

Revision 232003-08-01 - PauloBorba

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

Research Areas and Projects

Line: 10 to 10
  We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. In this area we are developing experiments to compare pure object-oriented solutions to AspectJ solutions in relation to adaptability capacity, code and bytecode size, number of classes, modularity, etc.
Changed:
<
<
    • Pim persistence, concurrency, distribution
    • Pim adaptability
    • Refactorings for AspectJ
>
>
Refactorings for AspectJ is also being considered here.
 

Aspect-Oriented Programming and Software Product Lines

We are investigating how to model variability in a product-line architecture using Aspect-Oriented Programming techniques. The model addresses both functional and non-functional requirements and complies with quality standards. In particular, our approach aims at providing a method to instantiate a particular product in the line with AOP techniques. Tool support will also be provided to automate the process.
Line: 27 to 25
  An extension of JaTS for AspectJ is also being developed.

Refactoring and Formal Methods

Changed:
<
<
Alloy (alloy_book.pdf) 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.

Testing, XP, and Generative Programming

>
>
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.
  -- MadsonCosta - 31 Jul 2003

Revision 222003-07-31 - MadsonCosta

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

Research Areas and Projects

Deleted:
<
<

Aspect-Oriented Programming, Separation of Concerns, Refactoring

 (Português)
Added:
>
>

Aspect-Oriented Programming, Separation of Concerns, Refactoring

  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.

Line: 36 to 35
 -- MadsonCosta - 31 Jul 2003

META FILEATTACHMENT attr="h" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"
Changed:
<
<
META FILEATTACHMENT attr="h" comment="" date="1059616807" name="GenteAreaProjetos.html" path="C:\Documents and Settings\Administrador\Meus documentos\GenteAreaProjetos.html" size="13402" user="MadsonCosta" version="1.1"
>
>
META FILEATTACHMENT attr="h" comment="" date="1059646322" name="GenteAreaProjetos.html" path="C:\Documents and Settings\Administrador\Meus documentos\UFPE\IC\GenteAreaProjetos.html" size="12035" user="MadsonCosta" version="1.1"

Revision 212003-07-31 - MadsonCosta

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

Research Areas and Projects

Aspect-Oriented Programming, Separation of Concerns, Refactoring

Added:
>
>
(Português)
  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.

Line: 33 to 35
  -- MadsonCosta - 31 Jul 2003
Changed:
<
<
META FILEATTACHMENT attr="" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"
META FILEATTACHMENT attr="" comment="" date="1059616807" name="GenteAreaProjetos.html" path="C:\Documents and Settings\Administrador\Meus documentos\GenteAreaProjetos.html" size="13402" user="MadsonCosta" version="1.1"
>
>
META FILEATTACHMENT attr="h" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1059616807" name="GenteAreaProjetos.html" path="C:\Documents and Settings\Administrador\Meus documentos\GenteAreaProjetos.html" size="13402" user="MadsonCosta" version="1.1"

Revision 202003-07-31 - MadsonCosta

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

Research Areas and Projects

Line: 9 to 9
  We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. In this area we are developing experiments to compare pure object-oriented solutions to AspectJ solutions in relation to adaptability capacity, code and bytecode size, number of classes, modularity, etc.
Deleted:
<
<
(Sérgio, Ayla, Leonardo, Paulo vão definir o texto que vem aqui...)

Neste projeto analisamos a viabilidade de usar AspectJ, uma extensão de Java com recursos de programação orientada a aspectos, para implementar de forma modular e progressiva requisitos não funcionais essenciais tanto para aplicações coroporativas quanto para aplicações móveis de celulares e PDAs. Os requisitos sendo considerados são os seguintes: distribuição, concorrência, persistência, e adaptabilidade. Espera-se que os frameworks, padrões de projeto, processos e ferramentas resultantes deste projeto contribuam para aumentar a produtividade do desenvolvimento destes tipo de aplicações, preservando níveis de qualidade adequados para o mercado.

 
    • Pim persistence, concurrency, distribution
    • Pim adaptability
    • Refactorings for AspectJ
Line: 36 to 24
  the user can define new refactorings and code generation templates using a declarative language for specifying the new transformations. An extension of JaTS for AspectJ is also being developed.
Deleted:
<
<
(Alexandra, Ives, Madson, Sérgio, Leonardo, Paulo vão definir o texto que vem aqui...)

Neste projeto estamos desenvolvendo JaTS, um sistema de transformação para Java, que permite a definição de novas transformações usando uma linguagem simples e declarativa. Com esta linguagem, pode-se definir novos refactorings e padrões para geração de código baseada em informações fornecidas pelo usuário. Por automatizar várias tarefas repetitivas e facilitar o uso de padrões de projeto em um sistema, o JaTS contribui para aumentar tanto a produtividade do desenvolvimento quanto a qualidade do sistema.

 

Refactoring and Formal Methods

Alloy (alloy_book.pdf) 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.

Testing, XP, and Generative Programming

Changed:
<
<
(Eduardo, Paulo vão definir o texto que vem aqui...)
>
>

-- MadsonCosta - 31 Jul 2003

 
META FILEATTACHMENT attr="" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"
META FILEATTACHMENT attr="" comment="" date="1059616807" name="GenteAreaProjetos.html" path="C:\Documents and Settings\Administrador\Meus documentos\GenteAreaProjetos.html" size="13402" user="MadsonCosta" version="1.1"

Revision 192003-07-31 - MadsonCosta

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

Research Areas and Projects

Line: 54 to 54
 

Testing, XP, and Generative Programming

(Eduardo, Paulo vão definir o texto que vem aqui...)
META FILEATTACHMENT attr="" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"
Added:
>
>
META FILEATTACHMENT attr="" comment="" date="1059616807" name="GenteAreaProjetos.html" path="C:\Documents and Settings\Administrador\Meus documentos\GenteAreaProjetos.html" size="13402" user="MadsonCosta" version="1.1"

Revision 182003-07-30 - VanderAlves

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

Research Areas and Projects

Line: 25 to 25
 
    • Pim adaptability
    • Refactorings for AspectJ

Changed:
<
<

Aspect-Oriented Programming and Software Product Lines

>
>

Aspect-Oriented Programming and Software Product Lines

  We are investigating how to model variability in a product-line architecture using Aspect-Oriented Programming techniques. The model addresses both functional and non-functional requirements and complies with quality standards. In particular, our approach aims at providing a method to instantiate a particular product in the line with AOP techniques. Tool support will also be provided to automate the process.

Revision 172003-07-03 - SergioSoares

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

Research Areas and Projects

Revision 162003-07-02 - SergioSoares

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

Research Areas and Projects

Changed:
<
<

Aspect-Oriented Programming, Separation of Concerns, Refactoring

>
>

Aspect-Oriented Programming, Separation of Concerns, Refactoring

  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.

We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. In this area we are developing experiments to compare pure object-oriented solutions to AspectJ solutions in relation to adaptability capacity, code and bytecode size, number of classes, modularity, etc.

Revision 152003-06-27 - TiagoMassoni

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

Research Areas and Projects

Line: 46 to 46
  aumentar tanto a produtividade do desenvolvimento quanto a qualidade do sistema.
Changed:
<
<

Refactoring and Formal Methods

>
>

Refactoring and Formal Methods

  Alloy (alloy_book.pdf) 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.

Testing, XP, and Generative Programming

Revision 142003-06-11 - TiagoMassoni

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

Research Areas and Projects

Line: 47 to 47
  qualidade do sistema.

Refactoring and Formal Methods

Changed:
<
<
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.
>
>
Alloy (alloy_book.pdf) 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.
 

Testing, XP, and Generative Programming

(Eduardo, Paulo vão definir o texto que vem aqui...)
Deleted:
<
<

-- TWikiGuest - 09 May 2003

 
META FILEATTACHMENT attr="" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"

Revision 132003-06-09 - TiagoMassoni

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

Research Areas and Projects

Line: 54 to 54
 

-- TWikiGuest - 09 May 2003

Added:
>
>

META FILEATTACHMENT attr="" comment="Alloy Book" date="1055198160" name="alloy_book.pdf" path="C:\1tiago\PhD\alloy\alloy_book.pdf" size="262498" user="TiagoMassoni" version="1.1"

Revision 122003-06-09 - TiagoMassoni

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

Research Areas and Projects

Line: 10 to 10
  (Sérgio, Ayla, Leonardo, Paulo vão definir o texto que vem aqui...)
Changed:
<
<
Neste projeto analisamos a viabilidade de usar AspectJ, uma extensão de Java
>
>
Neste projeto analisamos a viabilidade de usar AspectJ, uma extensão de Java
  com recursos de programação orientada a aspectos, para implementar de forma modular e progressiva requisitos não funcionais essenciais tanto para aplicações coroporativas quanto para aplicações

Revision 112003-06-06 - TiagoMassoni

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

Research Areas and Projects

Line: 50 to 50
 

Refactoring and Formal Methods

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.
Deleted:
<
<
    • COOP e DareCOOP
    • Manipulating Object Models
 

Testing, XP, and Generative Programming

(Eduardo, Paulo vão definir o texto que vem aqui...)

Revision 102003-06-05 - TWikiGuest

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

Research Areas and Projects

Line: 8 to 8
 We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. In this area we are developing experiments to compare pure object-oriented solutions to AspectJ solutions in relation to adaptability capacity, code and bytecode size, number of classes, modularity, etc.

(Sérgio, Ayla, Leonardo, Paulo vão definir o texto que vem aqui...)

Added:
>
>

Neste projeto analisamos a viabilidade de usar AspectJ, uma extensão de Java com recursos de programação orientada a aspectos, para implementar de forma modular e progressiva requisitos não funcionais essenciais tanto para aplicações coroporativas quanto para aplicações móveis de celulares e PDAs. Os requisitos sendo considerados são os seguintes: distribuição, concorrência, persistência, e adaptabilidade. Espera-se que os frameworks, padrões de projeto, processos e ferramentas resultantes deste projeto contribuam para aumentar a produtividade do desenvolvimento destes tipo de aplicações, preservando níveis de qualidade adequados para o mercado.

 
    • Pim persistence, concurrency, distribution
    • Pim adaptability
    • Refactorings for AspectJ
Line: 26 to 38
  (Alexandra, Ives, Madson, Sérgio, Leonardo, Paulo vão definir o texto que vem aqui...)
Added:
>
>
Neste projeto estamos desenvolvendo JaTS, um sistema de transformação para Java, que permite a definição de novas transformações usando uma linguagem simples e declarativa. Com esta linguagem, pode-se definir novos refactorings e padrões para geração de código baseada em informações fornecidas pelo usuário. Por automatizar várias tarefas repetitivas e facilitar o uso de padrões de projeto em um sistema, o JaTS contribui para aumentar tanto a produtividade do desenvolvimento quanto a qualidade do sistema.
 

Refactoring and Formal Methods

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.

Revision 92003-06-04 - TWikiGuest

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

Research Areas and Projects

Aspect-Oriented Programming, Separation of Concerns, Refactoring

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.
Changed:
<
<
>
>
We are also working on patterns, guidelines and techniques for applying Aspect-Oriented Programming for providing adaptability for existent and novel systems. In this area we are developing experiments to compare pure object-oriented solutions to AspectJ solutions in relation to adaptability capacity, code and bytecode size, number of classes, modularity, etc.
  (Sérgio, Ayla, Leonardo, Paulo vão definir o texto que vem aqui...)
    • Pim persistence, concurrency, distribution

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.

  (Sérgio, Ayla, Leonardo, Paulo vão 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 vão 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

Revision 72003-06-04 - TWikiGuest

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

Research Areas and Projects

Line: 9 to 9
 
    • Refactorings for AspectJ

Aspect-Oriented Programming and Software Product Lines

Changed:
<
<
(Vander, Pedro, Paulo vão definir o texto que vem aqui...)
>
>
We are investigating how to model variability in a product-line architecture using Aspect-Oriented Programming techniques. The model addresses both functional and non-functional requirements and complies with quality standards. In particular, our approach aims at providing a method to instantiate a particular product in the line with AOP techniques. Tool support will also be provided to automate the process.
 

Refactoring and Generative Programming

Revision 62003-06-03 - TWikiGuest

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

Research Areas and Projects

Changed:
<
<
  • Aspect-Oriented Programming, Separation of Concerns, Refactoring (Sérgio, Ayla, Leonardo, Paulo vão definir o texto que vem aqui...)
>
>

Aspect-Oriented Programming, Separation of Concerns, Refactoring

(Sérgio, Ayla, Leonardo, Paulo vão definir o texto que vem aqui...)
 
    • Pim persistence, concurrency, distribution
    • Pim adaptability
    • Refactorings for AspectJ
Changed:
<
<
  • Aspect-Oriented Programming and Software Product Lines (Vander, Pedro, Paulo vão definir o texto que vem aqui...)
>
>

Aspect-Oriented Programming and Software Product Lines

(Vander, Pedro, Paulo vão definir o texto que vem aqui...)
 

Refactoring and Generative Programming

Line: 18 to 21
  (Alexandra, Ives, Madson, Sérgio, Leonardo, Paulo vão definir o texto que vem aqui...)
Changed:
<
<
  • Refactoring and Formal Methods (Rohit, Tiago, Paulo vão definir o texto que vem aqui...)
>
>

Refactoring and Formal Methods

(Rohit, Tiago, Paulo vão definir o texto que vem aqui...)
 
    • COOP e DareCOOP
    • Manipulating Object Models
Changed:
<
<
  • Testing, XP, and Generative Programming (Eduardo, Paulo vão definir o texto que vem aqui...)
>
>

Testing, XP, and Generative Programming

(Eduardo, Paulo vão definir o texto que vem aqui...)
 

-- TWikiGuest - 09 May 2003

Revision 52003-06-03 - TWikiGuest

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

Research Areas and Projects

Line: 7 to 7
 
    • Pim adaptability
    • Refactorings for AspectJ
  • Aspect-Oriented Programming and Software Product Lines (Vander, Pedro, Paulo vão definir o texto que vem aqui...)
Changed:
<
<
  • Refactoring and Generative Programming (Alexandra, Ives, Madson, Sérgio, Leonardo, Paulo vão definir o texto que vem aqui...)
    • JaTS
>
>

Refactoring and Generative Programming

We are currently developing JaTS, a Java transformation system that supports user-defined program transformations. In this way, the user can define new refactorings and code generation templates using a declarative language for specifying the new transformations. An extension of JaTS for AspectJ is also being developed. (Alexandra, Ives, Madson, Sérgio, Leonardo, Paulo vão definir o texto que vem aqui...)

 
  • Refactoring and Formal Methods (Rohit, Tiago, Paulo vão definir o texto que vem aqui...)
    • COOP e DareCOOP
    • Manipulating Object Models

Revision 42003-05-15 - TWikiGuest

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

Research Areas and Projects

  • Aspect-Oriented Programming, Separation of Concerns, Refactoring (Sérgio, Ayla, Leonardo, Paulo vão definir o texto que vem aqui...)
    • Pim persistence, concurrency, distribution
    • Pim adaptability
Changed:
<
<
>
>
    • Refactorings for AspectJ
 
  • Aspect-Oriented Programming and Software Product Lines (Vander, Pedro, Paulo vão definir o texto que vem aqui...)
  • Refactoring and Generative Programming (Alexandra, Ives, Madson, Sérgio, Leonardo, Paulo vão definir o texto que vem aqui...)
Changed:
<
<
>
>
    • JaTS
 
  • Refactoring and Formal Methods (Rohit, Tiago, Paulo vão definir o texto que vem aqui...)
Changed:
<
<
>
>
    • COOP e DareCOOP
 
    • Manipulating Object Models
  • Testing, XP, and Generative Programming (Eduardo, Paulo vão definir o texto que vem aqui...)

Revision 32003-05-13 - TWikiGuest

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

Research Areas and Projects

Changed:
<
<
  • Software Product Lines
  • Aspect-Oriented Programming
  • Refactoring
  • Design Analysis
>
>
  • Aspect-Oriented Programming, Separation of Concerns, Refactoring (Sérgio, Ayla, Leonardo, Paulo vão definir o texto que vem aqui...)
    • Pim persistence, concurrency, distribution
    • Pim adaptability
    • Refactorings for AspectJ
  • Aspect-Oriented Programming and Software Product Lines (Vander, Pedro, Paulo vão definir o texto que vem aqui...)
  • Refactoring and Generative Programming (Alexandra, Ives, Madson, Sérgio, Leonardo, Paulo vão definir o texto que vem aqui...)
  • Refactoring and Formal Methods (Rohit, Tiago, Paulo vão definir o texto que vem aqui...)
    • COOP e DareCOOP
    • Manipulating Object Models
  • Testing, XP, and Generative Programming (Eduardo, Paulo vão definir o texto que vem aqui...)
 

-- TWikiGuest - 09 May 2003

Revision 22003-05-13 - TWikiGuest

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

Research Areas and Projects

 
  • Software Product Lines
  • Aspect-Oriented Programming
  • Refactoring

Revision 12003-05-09 - TWikiGuest

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="SoftwareProductivityGroup"
  • Software Product Lines
  • Aspect-Oriented Programming
  • Refactoring
  • Design Analysis

-- TWikiGuest - 09 May 2003

 
This site is powered by the TWiki collaboration platformCopyright © 2008-2019 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