200 Recent Changes in SPG Web retrieved at 22:19 (GMT)
nop GENTeS (Future themes and guidelines) What is it? nop GENTeS (Grupo de Estudos sobre Novas Tecnologias de Software) is a study group in the Informatics Center ...
Theses and Dissertations nop PhD Theses Guilherme Cavalcanti. Should We Replace Our Merge Tools? nop PhD thesis, Informatics Center, Federal University of ...
See Copyright Publications Software Evolution Aspect Oriented Software Development and Software Product Lines Refactoring and Formal Methods Empirical Software Engineering ...
Aspect Oriented Programming and Software Product Lines Goals Aspect Oriented design and implementation of Product Line variability; Provide tool ...
2018 Meetings Date Theme Leader 19/12 Years of Software Engineering IEEE Software Special Issue Multiple 12/12 Years of Software ...
Understanding Merge Conflicts Characteristics (Website under construction) Abstract Previous studies show that merge conflicts frequently occur in collaborative development ...
Members Faculty Paulo Borba CIn/UFPE) Tiago Massoni http://www.cin.ufpe.br/~rg Rohit Gheyi http://www.dsc.ufcg.edu.br (DSC ...
2017 Meetings Date Theme Leader 06/12 Engineering without Borders ASE'2017 Keynote Paulo Borba Leopoldo Teixeira 29/11 Leveraging ...
Analyzing Conflict Predictors in Open Source Java Projects https://conflictpredictor.github.io/onlineAppendix/ Online Appendix
Advanced Merge Tools and Improving Semistructured Merge
2016 Meetings Date Theme Leader 16/12 The Discipline of Preprocessor Based Annotations Does #ifdef TAG n't #endif Matter Márcio Ribeiro ...
Safe Evolution Templates for Software Product Lines (Supporting Material) Laís Neves, Paulo Borba, Vander Alves, Lucinéia Turnes, Leopoldo Teixeira, Demóstenes Sena ...
Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment Cavalcanti, Accioly, and Borba. In Proceedings of the International Symposium on ...
2015 Meetings Date Theme Leader 16/12 to Have a Bad Career in Research/Academia, by David Patterson Paulo Borba, Leopoldo Teixeira 09 ...
Visitors Visitor Institution When Schedule Yoder The Refactory October, 19, 2015 schedule Ribeiro Federal University of Alagoas ...
Sample Systems Observations: The number of commits from each project below was collected from Github on 02/09/2015; The size of the projects described described ...
Research Areas and Projects (Português) Aspect Oriented Programming, Separation of Concerns, Refactoring We are defining an implementation method that separates data ...
2014 Meetings Date Theme Leader 17/12 Detecting conflicts using semistructured merge: A Replicated Experiment Retrospectiva 2014 GuilhermeCavalcanti ...
/logoSPG.jpg The Software Productivity Group is a research group that investigates and develops tools, techniques and processes for improving software development ...
Assessing Idioms for Feature Flexible Binding Time In Software Product Lines, it is sometimes important to provide flexible binding time for features so that one can ...
2013 Meetings Date Theme Leader 04/12 Private Browsing Mode a privacy matter RodrigoAndrade 27/11 Raising Evidence About Collaboration ...
Emergent Interfaces Feature Maintenance with Emergent Interfaces Márcio Ribeiro, Borba, and Kästner. In Proceedings of the International Conference on Software Engineering ...
Software and Processes nop 1. JaTS Java Transformation System Object oriented analysis and design methods are used more and more in practice. On the other ...
Address Universidade Federal de Pernambuco Centro de Informática Av. Jornalista Anibal Fernandes, s/n Cidade Universitária, CEP 50740 560 Recife ...
Flexible feature binding with AspectJ based idioms In Software Product Lines (SPL), we can bind reusable features to compose a product at different times, which in ...
AspectJ based Idioms for Flexible Feature Binding In this webpage, we provide all the source code we used. All the projects are hosted in github, therefore it is ...
Comparing Two Black Box Testing Strategies for Software Product Lines Abstract: Software Product Line (SPL) testing has been considered a challenging task, mainly ...
Empirical Assessment of Two Approaches for Specifying Software Product Line Use Case Scenarios SITE UNDER CONSTRUCTION Abstract: Modularity benefits, including ...
2012 Meetings Date Theme Leader 28/11 Uma abordagem para apoiar a realização de experimentos controlados em engenharia de software Mar ...
Intraprocedural Data flow Analysis for Software Product Lines Abstract: Software product lines (SPLs) developed using annotative approaches such as conditional compilation ...
Intraprocedural Dataflow Analysis for Software Product Lines
Emergent Interfaces and Data flow Analysis for Software Product Lines Intra Procedural Data flow Analysis for Software Product Lines Abstract: Software product ...
Data flow Analysis for Software Product Lines Intraprocedural Data flow Analysis for Software Product Lines AOSD'12 publication website. TAOSD submission ...
Emergo Introduction Features in product lines eventually share elements between them, which might break feature modularization, since modifications in a feature result ...
" warn "off"}% Members Research Areas and Projects Publications Theses Talks and Posters Software and Processes ...
SPG Web Preferences The following settings are web preferences of the SPG web. These preferences overwrite the site level preferences in ., and can be overwritten ...
Passos para atualizar home page do nop GENTeS 1) Ao escolher o tema, verificar a agenda para evitar possíveis conflitos com temas previamente definidos, além de obedecer ...
Software Estimation Models Members Eduardo Aranha PhD Candidate Paulo Borba Supervisor Goals Publications 2010 2009 2008 2007 ...
Aspect Oriented Programming, Separation of Concerns, Refactoring Description We are defining an implementation method that separates data management, distribution ...
researchMenu new QuickMenu.Menu(menuBar,"","","",""); researchMenu.Add("","/SPG/GenteAreaProjects",""); researchMenu.Add("","/SPG/GenteAreaPublications",""); researchMenu ...
spgMenu new QuickMenu.Menu(menuBar,"","","",""); spgMenu.Add("","/SPG/WeeklySeminar",""); spgMenu.Add("","/SPG/GenteAreaEvents",""); spgMenu.Add(); spgMenu.Add("" ...
WP5 Call Meeting
2011 Meetings Date Theme Leader 21/12 Aspect Oriented Software Maintenance Metrics: A Systematic Mapping Study JulianaSaraiva 14 ...
Talks and Posters Domain Specific Languages Empirical Software Engineering Refactoring and Formal Methods Aspect Oriented Software Development, Separation of Concerns ...
See Copyright Publications 2012 2010 2009 2008 2007 2006 2005 2004 2003 #CopyRight Copyright notice This material is presented to ensure timely ...
A Theory of Software Product Line Refinement Paulo Borba, Leopoldo Teixeira, Rohit Gheyi Abstract for ICTAC'2010 To safely derive and evolve a software product line ...
Reporting Unsafe Dynamic Feature Compositions To support client requirements that change at runtime within software product lines, researchers introduced some AspectJ ...
Empirical Software Engineering Description We are investigating ways to help researchers to perform empirical studies in general. We first start thinking about evaluating ...
Past Meetings 2010 Date Theme Leader 19/11 Concurrency by Modularity: Design Patterns, a Case in Point FernandoCastor 05/11 ...
A Theory for Software Product Line Refinement PVS specification Proof file LeopoldoTeixeira 29 May 2010
Past Meetings 2009 Date Theme Leader 30/12 Banana Algebra (Syntactic Language Extension via an Algebra of Languages and Transformations ...
Events We helped to organize the following events: Tutorials nop SugarLoafPLoP'2007 nop WASP'06 http://twiki.dcc.ufba.br/bin/view/WASP/WASP05 ...
Related Research We collaborate with people in the following groups: Software Design Group (MIT) Naumann's group (Stevens Institute) Jeff Gray's group ...
Hephaestus A tool suite for managing SPL Variabilities. Releases OS X Windows Samples Media releases 2 and 3 (Demo SBCARS) RodrigoBonifacio 10 ...
Modeling Scenario Variability as Crosscutting Mechanisms (MSVCM) This is a new approach for representing (use case) scenario variabilities. MSVCM, differently from ...
Past Meetings 2008 Date Theme Leader 05/03 On the Benefits of Variability Management as Crosscutting (research status presentation) RodrigoBonifacio ...
SPG Annual Gathering Serrambi 2006 Maragogi 2005 Maragogi 2003 Other major attractions around here Forró in Brazil: Under a Full Moon, Dancing to the Beat ...
Refactoring and Formal Methods Members Rohit Gheyi PhD Tiago Massoni PhD Paulo Borba Supervisor Awards We have participated ...
Test Execution Effort Estimation Tool More information about the tool license, examples of use and download files are available at http://www.cin.ufpe.br/~ehsa/test ...
Dicas de desenvolvimento Haskell Nessa área do Twiki são postadas alguamas dicas para o desenvolvimento Haskell, que podem ser úteis para quem está se familiarizando ...
Talks and Posters Back TiagoMassoni 18 Aug 2007
Goal Increase productivity with the automation of program analysis activities (typically performed manually). Specifically, our goal is to improve the automation ...
WP5 Call Meeting teste
Statistics for SPG Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ...
Past Meetings 2007 Date Theme Leader 07/02 An Overview about the Construction of an End to End AOSD Testbed MarcosDosea 14/02 ...
Publications 2002 2001 1999
Rohit Gheyi Refactorings are usually proposed in an ad hoc way because it is hard to guarantee their soundness with respect to a formal semantics. In practice, even ...
Past Meetings 2006 Date Theme Leader 15/02 Paper review VanderAlves 15/03 Analysis Of Modularity In Aspect Oriented Design ...
WP5 Call Meeting
Name Type Size Values Tooltip message TopicClassification select 1 NoDisclosure, PublicSupported, PublicFAQ blah blah... OperatingSystem ...
Bibliography of the Aspect Oriented and Product Line subgroup AOSD Bibliography Software Product Line Bibliography WebTopicEditTemplate PackageMeetings ...
Name Type Size Values Tooltip message 29 Jan. checkbox 7 Siemens, SAP, HOLOS, EMN/ARMINES, ULANC, UMA, FCT/UNL blah blah... 12 Feb. checkbox ...
WP5 Call Meeting
Past Meetings 2005 Date Theme Leader 17/02 What makes good research in software engineering? PauloBorba 24/02 Concrete ...
Theory and Proofs for Feature Model Refinements (Technical Report TR CIN SPG 200608027) PDF Slides PVS files Latex files VanderAlves 01 ...
Technical Reports GPCE 2006 VanderAlves 01 Aug 2006
12/2003 Maragogi Beach Back PauloBorba 01 Jun 2006 GustavoSantos 31 May 2006
01/2006 Serrambi Beach Back GustavoSantos 31 May 2006
01/2005 Maragogi Beach Back GustavoSantos 31 May 2006
dgrfydututrurut RohitGheyi 04 Dec 2005
Software Product Line Bibliography Links from Fraunhofer IESE (PDF, BIB) Also stored locally (PDF, BIB) VanderAlves 24 Nov 2005
AOSD Bibliography Links from Robert Filman's site, who maintains the list (PDF, BIB) Also stored locally (PDF, BIB) VanderAlves 24 Nov 2005
Deadline of Upcoming Events Submission Conference 16/12/2006 ECOOP 24/02/2006 Methods xx/03/2006 OOPSLA 11/04/2006 FSE Back
Thesis Journal Papers Conference and Workshop Papers Aspect Oriented Software Development Group SergioSoares 28 Jul 2005
Model Refactoring Composing the laws proposed, we can derive model refactorings that are useful, for instance, to formally introduce design patterns into a model ...
Prototype Verification System (PVS) PVS is a system consisting of a specification language and a theorem prover. We are using it to encode an equivalence notion for ...
UML and OCL We leveraged our laws proposed for Alloy to UML/OCL. In order to do that, we proposed a semantics for UML Class Diagrams using Alloy as the semantics model ...
Related Events In addition to the major events related to the group, we consider also the following events which are more closely related to this project: SBMF ...
Related Work RelatedPVS Prototype Verification System (PVS) UML and OCL Model Refactoring Back
SPG Feed /SPG Software Productivity Group
This is a subscription service to be automatically notified by e mail when topics change in this SPG web. This is a convenient service, so you do not have to come ...
Past Meetings 2003 Date Theme Leader april 29 Practical Analysis for Refactoring Chaps. 1 to 2 PauloBorba may 06 Practical ...
Past Meetings 2004 Date Theme Leader jan 14 Refactoring of Aspect Oriented Software LeonardoCole jan 21 Algebraic Reasoning ...
Components Our laws can be used to reason, based on syntactic conditions, whether two specifications are equivalent. Specification Matching of Software Components ...
web test VanderAlves 26 Aug 2004
Related Topics: GnuSkin, GnuSkinPlugin, GnuSkinPluginDev, GnuSkinInstall, .TWikiPreferences, .TWikiPlugins nop WebMenu This topic serves as the configuration of ...
Áreas de Pesquisa e Projetos (English, Please!) Programação Orientada a Aspectos, Separação de Preocupações, Refactoring Estamos definindo um método de implementa ...
Boas Práticas para Apresentações Quando estiver apresentando trechos de código, é melhor colocá los em caixinhas, com auto formas comentando a respeito deles ...
See also the faster WebTopicList
See also the verbose WebIndex.
Number of topics: 108
Show recent changes with 50, 100, 200, 500, 1000 topics, all changes
Related topics: 
RSS feed, ATOM feed, WebNotify, site changes, site map 
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actionsTopic revision: r1 - 2001-08-16 - PeterThoeny
SPG
Members
Research Areas and Projects
Publications
Theses
Talks and Posters
Software and Processes
Weekly Seminar
Events
Visits
Related research
Contact
Internal links
Search
Create New Topic |
|
Copyright © 2008-2022 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback