Aperçu des sections

• Généralités
  

  Généralités

   CITI VALSE Team

  (VALidation of Software Engineering methods, techniques and tools)

  MISSION: To develop new methods, techniques and tools for supporting the application of quantitative and qualitative validation techniques to areas related to Software Engineering, such as software architecture, software evolution, refactoring, technology assessment, process modeling and IT services management.

  PI: Fernando Brito e Abreu

  • VALSE - Members Page
  • VALSE - Context Fichier
  • VALSE - Objectives Page
  • VALSE - Approaches Page
  • CITI Main page URL
• Section 1
  

  Section 1

  Projects

  • ONGOING

  • UTAustin-PRIA (CA/0056/2008), 2009-2012 URL
  • IPDMS Configurator (Scientific Mycenae), 2009-2011 Fichier
  • GAsPar (PTDC/EIA-EIA/108937/2008), 2010-2013 URL
  • ---

    
    

  • SUBMITTED

  • Quo, vadis Software Project? (International Exchanges Scheme - 2011/R2) Fichier
  • Not selected for funding
  • SfNovaCare (QREN - Projectos de I&DT empresas em co-promoção) Fichier
  • CMS-Lingo (PTDC/EIA-EIA/115294/2009) Fichier
  • MOONTIES (PTDC/EIA-EIA/113148/2009) Fichier
  • ---

    CLOSED

  • AMADEUS (POCTI,PTDC/EIA/70271/2006) closed 2011-11-30 Fichier
• Section 2
  

  Section 2

  Book chapters

  • ACCEPTED

  • Monteiro M.P., Fernandes, J.M. Aspect-oriented Refactoring of Java Programs. Book chapter accepted for publication in “Java in Academia and Research”, iConcept (Ke Cai, editor), 2011. URL
  • ---

    
    

  • SUBMITTED

  • Ankica Barisic, Vasco Amaral, Miguel Goulão and Bruno Barroca. "Evaluation of Domain-Specific Languages", book chapter submitted to "Formal and Practical Aspects of Domain-Specific Languages: Recent Developments", 2011. (under evaluation) [50% partnership with SOLAR project team]
• Section 3
  

  Section 3

  Conference and workshop papers

  • ACCEPTED

  • Bryton, Sérgio & Brito e Abreu, F., “Strengthening Refactoring: Towards Software Evolution with Quantitative and Experimental Grounds”, ICSEA'2009, Set. 2009 Fichier
  • Correia, Anacleto & Brito e Abreu, F., “Integrating IT Service Management within the Enterprise Architecture”, ICSEA'2009, Set. 2009 Fichier
  • Ferreira da Silva, Luís & Brito e Abreu, F., “Exploring and Overcoming Major Challenges in IT Infrastructures Faced by IT Executives”, ICSEA'2009, Set. 2009 Fichier
  • Lima, Goulão, Monteiro, Evidence-Based Comparison of Modularity Support Between Java and Object Teams, ESCOT workshop at AOSD 2010, March 2010 Fichier
  • Gomes J.L., Monteiro M.P., "Design Pattern Implementation in Object Teams", SAC/OOPS 2010, March 2010 Fichier
  • Cardoso, Diniz, Monteiro, Fernandes, Saraiva, A Domain-Specific Aspect Language for Transforming MATLAB Programs, DSAL workshop at AOSD 2010, March 2010 Fichier
  • Pedro Gabriel, Miguel Goulão and Vasco Amaral. "Do Software Languages Engineers Evaluate their Languages?", CIbSE'2010, Abril 2010 Fichier
  • Monteiro P., Monteiro M.P., "A Pattern Language for Parallelizing Irregular Algorithms", ParaPLoP 2010, April 2010 Fichier
  • Correia, Anacleto & Brito e Abreu, Fernando, “Model-Driven Service Level Management”, AIMS'2010, June 2010 Fichier
  • Sérgio Bryton, Fernando Brito e Abreu, "An Empirical Study on Refactoring Objects to Aspects", QAOOSE'2010 workshop at TOOLS’2010, July 2010 Fichier
  • Ferreira da Silva, Luís & Brito e Abreu, F., "Patterns for IT Infrastructure Design", EuroPlop'2010, July 2010 Fichier
  • Monteiro M.P., Cardoso J., Posea S. Identification and Characterization of Crosscutting Concerns in MATLAB Systems. CoRTA 2010, Braga, Portugal, Sep/2010. URL
  • Sérgio Bryton, Fernando Brito e Abreu, "Reducing Subjectivity in Code Smells Detection: Experimenting with the Long Method", QUATIC'2010, Sept. 2010 Fichier
  • Fernando Brito e Abreu, Raquel Porciúncula, José Carlos Costa, Jorge Freitas, "Definition and Validation of Complexity Metrics for ITSM Process Models", QUATIC'2010, Sept. 2010 Fichier
  • Luís Silva, Fernando Brito e Abreu, "An IT Infrastructure Patterns Approach To Improve Service Management Quality", QUATIC'2010, Set. 2010 Fichier
  • Américo Rio, Fernando Brito e Abreu, "Websites Quality: Does It Depend on the Application Domain?", QUATIC'2010, Set. 2010 Fichier
  • Correia, Anacleto & Brito e Abreu, Fernando, “Defining and Observing the Compliance of Service Level Agreements: A Model Driven Approach”, QUATIC'2010, Set. 2010 Fichier
  • Luís Silva, Fernando Brito e Abreu, "Reengineering IT Infrastructures: A Method for Topology Discovery", QUATIC'2010, Set. 2010 Fichier
  • Patrícia Espada, Miguel Goulão and João Araújo "Measuring Complexity and Completeness of KAOS Goal Models", Proceedings of the International Workshop on Empirical Requirements Engineering (EmpiRE 2011), at the 19th International Requirements Engineering C Fichier
  • Ankica Barisic , Vasco Amaral, Miguel Goulão and Bruno Barroca"How to reach a usable DSL? Moving toward a Systematic Evaluation", 5th International Workshop on Multi-Paradigm Modeling - MPM'11, New Zealand, October, 2011 [50% partnership with SOLAR projec Fichier
  • Ankica Barisic, Vasco Amaral, Miguel Goulão, and Bruno Barroca. "Quality in Use of DSLs: Current Evaluation Methods", INFORUM 2011, Coimbra, September, 2011 [50% partnership with Solar Project Team] Fichier
  • Ankica Barisic, Vasco Amaral, Miguel Goulão, and Bruno Barroca. ""Quality in Use of Domain Specific Language: a Case Study", Proceedings of the Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2011), held at Splash 2011, Po Fichier
  • Monteiro P., Monteiro M.P. Parallelizing Irregular Algorithms: a Pattern Language. 18th Conference on Pattern Languages of Programs (PLoP 2011), Portland, USA, October 2011. Fichier
  • Miguel Goulão, Nelson Fonte, Michel Wermelinger, Fernando Brito e Abreu. "Software Evolution Prediction Using Seasonal Time Analysis: a Comparative Study", CSMR'2012, March, 2012 (accepted version)) Fichier
  • ---

  • SUBMITTED

  • Monteiro M.P. On the Cognitive Foundations of Modularity. Presented at the Psychology of Programming Interest Group Annual Conference (PPIG 2011), York, UK, September 2011 URL
• Section 4
  

  Section 4

  Journal papers

  • Goulão, Miguel & Brito e Abreu, Fernando, "Eclipse Plug-ins Extension Patterns: An Observational Study", Journal of Empirical Software Engineering, 2011 (accepted, under revision) URL
  • ACCEPTED

  • ---

  • SUBMITTED

  • Monteiro M.P., Gomes João L., Implementing design patterns in Object Teams. Submitted to Software: Practice and Experience, Wiley, August 2011. Fichier
• Section 5
  

  Section 5

  PhD thesis

  • APPROVED

  • ---

  • ONGOING

  • "Refactoring Process Improvement: Opportunities, Alternatives and Benefits", Fernando Sérgio Bryton Dias Marques, FBA (supervisor), 2008-2012 Fichier
  • "Model-Driven Service Level Management", Anacleto Cortez e Correia, FBA (supervisor), 2008-2012 Fichier
  • "A Pattern-Based Approach to Scaffold the IT Infrastructure Design Process", Luís Alexandre Ferreira da Silva, FBA (supervisor), 2008-2012 Fichier
• Section 6
  

  Section 6

  MSc thesis

  • APPROVED

  • "A Qualitative Assessment of Modularity in CaesarJ components based on Implementations of Design Patterns", Sérgio Braz, MPM (supervisor), Fev/2009 Fichier
  • "IT Service Management: An Experimental Approach Towards IT Service Prediction", João Caldeira, FBA (supervisor), 2009 URL
  • "Analysis of Support for Modularity in Object Teams based on Design Patterns", João Gomes, MPM (supervisor), Out/2009 Fichier
  • "Governança e Modelação de Processos de TI", Raquel Porciúncula, FBA (supervisor), 2010 Fichier
  • "MGPSI – Metodologia de Gestão de Projectos Aplicada ao Desenvolvimento de Sistemas de Informação", José Carlos Costa, FBA (supervisor), 2010 Fichier
  • "Software Languages Engineering: Experimental Evaluation", Pedro Gabriel, MG, VA (supervisors), 2010 URL
  • "Modelo Automático de Qualidade para Sítios Web", Américo Rio, FBA (supervisor), 2010 Fichier
  • "Metamodelação de Processos e Serviços", Jorge Freitas, FBA (supervisor), 2010 Fichier
  • "A Pattern Language for Paralelizing Irregular Algorithms", Pedro Monteiro, MPM (supervisor), Mar/2010 URL
  • "Software Repositories Analysis with Time Series", Nelson Fonte, MG (Supervisor), 2010 Fichier
  • "Measuring Modularity of CaesarJ Components", Miguel Almeida, MPM & MG (supervisors), 2011 Fichier
  • "Assessing the Refactoring Process", Tiago Pessoa, FBA & MPM (supervisors), 2010 Fichier
  • "Avaliação comparativa de formatos de dados georreferenciados para troca de informação entre sistemas de Comando e Controlo no contexto militar", Francisco Salvador, MG/SB (Orientadores), Novembro 2011 Fichier
  • "Building Anonymised Database Samples", Francisco Salvador (Supervisor - José Júlio Alferes, and MG, co-supervisor)), MSc, Novembro, 2011 Fichier
  • ---

    
    
  • ONGOING

  • Measuring Modularity of Object Teams Components, Arlindo Lima, MG & MPM (supervisors) 2010 URL
  • "Software Ecosystems Reuse Patterns", Nilza Silveira, MG (Supervisor), 2011 URL
  • Nuno Gomes, "Aspect mining tool for a dynamic language", MPM (supervisor) URL
  • Ana Isabel Fernandes, "Comparing maps APIs in a mobile context" (Supervisor Armanda Rodrigues, co-supervisor Miguel Goulão) [50% partnership with GISS project team] 2012.
  • Patrícia Espada, "Melhoria da qualidade para modelos orientados a objectivos: o caso da abordagem KAOS", Supervisor Miguel Goulão, co-Supervisor João Araújo, 2012 [50% partnership with SOLAR project team]
• Section 7
  

  Section 7

  Technical reports

  • Cardoso, Diniz, Monteiro, Fernandes, Saraiva, MATLAB Aspects, TR-AMADEUS-01-2009, Dec/2009 Fichier
• Section 8
  

  Section 8

  Missions

  • INCOMING

  • Cristina Videira Lopes, School of Information and Computer Sciences / Univ. of California, Irvine, July 2009 Page
  • Michel Wermelinger, The Open University, 2-5 Nov. 2010 URL
  • ---

  • OUTGOING

  • FBA, Département Informatique , École des Mines de Nantes , France, 9/13 January 2009 Page
  • MPM & Pedro Monteiro, UTAustin, meeting of PRIA project, Austin Texas, USA, 12-20 July 2009 (MPM 1 week, PM 5 weeks).
• Section 9
  

  Section 9

  Events organized

  • CONFERENCES

  • QUATIC'2010 (FBA, MG) Page
  • --------------------------------------------------------------------------------------------
  • WORKSHOPS

  • SEDES'2009 (FBA) Page
  • 7th QUASAR/VALSE Workshop, CITI, 10th March, 2010 Page
  • 8th QUASAR/VALSE Workshop, CITI, June 23, 2011 Page
  • 8th QUASAR/VALSE Workshop, CITI, June 23, 2011 Dossier
• Section 10
  

  Section 10

  Tutorials

  • Introduction to Experimental Software Engineering (SBQS'2010) Fichier
• Section 11
  

  Section 11

  Program Committees
• Section 12
  

  Section 12