Results from SPG web retrieved at 14:35 (GMT)
Advanced Merge Tools and Improving Semistructured Merge
Refactoring and Formal Methods Members Rohit Gheyi PhD Tiago Massoni PhD Paulo Borba Supervisor Awards We have participated ...
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 ...
Aspect Oriented Programming, Separation of Concerns, Refactoring Description We are defining an implementation method that separates data management, distribution ...
Aspect Oriented Programming and Software Product Lines Goals Aspect Oriented design and implementation of Product Line variability; Provide tool ...
Thesis Journal Papers Conference and Workshop Papers Aspect Oriented Software Development Group SergioSoares 28 Jul 2005
Bibliography of the Aspect Oriented and Product Line subgroup AOSD Bibliography Software Product Line Bibliography WebTopicEditTemplate PackageMeetings ...
AOSD Bibliography Links from Robert Filman's site, who maintains the list (PDF, BIB) Also stored locally (PDF, BIB) VanderAlves 24 Nov 2005
Software Product Line Bibliography Links from Fraunhofer IESE (PDF, BIB) Also stored locally (PDF, BIB) VanderAlves 24 Nov 2005
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 ...
Understanding Merge Conflicts Characteristics (Website under construction) Abstract Previous studies show that merge conflicts frequently occur in collaborative development ...
Analyzing Conflict Predictors in Open Source Java Projects https://conflictpredictor.github.io/onlineAppendix/ Online Appendix
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 ...
Address Universidade Federal de Pernambuco Centro de Informática Av. Jornalista Anibal Fernandes, s/n Cidade Universitária, CEP 50740 560 Recife ...
WP5 Call Meeting
Intraprocedural Dataflow Analysis for Software Product Lines
Data flow Analysis for Software Product Lines Intraprocedural Data flow Analysis for Software Product Lines AOSD'12 publication website. TAOSD submission ...
Intraprocedural Data flow Analysis for Software Product Lines Abstract: Software product lines (SPLs) developed using annotative approaches such as conditional compilation ...
Emergent Interfaces and Data flow Analysis for Software Product Lines Intra Procedural Data flow Analysis for Software Product Lines Abstract: Software product ...
Emergent Interfaces Feature Maintenance with Emergent Interfaces Márcio Ribeiro, Borba, and Kästner. In Proceedings of the International Conference on Software Engineering ...
Emergo Introduction Features in product lines eventually share elements between them, which might break feature modularization, since modifications in a feature result ...
Empirical Software Engineering Description We are investigating ways to help researchers to perform empirical studies in general. We first start thinking about evaluating ...
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 ...
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 ...
Theory and Proofs for Feature Model Refinements (Technical Report TR CIN SPG 200608027) PDF Slides PVS files Latex files VanderAlves 01 ...
Events We helped to organize the following events: Tutorials nop SugarLoafPLoP'2007 nop WASP'06 http://twiki.dcc.ufba.br/bin/view/WASP/WASP05 ...
Research Areas and Projects (Português) Aspect Oriented Programming, Separation of Concerns, Refactoring We are defining an implementation method that separates data ...
See Copyright Publications Software Evolution Aspect Oriented Software Development and Software Product Lines Refactoring and Formal Methods Empirical Software Engineering ...
Related Research We collaborate with people in the following groups: Software Design Group (MIT) Naumann's group (Stevens Institute) Jeff Gray's group ...
Theses and Dissertations nop PhD Theses Guilherme Cavalcanti. Should We Replace Our Merge Tools? nop PhD thesis, Informatics Center, Federal University of ...
Visitors Visitor Institution When Schedule Yoder The Refactory October, 19, 2015 schedule Ribeiro Federal University of Alagoas ...
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 ...
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 ...
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 ...
Members Faculty Paulo Borba CIn/UFPE) Tiago Massoni http://www.cin.ufpe.br/~rg Rohit Gheyi http://www.dsc.ufcg.edu.br (DSC ...
See Copyright Publications 2012 2010 2009 2008 2007 2006 2005 2004 2003 #CopyRight Copyright notice This material is presented to ensure timely ...
Related Work RelatedPVS Prototype Verification System (PVS) UML and OCL Model Refactoring Back
Talks and Posters Back TiagoMassoni 18 Aug 2007
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 ...
Hephaestus A tool suite for managing SPL Variabilities. Releases OS X Windows Samples Media releases 2 and 3 (Demo SBCARS) RodrigoBonifacio 10 ...
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 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 ...
Past Meetings 2005 Date Theme Leader 17/02 What makes good research in software engineering? PauloBorba 24/02 Concrete ...
Past Meetings 2006 Date Theme Leader 15/02 Paper review VanderAlves 15/03 Analysis Of Modularity In Aspect Oriented Design ...
Past Meetings 2007 Date Theme Leader 07/02 An Overview about the Construction of an End to End AOSD Testbed MarcosDosea 14/02 ...
Past Meetings 2008 Date Theme Leader 05/03 On the Benefits of Variability Management as Crosscutting (research status presentation) RodrigoBonifacio ...
Past Meetings 2009 Date Theme Leader 30/12 Banana Algebra (Syntactic Language Extension via an Algebra of Languages and Transformations ...
Past Meetings 2010 Date Theme Leader 19/11 Concurrency by Modularity: Design Patterns, a Case in Point FernandoCastor 05/11 ...
2011 Meetings Date Theme Leader 21/12 Aspect Oriented Software Maintenance Metrics: A Systematic Mapping Study JulianaSaraiva 14 ...
2012 Meetings Date Theme Leader 28/11 Uma abordagem para apoiar a realização de experimentos controlados em engenharia de software Mar ...
2013 Meetings Date Theme Leader 04/12 Private Browsing Mode a privacy matter RodrigoAndrade 27/11 Raising Evidence About Collaboration ...
2014 Meetings Date Theme Leader 17/12 Detecting conflicts using semistructured merge: A Replicated Experiment Retrospectiva 2014 GuilhermeCavalcanti ...
2015 Meetings Date Theme Leader 16/12 to Have a Bad Career in Research/Academia, by David Patterson Paulo Borba, Leopoldo Teixeira 09 ...
2016 Meetings Date Theme Leader 16/12 The Discipline of Preprocessor Based Annotations Does #ifdef TAG n't #endif Matter Márcio Ribeiro ...
2017 Meetings Date Theme Leader 06/12 Engineering without Borders ASE'2017 Keynote Paulo Borba Leopoldo Teixeira 29/11 Leveraging ...
2018 Meetings Date Theme Leader 19/12 Years of Software Engineering IEEE Software Special Issue Multiple 12/12 Years of Software ...
Goal Increase productivity with the automation of program analysis activities (typically performed manually). Specifically, our goal is to improve the automation ...
Publications 2002 2001 1999
Á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 ...
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("" ...
Components Our laws can be used to reason, based on syntactic conditions, whether two specifications are equivalent. Specification Matching of Software Components ...
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 ...
Reporting Unsafe Dynamic Feature Compositions To support client requirements that change at runtime within software product lines, researchers introduced some AspectJ ...
12/2003 Maragogi Beach Back PauloBorba 01 Jun 2006 GustavoSantos 31 May 2006
01/2005 Maragogi Beach Back GustavoSantos 31 May 2006
01/2006 Serrambi Beach Back GustavoSantos 31 May 2006
Safe Evolution Templates for Software Product Lines (Supporting Material) Laís Neves, Paulo Borba, Vander Alves, Lucinéia Turnes, Leopoldo Teixeira, Demóstenes Sena ...
A Theory for Software Product Line Refinement PVS specification Proof file LeopoldoTeixeira 29 May 2010
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 ...
Modeling Scenario Variability as Crosscutting Mechanisms (MSVCM) This is a new approach for representing (use case) scenario variabilities. MSVCM, differently from ...
Name Type Size Values Tooltip message TopicClassification select 1 NoDisclosure, PublicSupported, PublicFAQ blah blah... OperatingSystem ...
Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment Cavalcanti, Accioly, and Borba. In Proceedings of the International Symposium on ...
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 ...
Software Estimation Models Members Eduardo Aranha PhD Candidate Paulo Borba Supervisor Goals Publications 2010 2009 2008 2007 ...
web test VanderAlves 26 Aug 2004
Talks and Posters Domain Specific Languages Empirical Software Engineering Refactoring and Formal Methods Aspect Oriented Software Development, Separation of Concerns ...
Technical Reports GPCE 2006 VanderAlves 01 Aug 2006
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 ...
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 ...
dgrfydututrurut RohitGheyi 04 Dec 2005
WP5 Call Meeting teste
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 ...
Deadline of Upcoming Events Submission Conference 16/12/2006 ECOOP 24/02/2006 Methods xx/03/2006 OOPSLA 11/04/2006 FSE Back
/logoSPG.jpg The Software Productivity Group is a research group that investigates and develops tools, techniques and processes for improving software development ...
See also the faster WebTopicList
" warn "off"}% Members Research Areas and Projects Publications Theses Talks and Posters Software and Processes ...
Related Topics: GnuSkin, GnuSkinPlugin, GnuSkinPluginDev, GnuSkinInstall, .TWikiPreferences, .TWikiPlugins nop WebMenu This topic serves as the configuration of ...
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 ...
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 ...
SPG Feed /SPG Software Productivity Group
Statistics for SPG Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ...
WP5 Call Meeting
See also the verbose WebIndex.
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 ...
Number of topics: 108
See also the faster WebTopicList 
Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actionsTopic revision: r2 - 2001-11-24 - 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
RSS Feed |
|
Copyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback