CROSS

An Infrastructure for Certification and Re-engineering of Open Source Software
View   r76  >  r75  >  r74  >  r73  >  r72  ...

Publications 76 - 12 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 58 to 58
 
  • P. Martins, J.P. Fernandes, J. Saraiva, "A Web Portal for the Certification of Open Source Software", Proceedings of the 6th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2012) (Satellite Event of SEFM'12), Thessaloniki, Greece, 2012.
Added:
>
>
  • N. Oliveira and J.G. Rocha. "Geoserver based W3DS", in AGILE 3D Web Visualization Workshop, Avignon, France, April 2012.

  • J.G. Rocha, N. Oliveira, P. Machado, P. Mendes, and R. Alves. "Servicio Web 3D (W3DS) en Geoserver", in VI JORNADAS DE SIG LIBRE. Servei de Sistemes D’Informació Geogràfica I Telederecció, Universitat de Girona, 2012.
 
  • D. Cruz, M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.

  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011. (pdf)

Publications 75 - 12 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 116 to 116
 

Technical Reports

Changed:
<
<
  • R. Gonçalo, "Automated Teste Generation Survey" University of Minho, December 2012. (pdf) (slides)
>
>
  • Paulo Almeida, "Globo Virtual (Android)", Departamento de Informática, Universidade do Minho, Junho 2013. (pdf)
 
Changed:
<
<
  • J.J. Pereira, "Fundamentos do `Bounded Model Checking' de Programas", University of Minho, November 2012. (pdf)
>
>
  • R. Gonçalo, "Automated Teste Generation Survey", Departamento de Informática, Universidade do Minho, December 2012. (pdf) (slides)

  • J.J. Pereira, "Fundamentos do `Bounded Model Checking' de Programas", Departamento de Informática, Universidade do Minho, November 2012. (pdf)

  • Nuno Oliveira, "Web 3D Service", Departamento de Informática, Universidade do Minho, Junho 2012. (pdf)
 
  • S. Areias, D. da Cruz, P.R. Henriques, "GamaPolarSlicer, technical report", University of Minho, June 2012. (pdf)
Changed:
<
<
  • J.M. Veiga, M.J. Frade, "TreeCycle: a Sonar plugin for design quality assessment of Java programs". Techn. Report CROSS-10.07-1. University of Minho, July 2010. (pdf)
>
>
  • J.M. Veiga, M.J. Frade, "TreeCycle: a Sonar plugin for design quality assessment of Java programs". Techn. Report CROSS-10.07-1. Departamento de Informática, Universidade do Minho, July 2010. (pdf)
 

Report Publication

Line: 202 to 206
 
META FILEATTACHMENT attachment="ArchOSS.pdf" attr="h" comment="" date="1373578548" name="ArchOSS.pdf" path="ArchOSS.pdf" size="629408" stream="ArchOSS.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="CRIWG_2013.pdf" attr="h" comment="" date="1373578604" name="CRIWG_2013.pdf" path="CRIWG_2013.pdf" size="167175" stream="CRIWG_2013.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="Full_Paper_INSUEDU_2012.pdf" attr="h" comment="" date="1373578717" name="Full_Paper_INSUEDU_2012.pdf" path="Full_Paper_INSUEDU_2012.pdf" size="276500" stream="Full_Paper_INSUEDU_2012.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="RT-GloboVirtual.pdf" attr="h" comment="" date="1373631453" name="RT-GloboVirtual.pdf" path="RT-GloboVirtual.pdf" size="281677" stream="RT-GloboVirtual.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="RT-W3DS.pdf" attr="h" comment="" date="1373631475" name="RT-W3DS.pdf" path="RT-W3DS.pdf" size="1112836" stream="RT-W3DS.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 74 - 11 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 198 to 198
 
META FILEATTACHMENT attachment="dptda.pdf" attr="h" comment="" date="1373560414" name="dptda.pdf" path="dptda.pdf" size="316299" stream="dptda.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="psbcl.pdf" attr="h" comment="" date="1373560589" name="psbcl.pdf" path="psbcl.pdf" size="658486" stream="psbcl.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="techReport-ATG.pdf" attr="h" comment="" date="1373568779" name="techReport-ATG.pdf" path="techReport-ATG.pdf" size="3019282" stream="techReport-ATG.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="280-IT0048.pdf" attr="h" comment="" date="1373578427" name="280-IT0048.pdf" path="280-IT0048.pdf" size="573058" stream="280-IT0048.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="ArchOSS.pdf" attr="h" comment="" date="1373578548" name="ArchOSS.pdf" path="ArchOSS.pdf" size="629408" stream="ArchOSS.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="CRIWG_2013.pdf" attr="h" comment="" date="1373578604" name="CRIWG_2013.pdf" path="CRIWG_2013.pdf" size="167175" stream="CRIWG_2013.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="Full_Paper_INSUEDU_2012.pdf" attr="h" comment="" date="1373578717" name="Full_Paper_INSUEDU_2012.pdf" path="Full_Paper_INSUEDU_2012.pdf" size="276500" stream="Full_Paper_INSUEDU_2012.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 73 - 11 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 197 to 197
 
META FILEATTACHMENT attachment="ICSE2013.pdf" attr="h" comment="" date="1373560247" name="ICSE2013.pdf" path="ICSE2013.pdf" size="136561" stream="ICSE2013.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="dptda.pdf" attr="h" comment="" date="1373560414" name="dptda.pdf" path="dptda.pdf" size="316299" stream="dptda.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="psbcl.pdf" attr="h" comment="" date="1373560589" name="psbcl.pdf" path="psbcl.pdf" size="658486" stream="psbcl.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="techReport-ATG.pdf" attr="h" comment="" date="1373568779" name="techReport-ATG.pdf" path="techReport-ATG.pdf" size="3019282" stream="techReport-ATG.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 72 - 11 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 60 to 60
 
  • D. Cruz, M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.
Changed:
<
<
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)
>
>
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011. (pdf)
 
Changed:
<
<
  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.
>
>
  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011.
 
  • L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.
Line: 70 to 70
 
  • N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
Changed:
<
<
  • S. Areias, D. Cruz, P.R. Henriques, and J.S. Pinto, "GammaPolarSlicer", in Computer Science and Information Systems, 8(2):477–499, 2011.

  • P. Martins, P. Lopes, J.P. Fernandes, J. Saraiva, J. Cardoso, "Program and Aspect Metrics for Matlab", in the proceedings of the 12th International Conference on Computational Science and Its Applications (ICCSA 2012), Salvador da Bahia, Brasil, pp. 217-233, Volume 7336 of Lecture Notes in Computer Science, 2012, Springer.
>
>
  • P. Martins, P. Lopes, J.P. Fernandes, J. Saraiva, J. Cardoso, "Program and Aspect Metrics for MATLAB", in the proceedings of the 12th International Conference on Computational Science and Its Applications (ICCSA 2012), Salvador da Bahia, Brasil, pp. 217-233, Volume 7336 of Lecture Notes in Computer Science, 2012, Springer.
 
  • A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, Proceedings of the ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011.
Line: 80 to 78
 
  • N. Carvalho, A. Simões, J.J. Almeida, "OML: A Scripting Approach for Manipulating Ontologies", 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Chaves, Portugal, Junho de 2011. (pdf)
Changed:
<
<
  • J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
>
>
  • J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
 
  • A. Simões, N. Carvalho, J.J. Almeida, "Testing as a Certification Approach", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 10 pages. (pdf)
Line: 191 to 189
 
META FILEATTACHMENT attachment="1820-02141100006A.pdf" attr="h" comment="" date="1372980478" name="1820-02141100006A.pdf" path="1820-02141100006A.pdf" size="700493" stream="1820-02141100006A.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="techReport-ATGsurvey.pdf" attr="h" comment="" date="1373296235" name="techReport-ATGsurvey.pdf" path="techReport-ATGsurvey.pdf" size="497759" stream="techReport-ATGsurvey.pdf" user="Main.MariaJoaoFrade" version="2"
META FILEATTACHMENT attachment="teseMSC-NunoVeiga.pdf" attr="h" comment="" date="1373371518" name="teseMSC-NunoVeiga.pdf" path="teseMSC-NunoVeiga.pdf" size="1629458" stream="teseMSC-NunoVeiga.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Linguamatica-freeling3.pdf" attr="h" comment="" date="1373555623" name="Linguamatica-freeling3.pdf" path="Linguamatica-freeling3.pdf" size="477217" stream="Linguamatica-freeling3.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="SFOpencert2011.pdf" attr="h" comment="" date="1373557554" name="SFOpencert2011.pdf" path="SFOpencert2011.pdf" size="276890" stream="SFOpencert2011.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="slate-yapp.pdf" attr="h" comment="" date="1373558787" name="slate-yapp.pdf" path="slate-yapp.pdf" size="452897" stream="slate-yapp.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="SAC12.pdf" attr="h" comment="" date="1373559042" name="SAC12.pdf" path="SAC12.pdf" size="169180" stream="SAC12.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="oss-dmqa.pdf" attr="h" comment="" date="1373560115" name="oss-dmqa.pdf" path="oss-dmqa.pdf" size="351824" stream="oss-dmqa.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="ICSE2013.pdf" attr="h" comment="" date="1373560247" name="ICSE2013.pdf" path="ICSE2013.pdf" size="136561" stream="ICSE2013.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="dptda.pdf" attr="h" comment="" date="1373560414" name="dptda.pdf" path="dptda.pdf" size="316299" stream="dptda.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="psbcl.pdf" attr="h" comment="" date="1373560589" name="psbcl.pdf" path="psbcl.pdf" size="658486" stream="psbcl.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 71 - 11 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 92 to 92
 
  • S. Areias, D. Cruz, J.S. Pinto, "Contract-based Slicing helps on safety Reuse (poster)", Proc. of 18th Int. Conf. on Program Comprehension (ICPC'10), Braga, Portugal, June 2010, IEEE Computer Society, CPS, pp. 62-63. (pdf)
Changed:
<
<
  • J.C. Silva, C.E. Silva, R.D. Gonçalo, J.A. Saraiva, J.C. Campos, "The GUISurfer tool: towards a language independent approach to reverse engineering GUI code", In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10), ACM, pp. 181-186.
>
>
  • J.C. Silva, C.E. Silva, R.D. Gonçalo, J.A. Saraiva, J.C. Campos, "The GUISurfer tool: towards a language independent approach to reverse engineering GUI code", In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10), Berlin, Germany, June 19-23, 2010, ACM, pp. 181-186.
 
  • J.C. Silva, C.E. Silva, J.C. Campos, J.A. Saraiva, "GUI Behavior from Source Code Analysis", Proc. of 4a. Conf. Nac. em Interacção Humano-Computador (Interacção 2010), Aveiro, Portugal, Outubro 2010, pp. 81-88.
Line: 103 to 103
 
  • Nuno Gil Correia Veloso da Veiga, "Generating Automated Test Cases Based on Models". MSc thesis. Escola de Engenharia, Universidade do Minho, Abril, 2012. (pdf)
Changed:
<
<
  • José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2011. (pdf)
>
>
  • José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho, December, 2011. (pdf)
 
  • Daniela Cruz. "Verification, Slicing, and Visualization of Programs with Contracts". PhD thesis. Escola de Engenharia, Universidade do Minho, October 2011. (pdf)
Changed:
<
<
  • Sérgio Areias. "Contracts and Slicing for Safety Reuse". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2010. (pdf)
>
>
  • Sérgio Areias. "Contracts and Slicing for Safety Reuse". MSc thesis. Escola de Engenharia, Universidade do Minho, December, 2010. (pdf)
 
Changed:
<
<
  • João Miguel Veiga. "Quality Assessment of Java Source Code". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2010. (pdf)
>
>
  • João Miguel Veiga. "Quality Assessment of Java Source Code". MSc thesis. Escola de Engenharia, Universidade do Minho, December, 2010. (pdf)
 
  • Carlos Eduardo Silva. "Reverse Engineering of Rich Internet Applications". MSc thesis. Escola de Engenharia, Universidade do Minho, Setembro, 2010. (pdf)
Line: 118 to 118
 

Technical Reports

Changed:
<
<
  • R. Gonçalo, "Automated Teste Generation Survey" University of Minho, Dezember 2012. (pdf) (slides)
>
>
  • R. Gonçalo, "Automated Teste Generation Survey" University of Minho, December 2012. (pdf) (slides)
 
  • J.J. Pereira, "Fundamentos do `Bounded Model Checking' de Programas", University of Minho, November 2012. (pdf)

Publications 70 - 10 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 16 to 16
 
  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.
Changed:
<
<
  • S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer", ComSIS, Computer Science an Information Systems Journal, (special issue on Advances in Formal Languages, Modeling and Applications), Vol. 8, Num. 2, pp. 477-499, May 2011 (DOI: 10.2298/CSIS110107006A).
>
>
  • S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer", ComSIS, Computer Science an Information Systems Journal, (special issue on Advances in Formal Languages, Modeling and Applications), Vol. 8, Num. 2, pp. 477-499, May 2011.
 
  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.
Added:
>
>

Book

  • J. B. Almeida, M. J. Frade, J. S. Pinto, S. Melo de Sousa. "Rigorous Software Development - An Introduction to Program Verification". Undergraduate Topics in Computer Science, Springer, 2011. ISBN 978-0-85729-017-5.
 

Book Chapters

  • J.C. Campos, J. Saraiva, C. Silva and J.C. Silva. "GUIsurfer: A Reverse Engineering Framework for User Interface Software". In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, pages 31-54. InTech, 2012.
Line: 28 to 32
 

Conference Papers

Changed:
<
<
* S. Fernandes, M. H. Martinho, L S. Barbosa, and A. Cerone, "Integrating formal and informal learning through a FLOSS-based innovative approach", in Gert-Jan de Vreede and Julita Vassileva, editors, 19th International Conference on Collaboration and Technology (CRIWG’13), Lecture Notes in Computer Science, 2013, Springer (accepted for publication). * P. Martins, J.P. Fernandes, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.
>
>
  • S. Fernandes, M. H. Martinho, L S. Barbosa, and A. Cerone, "Integrating formal and informal learning through a FLOSS-based innovative approach", in Gert-Jan de Vreede and Julita Vassileva, editors, 19th International Conference on Collaboration and Technology (CRIWG’13), Lecture Notes in Computer Science, 2013, Springer (accepted for publication).
 
  • S. Fernandes, A. Cerone, L S. Barbosa, and P. M. Papadopoulos, "FLOSS in technology-enhanced learning", in Antonio Cerone and Donatella Persico, editors, 1st International Symposium on Innovation and Sustainability in Education (InSuEdu’12), Lecture Notes in Computer Science, Thessaloniki, Greece, October 2013. Springer (in print).

  • P. Martins, N.R. Carvalho, J.P. Fernandes, J.J. Almeida, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.

Publications 69 - 09 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 98 to 98
 
  • Carlos Miguel Regedor Torres, "Analyzing and Measuring Open-Source Projects". MSc thesis. Escola de Engenharia, Universidade do Minho, Abril, 2013. (pdf)
Added:
>
>
  • Nuno Gil Correia Veloso da Veiga, "Generating Automated Test Cases Based on Models". MSc thesis. Escola de Engenharia, Universidade do Minho, Abril, 2012. (pdf)
 
  • José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2011. (pdf)

  • Daniela Cruz. "Verification, Slicing, and Visualization of Programs with Contracts". PhD thesis. Escola de Engenharia, Universidade do Minho, October 2011. (pdf)
Line: 185 to 187
 
META FILEATTACHMENT attachment="techReport-gBMC.pdf" attr="h" comment="" date="1372960288" name="techReport-gBMC.pdf" path="techReport-gBMC.pdf" size="879806" stream="techReport-gBMC.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="1820-02141100006A.pdf" attr="h" comment="" date="1372980478" name="1820-02141100006A.pdf" path="1820-02141100006A.pdf" size="700493" stream="1820-02141100006A.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="techReport-ATGsurvey.pdf" attr="h" comment="" date="1373296235" name="techReport-ATGsurvey.pdf" path="techReport-ATGsurvey.pdf" size="497759" stream="techReport-ATGsurvey.pdf" user="Main.MariaJoaoFrade" version="2"
Added:
>
>
META FILEATTACHMENT attachment="teseMSC-NunoVeiga.pdf" attr="h" comment="" date="1373371518" name="teseMSC-NunoVeiga.pdf" path="teseMSC-NunoVeiga.pdf" size="1629458" stream="teseMSC-NunoVeiga.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 68 - 08 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 137 to 137
 
META FILEATTACHMENT attachment="report-ex.tex" attr="h" comment="" date="1291295755" name="report-ex.tex" path="report-ex.tex" size="660" stream="report-ex.tex" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="COMPETE_QREN_UE_logo.pdf" attr="h" comment="" date="1299718715" name="COMPETE_QREN_UE_logo.pdf" path="COMPETE_QREN_UE_logo.pdf" size="141349" stream="COMPETE_QREN_UE_logo.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="FCT_logo.pdf" attr="h" comment="" date="1299718734" name="FCT_logo.pdf" path="FCT_logo.pdf" size="18016" stream="FCT_logo.pdf" user="Main.MariaJoaoFrade" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="support.tex" attr="h" comment="" date="1333383458" name="support.tex" path="support.tex" size="865" stream="support.tex" user="Main.MariaJoaoFrade" version="3"
>
>
META FILEATTACHMENT attachment="support.tex" attr="h" comment="" date="1373294033" name="support.tex" path="support.tex" size="989" stream="support.tex" user="Main.MariaJoaoFrade" version="5"
 
META FILEATTACHMENT attachment="tesePhD-JCSilva.pdf" attr="h" comment="" date="1333379784" name="tesePhD-JCSilva.pdf" path="tesePhD-JCSilva.pdf" size="4537426" stream="tesePhD-JCSilva.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="teseMSc-Sergio.pdf" attr="h" comment="" date="1333380462" name="teseMSc-Sergio.pdf" path="teseMSc-Sergio.pdf" size="2526978" stream="teseMSc-Sergio.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="teseMSc-MiguelVeiga.pdf" attr="h" comment="" date="1333380880" name="teseMSc-MiguelVeiga.pdf" path="teseMSc-MiguelVeiga.pdf" size="2578673" stream="teseMSc-MiguelVeiga.pdf" user="Main.MariaJoaoFrade" version="1"
Line: 184 to 184
 
META FILEATTACHMENT attachment="slides-ATG.pdf" attr="h" comment="" date="1372960254" name="slides-ATG.pdf" path="slides-ATG.pdf" size="654707" stream="slides-ATG.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="techReport-gBMC.pdf" attr="h" comment="" date="1372960288" name="techReport-gBMC.pdf" path="techReport-gBMC.pdf" size="879806" stream="techReport-gBMC.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="1820-02141100006A.pdf" attr="h" comment="" date="1372980478" name="1820-02141100006A.pdf" path="1820-02141100006A.pdf" size="700493" stream="1820-02141100006A.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="techReport-ATGsurvey.pdf" attr="h" comment="" date="1373296235" name="techReport-ATGsurvey.pdf" path="techReport-ATGsurvey.pdf" size="497759" stream="techReport-ATGsurvey.pdf" user="Main.MariaJoaoFrade" version="2"

Publications 67 - 08 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 43 to 43
 
  • N.R. Carvalho, "An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension", in Proceedings of the 2013 International Conference on Software Engineering (ICSE 2013), San Francisco, USA, IEEE Press, 2013.
Changed:
<
<
* N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Proc. of the 2013 World Conference on Information Systems and Technologies (WorldCIST'13) held at Algarve, Portugal, March 27-30, 2013, Springer. * N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Olhão, Portugal, 2013.
>
>
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Olhão, Portugal, 2013.
 
  • D. Cruz, "Semantic-based Slicing through the use of Program Contracts", in 1st International Workshop on Interference and Dependence (ID2013), January 21, 2013, Roma, Italy.

  • N.R. Carvalho, A. Simões and J.J. Almeida, "Probabilistic SynSet Based Concept Location", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
Line: 60 to 59
 
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)
Changed:
<
<
* Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011. * Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.
>
>
  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.
 
  • L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.

  • N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)

Publications 66 - 07 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 8 to 8
 
  • S. Fernandes, L. S. S. Barbosa, and A. Cerone, "FLOSS communities as learning networks", in International Journal of Information and Education Technology, 3(2):95–146, 2013, IACSIT Press.
Changed:
<
<
  • P. Martins, J.P. Fernandes, J. Saraiva, "A combinator language for software quality reports", in International Journal of Computer and Communication Engineering, Volume 2, Number 3, May 2013, pp. 377-382, IACSIT Press.
>
>
  • P. Martins, J.P. Fernandes, J. Saraiva, "A combinator language for software quality reports", in International Journal of Computer and Communication Engineering, Volume 2, Number 3, pp. 377-382, May 2013.
 
  • A. Simões and N.R. Carvalho, "Desenvolvimento de Aplicações em Perl com FreeLing 3", Linguamática, Volume 4, Number 2, 2012, pp. 87–92, UVigo.

Publications 65 - 07 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 16 to 16
 
  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.
Changed:
<
<
  • S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer", ComSIS? , Computer Science an Information Systems Journal, (special issue on Advances in Formal Languages, Modeling and Applications), Vol. 8, Num. 2, pp. 477-499, May 2011 (DOI: 10.2298/CSIS110107006A).
>
>
  • S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer", ComSIS, Computer Science an Information Systems Journal, (special issue on Advances in Formal Languages, Modeling and Applications), Vol. 8, Num. 2, pp. 477-499, May 2011 (DOI: 10.2298/CSIS110107006A).
 
  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.

Publications 64 - 05 Jul 2013 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 14 to 14
 
  • J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.
Deleted:
<
<
  • S. Areias, D. Cruz, P.R. Henriques, and J.S. Pinto, "GammaPolarSlicer", in Computer Science and Information Systems, 8(2):477–499, 2011.
 
  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.
Added:
>
>
  • S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer", ComSIS? , Computer Science an Information Systems Journal, (special issue on Advances in Formal Languages, Modeling and Applications), Vol. 8, Num. 2, pp. 477-499, May 2011 (DOI: 10.2298/CSIS110107006A).
 
  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.
Line: 28 to 28
 

Conference Papers

Changed:
<
<
  • S. Fernandes, M. H. Martinho, L S. Barbosa, and A. Cerone, "Integrating formal and informal learning through a FLOSS-based innovative approach", in Gert-Jan de Vreede and Julita Vassileva, editors, 19th International Conference on Collaboration and Technology (CRIWG’13), Lecture Notes in Computer Science, 2013, Springer (accepted for publication).
>
>
* S. Fernandes, M. H. Martinho, L S. Barbosa, and A. Cerone, "Integrating formal and informal learning through a FLOSS-based innovative approach", in Gert-Jan de Vreede and Julita Vassileva, editors, 19th International Conference on Collaboration and Technology (CRIWG’13), Lecture Notes in Computer Science, 2013, Springer (accepted for publication). * P. Martins, J.P. Fernandes, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.
 
  • S. Fernandes, A. Cerone, L S. Barbosa, and P. M. Papadopoulos, "FLOSS in technology-enhanced learning", in Antonio Cerone and Donatella Persico, editors, 1st International Symposium on Innovation and Sustainability in Education (InSuEdu’12), Lecture Notes in Computer Science, Thessaloniki, Greece, October 2013. Springer (in print).

  • P. Martins, N.R. Carvalho, J.P. Fernandes, J.J. Almeida, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.
Line: 42 to 43
 
  • N.R. Carvalho, "An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension", in Proceedings of the 2013 International Conference on Software Engineering (ICSE 2013), San Francisco, USA, IEEE Press, 2013.
Changed:
<
<
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Proc. of the 2013 World Conference on Information Systems and Technologies (WorldCIST'13) held at Algarve, Portugal, March 27-30, 2013, Springer.
>
>
* N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Proc. of the 2013 World Conference on Information Systems and Technologies (WorldCIST'13) held at Algarve, Portugal, March 27-30, 2013, Springer. * N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Olhão, Portugal, 2013.
 
  • D. Cruz, "Semantic-based Slicing through the use of Program Contracts", in 1st International Workshop on Interference and Dependence (ID2013), January 21, 2013, Roma, Italy.

  • N.R. Carvalho, A. Simões and J.J. Almeida, "Probabilistic SynSet Based Concept Location", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
Line: 58 to 60
 
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)
Changed:
<
<
  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011.
>
>
* Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011. * Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.
 
  • L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.

  • N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)

Publications 63 - 04 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Journal Papers

Added:
>
>
  • A. Sanchez, N. Oliveira, L. S. Barbosa, and P. R. Henriques, "A perspective on architectural re-engineering", in Science of Computer Programming, 2013, Elsevier (in print).

  • S. Fernandes, L. S. S. Barbosa, and A. Cerone, "FLOSS communities as learning networks", in International Journal of Information and Education Technology, 3(2):95–146, 2013, IACSIT Press.
 
  • P. Martins, J.P. Fernandes, J. Saraiva, "A combinator language for software quality reports", in International Journal of Computer and Communication Engineering, Volume 2, Number 3, May 2013, pp. 377-382, IACSIT Press.

  • A. Simões and N.R. Carvalho, "Desenvolvimento de Aplicações em Perl com FreeLing 3", Linguamática, Volume 4, Number 2, 2012, pp. 87–92, UVigo.

  • J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.
Added:
>
>
  • S. Areias, D. Cruz, P.R. Henriques, and J.S. Pinto, "GammaPolarSlicer", in Computer Science and Information Systems, 8(2):477–499, 2011.
 
  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.

  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.
Deleted:
<
<

Book

  • J.B. Almeida, M.J. Frade, J.S. Pinto, S. Melo de Sousa. "Rigorous Software Development - An Introduction to Program Verification", 2011, Springer.
 

Book Chapters

Line: 25 to 28
 

Conference Papers

Added:
>
>
  • S. Fernandes, M. H. Martinho, L S. Barbosa, and A. Cerone, "Integrating formal and informal learning through a FLOSS-based innovative approach", in Gert-Jan de Vreede and Julita Vassileva, editors, 19th International Conference on Collaboration and Technology (CRIWG’13), Lecture Notes in Computer Science, 2013, Springer (accepted for publication).

  • S. Fernandes, A. Cerone, L S. Barbosa, and P. M. Papadopoulos, "FLOSS in technology-enhanced learning", in Antonio Cerone and Donatella Persico, editors, 1st International Symposium on Innovation and Sustainability in Education (InSuEdu’12), Lecture Notes in Computer Science, Thessaloniki, Greece, October 2013. Springer (in print).
 
  • P. Martins, N.R. Carvalho, J.P. Fernandes, J.J. Almeida, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.

  • N. Oliveira and J.G. Rocha. "Tiling 3D Terrain Models", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 550-561, Volume 7971 of Lecture Notes in Computer Science, 2013, Springer.
Line: 51 to 58
 
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)
Changed:
<
<
  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.
>
>
  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST, 2011.
 
  • L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.
Line: 59 to 66
 
  • N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
Added:
>
>
  • S. Areias, D. Cruz, P.R. Henriques, and J.S. Pinto, "GammaPolarSlicer", in Computer Science and Information Systems, 8(2):477–499, 2011.
 
  • P. Martins, P. Lopes, J.P. Fernandes, J. Saraiva, J. Cardoso, "Program and Aspect Metrics for Matlab", in the proceedings of the 12th International Conference on Computational Science and Its Applications (ICCSA 2012), Salvador da Bahia, Brasil, pp. 217-233, Volume 7336 of Lecture Notes in Computer Science, 2012, Springer.

  • A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, Proceedings of the ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011.
Line: 173 to 182
 
META FILEATTACHMENT attachment="GamaPolarSlicerTechnicalReport2012.pdf" attr="h" comment="" date="1372808343" name="GamaPolarSlicerTechnicalReport2012.pdf" path="GamaPolarSlicerTechnicalReport2012.pdf" size="1144803" stream="GamaPolarSlicerTechnicalReport2012.pdf" user="Main.PedroRangelHenriques" version="1"
META FILEATTACHMENT attachment="slides-ATG.pdf" attr="h" comment="" date="1372960254" name="slides-ATG.pdf" path="slides-ATG.pdf" size="654707" stream="slides-ATG.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="techReport-gBMC.pdf" attr="h" comment="" date="1372960288" name="techReport-gBMC.pdf" path="techReport-gBMC.pdf" size="879806" stream="techReport-gBMC.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="1820-02141100006A.pdf" attr="h" comment="" date="1372980478" name="1820-02141100006A.pdf" path="1820-02141100006A.pdf" size="700493" stream="1820-02141100006A.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 62 - 04 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 14 to 14
 
  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.
Added:
>
>

Book

  • J.B. Almeida, M.J. Frade, J.S. Pinto, S. Melo de Sousa. "Rigorous Software Development - An Introduction to Program Verification", 2011, Springer.
 

Book Chapters

  • J.C. Campos, J. Saraiva, C. Silva and J.C. Silva. "GUIsurfer: A Reverse Engineering Framework for User Interface Software". In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, pages 31-54. InTech, 2012.
Line: 99 to 103
 

Technical Reports

Added:
>
>
  • R. Gonçalo, "Automated Teste Generation Survey" University of Minho, Dezember 2012. (pdf) (slides)

  • J.J. Pereira, "Fundamentos do `Bounded Model Checking' de Programas", University of Minho, November 2012. (pdf)
 
  • S. Areias, D. da Cruz, P.R. Henriques, "GamaPolarSlicer, technical report", University of Minho, June 2012. (pdf)

  • J.M. Veiga, M.J. Frade, "TreeCycle: a Sonar plugin for design quality assessment of Java programs". Techn. Report CROSS-10.07-1. University of Minho, July 2010. (pdf)
Line: 163 to 171
 
META FILEATTACHMENT attachment="w3ds-paper.pdf" attr="h" comment="" date="1372347794" name="w3ds-paper.pdf" path="w3ds-paper.pdf" size="238055" stream="w3ds-paper.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="ID2013_slicing.pdf" attr="h" comment="" date="1372354368" name="ID2013_slicing.pdf" path="ID2013_slicing.pdf" size="376706" stream="ID2013_slicing.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="GamaPolarSlicerTechnicalReport2012.pdf" attr="h" comment="" date="1372808343" name="GamaPolarSlicerTechnicalReport2012.pdf" path="GamaPolarSlicerTechnicalReport2012.pdf" size="1144803" stream="GamaPolarSlicerTechnicalReport2012.pdf" user="Main.PedroRangelHenriques" version="1"
Added:
>
>
META FILEATTACHMENT attachment="slides-ATG.pdf" attr="h" comment="" date="1372960254" name="slides-ATG.pdf" path="slides-ATG.pdf" size="654707" stream="slides-ATG.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="techReport-gBMC.pdf" attr="h" comment="" date="1372960288" name="techReport-gBMC.pdf" path="techReport-gBMC.pdf" size="879806" stream="techReport-gBMC.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 61 - 04 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 21 to 21
 

Conference Papers

Changed:
<
<
  • P. Martins, J.P. Fernandes, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.
>
>
  • P. Martins, N.R. Carvalho, J.P. Fernandes, J.J. Almeida, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.
 
  • N. Oliveira and J.G. Rocha. "Tiling 3D Terrain Models", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 550-561, Volume 7971 of Lecture Notes in Computer Science, 2013, Springer.
Line: 31 to 31
 
  • N.R. Carvalho, "An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension", in Proceedings of the 2013 International Conference on Software Engineering (ICSE 2013), San Francisco, USA, IEEE Press, 2013.
Changed:
<
<
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Olhão, Portugal, 2013.
>
>
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Proc. of the 2013 World Conference on Information Systems and Technologies (WorldCIST'13) held at Algarve, Portugal, March 27-30, 2013, Springer.
 
  • D. Cruz, "Semantic-based Slicing through the use of Program Contracts", in 1st International Workshop on Interference and Dependence (ID2013), January 21, 2013, Roma, Italy.

Publications 60 - 02 Jul 2013 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 99 to 99
 

Technical Reports

Added:
>
>
  • S. Areias, D. da Cruz, P.R. Henriques, "GamaPolarSlicer, technical report", University of Minho, June 2012. (pdf)
 
  • J.M. Veiga, M.J. Frade, "TreeCycle: a Sonar plugin for design quality assessment of Java programs". Techn. Report CROSS-10.07-1. University of Minho, July 2010. (pdf)
Line: 160 to 162
 
META FILEATTACHMENT attachment="Tiling3D-paper.pdf" attr="h" comment="" date="1372347757" name="Tiling3D-paper.pdf" path="Tiling3D-paper.pdf" size="1350179" stream="Tiling3D-paper.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="w3ds-paper.pdf" attr="h" comment="" date="1372347794" name="w3ds-paper.pdf" path="w3ds-paper.pdf" size="238055" stream="w3ds-paper.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="ID2013_slicing.pdf" attr="h" comment="" date="1372354368" name="ID2013_slicing.pdf" path="ID2013_slicing.pdf" size="376706" stream="ID2013_slicing.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="GamaPolarSlicerTechnicalReport2012.pdf" attr="h" comment="" date="1372808343" name="GamaPolarSlicerTechnicalReport2012.pdf" path="GamaPolarSlicerTechnicalReport2012.pdf" size="1144803" stream="GamaPolarSlicerTechnicalReport2012.pdf" user="Main.PedroRangelHenriques" version="1"

Publications 59 - 30 Jun 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 21 to 21
 

Conference Papers

Changed:
<
<
  • P. Martins, J.P. Fernandes, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, LNCS (to appear).
>
>
  • P. Martins, J.P. Fernandes, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, pp. 443-458, Lecture Notes in Computer Science, 2013, Springer.
 
  • N. Oliveira and J.G. Rocha. "Tiling 3D Terrain Models", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 550-561, Volume 7971 of Lecture Notes in Computer Science, 2013, Springer.
Line: 82 to 82
 

Thesis

Changed:
<
<
  • Carlos Miguel Regedor Torres, "Analyzing and Measuring Open-Source Projects". MSc thesis. Escola de Engenharia, Universidade do Minho, 2013. (pdf)
>
>
  • Carlos Miguel Regedor Torres, "Analyzing and Measuring Open-Source Projects". MSc thesis. Escola de Engenharia, Universidade do Minho, Abril, 2013. (pdf)
 
  • José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2011. (pdf)
Line: 150 to 150
 
META FILEATTACHMENT attachment="Tiling3D.pdf" attr="h" comment="" date="1334307412" name="Tiling3D.pdf" path="Tiling3D.pdf" size="2089279" stream="Tiling3D.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="ap_girona.pdf" attr="h" comment="" date="1334307430" name="ap_girona.pdf" path="ap_girona.pdf" size="2090259" stream="ap_girona.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="MMC-PI-vcGen-report.pdf" attr="h" comment="TReport Isabel Santos" date="1351631856" name="MMC-PI-vcGen-report.pdf" path="MMC-PI-vcGen-report.pdf" size="1712394" stream="MMC-PI-vcGen-report.pdf" user="Main.MariaJoaoFrade" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="teseMSc-MRegedor.pdf" attr="h" comment="Tese Carlos Miguel Regedor Torres" date="1371854122" name="teseMSc-MRegedor.pdf" path="teseMSc-MRegedor.pdf" size="788061" stream="teseMSc-MRegedor.pdf" user="Main.PedroRangelHenriques" version="1"
>
>
META FILEATTACHMENT attachment="teseMSc-MRegedor.pdf" attr="h" comment="" date="1372605142" name="teseMSc-MRegedor.pdf" path="teseMSc-MRegedor.pdf" size="1142497" stream="teseMSc-MRegedor.pdf" user="Main.MariaJoaoFrade" version="2"
 
META FILEATTACHMENT attachment="icica.pdf" attr="h" comment="" date="1372326868" name="icica.pdf" path="icica.pdf" size="528771" stream="icica.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="slate.pdf" attr="h" comment="" date="1372327727" name="slate.pdf" path="slate.pdf" size="454508" stream="slate.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="opencert.pdf" attr="h" comment="" date="1372328582" name="opencert.pdf" path="opencert.pdf" size="358895" stream="opencert.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 58 - 27 Jun 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 159 to 159
 
META FILEATTACHMENT attachment="iccsa12.pdf" attr="h" comment="" date="1372346331" name="iccsa12.pdf" path="iccsa12.pdf" size="1594454" stream="iccsa12.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="Tiling3D-paper.pdf" attr="h" comment="" date="1372347757" name="Tiling3D-paper.pdf" path="Tiling3D-paper.pdf" size="1350179" stream="Tiling3D-paper.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="w3ds-paper.pdf" attr="h" comment="" date="1372347794" name="w3ds-paper.pdf" path="w3ds-paper.pdf" size="238055" stream="w3ds-paper.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="ID2013_slicing.pdf" attr="h" comment="" date="1372354368" name="ID2013_slicing.pdf" path="ID2013_slicing.pdf" size="376706" stream="ID2013_slicing.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 57 - 27 Jun 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 33 to 33
 
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Olhão, Portugal, 2013.
Changed:
<
<
  • D. Cruz, "Semantic-based Slicing through the use of Program Contracts", in 1st International Workshop on Interference and Dependence (ID2013), Januar 21, 2013, Roma, Italy.
>
>
  • D. Cruz, "Semantic-based Slicing through the use of Program Contracts", in 1st International Workshop on Interference and Dependence (ID2013), January 21, 2013, Roma, Italy.
 
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Probabilistic SynSet Based Concept Location", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
Line: 55 to 55
 
  • N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
Added:
>
>
  • P. Martins, P. Lopes, J.P. Fernandes, J. Saraiva, J. Cardoso, "Program and Aspect Metrics for Matlab", in the proceedings of the 12th International Conference on Computational Science and Its Applications (ICCSA 2012), Salvador da Bahia, Brasil, pp. 217-233, Volume 7336 of Lecture Notes in Computer Science, 2012, Springer.
 
  • A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, Proceedings of the ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011.

  • N. Carvalho, A. Simões, J.J. Almeida, "xml2pm: A Tool for Automatic Creation of Object Definitions Based on XML Instances", XATA2011 - 9ª Conferência Nacional em XML, Aplicações e Tecnologias Aplicadas, Vila do Conde, Portugal, Junho de 2011. (pdf)
Line: 154 to 156
 
META FILEATTACHMENT attachment="opencert.pdf" attr="h" comment="" date="1372328582" name="opencert.pdf" path="opencert.pdf" size="358895" stream="opencert.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="iccsa.pdf" attr="h" comment="" date="1372341685" name="iccsa.pdf" path="iccsa.pdf" size="373490" stream="iccsa.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="InTech-book-chapter.pdf" attr="h" comment="" date="1372342645" name="InTech-book-chapter.pdf" path="InTech-book-chapter.pdf" size="999298" stream="InTech-book-chapter.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="iccsa12.pdf" attr="h" comment="" date="1372346331" name="iccsa12.pdf" path="iccsa12.pdf" size="1594454" stream="iccsa12.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="Tiling3D-paper.pdf" attr="h" comment="" date="1372347757" name="Tiling3D-paper.pdf" path="Tiling3D-paper.pdf" size="1350179" stream="Tiling3D-paper.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="w3ds-paper.pdf" attr="h" comment="" date="1372347794" name="w3ds-paper.pdf" path="w3ds-paper.pdf" size="238055" stream="w3ds-paper.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 56 - 27 Jun 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 16 to 16
 

Book Chapters

Changed:
<
<
  • J.C. Campos, J. Saraiva, C. Silva and J.C. Silva. GUIsurfer: A Reverse Engineering Framework for User Interface Software. In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, pages 31-54. InTech, 2012.
>
>
  • J.C. Campos, J. Saraiva, C. Silva and J.C. Silva. "GUIsurfer: A Reverse Engineering Framework for User Interface Software". In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, pages 31-54. InTech, 2012.
 

Conference Papers

Changed:
<
<
  • P. Martins, J.P. Fernandes, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in the proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA'13). LNCS (to appear). .......
>
>
  • P. Martins, J.P. Fernandes, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in Proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, LNCS (to appear).
 
  • N. Oliveira and J.G. Rocha. "Tiling 3D Terrain Models", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 550-561, Volume 7971 of Lecture Notes in Computer Science, 2013, Springer.
Line: 152 to 152
 
META FILEATTACHMENT attachment="icica.pdf" attr="h" comment="" date="1372326868" name="icica.pdf" path="icica.pdf" size="528771" stream="icica.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="slate.pdf" attr="h" comment="" date="1372327727" name="slate.pdf" path="slate.pdf" size="454508" stream="slate.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="opencert.pdf" attr="h" comment="" date="1372328582" name="opencert.pdf" path="opencert.pdf" size="358895" stream="opencert.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="iccsa.pdf" attr="h" comment="" date="1372341685" name="iccsa.pdf" path="iccsa.pdf" size="373490" stream="iccsa.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="InTech-book-chapter.pdf" attr="h" comment="" date="1372342645" name="InTech-book-chapter.pdf" path="InTech-book-chapter.pdf" size="999298" stream="InTech-book-chapter.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 55 - 27 Jun 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Journal Papers

Changed:
<
<
  • A. Simões and N.R. Carvalho, "Desenvolvimento de Aplicações em Perl com FreeLing? 3", Linguamática, Volume 4, Number 2, 2012, pp. 87–92, UVigo.
>
>
  • P. Martins, J.P. Fernandes, J. Saraiva, "A combinator language for software quality reports", in International Journal of Computer and Communication Engineering, Volume 2, Number 3, May 2013, pp. 377-382, IACSIT Press.

  • A. Simões and N.R. Carvalho, "Desenvolvimento de Aplicações em Perl com FreeLing 3", Linguamática, Volume 4, Number 2, 2012, pp. 87–92, UVigo.
 
  • J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.
Line: 19 to 21
 

Conference Papers

Added:
>
>
  • P. Martins, J.P. Fernandes, J. Saraiva, "A Framework for Modular and Customizable Software Analysis", in the proceedings of the 13th International Conference on Computational Science and Its Applications (ICCSA'13). LNCS (to appear). .......

  • N. Oliveira and J.G. Rocha. "Tiling 3D Terrain Models", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 550-561, Volume 7971 of Lecture Notes in Computer Science, 2013, Springer.

  • N. Oliveira and J.G. Rocha. "Web 3D Service Implementation", in Proceedings of Computational Science and Its Applications -- ICCSA 2013, Heidelberg, pp. 538-549, Volume 7973 of Lecture Notes in Computer Science, 2013, Springer.
 
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Defining a Probabilistic Translation Dictionaries Algebra", in XVI Portuguese Conference on Artificial Inteligence (EPIA 2013) (forthcoming).

  • N.R. Carvalho, "An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension", in Proceedings of the 2013 International Conference on Software Engineering (ICSE 2013), San Francisco, USA, IEEE Press, 2013.
Line: 27 to 35
 
  • D. Cruz, "Semantic-based Slicing through the use of Program Contracts", in 1st International Workshop on Interference and Dependence (ID2013), Januar 21, 2013, Roma, Italy.
Changed:
<
<
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Probabilistic SynSet? Based Concept Location", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
>
>
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Probabilistic SynSet Based Concept Location", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.

  • P. Martins, J.P. Fernandes, J. Saraiva, "A Purely Functional Combinator Language for Process Management,", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
 
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Generating flex Lexical Scanners for Perl Parse::Yapp", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
Added:
>
>
  • P. Martins, J.P. Fernandes, J. Saraiva, "A Web Portal for the Certification of Open Source Software", Proceedings of the 6th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2012) (Satellite Event of SEFM'12), Thessaloniki, Greece, 2012.
 
  • D. Cruz, M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.

  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)
Line: 137 to 149
 
META FILEATTACHMENT attachment="ap_girona.pdf" attr="h" comment="" date="1334307430" name="ap_girona.pdf" path="ap_girona.pdf" size="2090259" stream="ap_girona.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="MMC-PI-vcGen-report.pdf" attr="h" comment="TReport Isabel Santos" date="1351631856" name="MMC-PI-vcGen-report.pdf" path="MMC-PI-vcGen-report.pdf" size="1712394" stream="MMC-PI-vcGen-report.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="teseMSc-MRegedor.pdf" attr="h" comment="Tese Carlos Miguel Regedor Torres" date="1371854122" name="teseMSc-MRegedor.pdf" path="teseMSc-MRegedor.pdf" size="788061" stream="teseMSc-MRegedor.pdf" user="Main.PedroRangelHenriques" version="1"
Added:
>
>
META FILEATTACHMENT attachment="icica.pdf" attr="h" comment="" date="1372326868" name="icica.pdf" path="icica.pdf" size="528771" stream="icica.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="slate.pdf" attr="h" comment="" date="1372327727" name="slate.pdf" path="slate.pdf" size="454508" stream="slate.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="opencert.pdf" attr="h" comment="" date="1372328582" name="opencert.pdf" path="opencert.pdf" size="358895" stream="opencert.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 54 - 24 Jun 2013 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 8 to 8
 
  • J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.
Deleted:
<
<
  • M. Regedor, D. da Cruz, P.R. Henriques, "The Role of Best Practices to Appraise Open Source Software", Foundations and Techniques for Open Source Software Certification, Volume 48, 2012. Electronic Communications of the EASST.
 
  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.

  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.

Publications 53 - 24 Jun 2013 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 27 to 27
 
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Olhão, Portugal, 2013.
Added:
>
>
  • D. Cruz, "Semantic-based Slicing through the use of Program Contracts", in 1st International Workshop on Interference and Dependence (ID2013), Januar 21, 2013, Roma, Italy.
 
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Probabilistic SynSet? Based Concept Location", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.

  • N.R. Carvalho, A. Simões and J.J. Almeida, "Generating flex Lexical Scanners for Perl Parse::Yapp", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.

Publications 52 - 22 Jun 2013 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 8 to 8
 
  • J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.
Added:
>
>
  • M. Regedor, D. da Cruz, P.R. Henriques, "The Role of Best Practices to Appraise Open Source Software", Foundations and Techniques for Open Source Software Certification, Volume 48, 2012. Electronic Communications of the EASST.
 
  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.

  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.

Publications 51 - 21 Jun 2013 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 66 to 66
 

Thesis

Added:
>
>
  • Carlos Miguel Regedor Torres, "Analyzing and Measuring Open-Source Projects". MSc thesis. Escola de Engenharia, Universidade do Minho, 2013. (pdf)
 
  • José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2011. (pdf)

  • Daniela Cruz. "Verification, Slicing, and Visualization of Programs with Contracts". PhD thesis. Escola de Engenharia, Universidade do Minho, October 2011. (pdf)
Line: 132 to 134
 
META FILEATTACHMENT attachment="Tiling3D.pdf" attr="h" comment="" date="1334307412" name="Tiling3D.pdf" path="Tiling3D.pdf" size="2089279" stream="Tiling3D.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="ap_girona.pdf" attr="h" comment="" date="1334307430" name="ap_girona.pdf" path="ap_girona.pdf" size="2090259" stream="ap_girona.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="MMC-PI-vcGen-report.pdf" attr="h" comment="TReport Isabel Santos" date="1351631856" name="MMC-PI-vcGen-report.pdf" path="MMC-PI-vcGen-report.pdf" size="1712394" stream="MMC-PI-vcGen-report.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="teseMSc-MRegedor.pdf" attr="h" comment="Tese Carlos Miguel Regedor Torres" date="1371854122" name="teseMSc-MRegedor.pdf" path="teseMSc-MRegedor.pdf" size="788061" stream="teseMSc-MRegedor.pdf" user="Main.PedroRangelHenriques" version="1"

Publications 50 - 21 Jun 2013 - Main.JoseCampos
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 12 to 12
 
  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.
Added:
>
>

Book Chapters

  • J.C. Campos, J. Saraiva, C. Silva and J.C. Silva. GUIsurfer: A Reverse Engineering Framework for User Interface Software. In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, pages 31-54. InTech, 2012.
 

Conference Papers


Publications 49 - 12 Jun 2013 - Main.NunoCarvalho
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Journal Papers

Added:
>
>
  • A. Simões and N.R. Carvalho, "Desenvolvimento de Aplicações em Perl com FreeLing? 3", Linguamática, Volume 4, Number 2, 2012, pp. 87–92, UVigo.
 
  • J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.

  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.
Line: 13 to 15
 

Conference Papers

Added:
>
>
  • N.R. Carvalho, A. Simões and J.J. Almeida, "Defining a Probabilistic Translation Dictionaries Algebra", in XVI Portuguese Conference on Artificial Inteligence (EPIA 2013) (forthcoming).

  • N.R. Carvalho, "An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension", in Proceedings of the 2013 International Conference on Software Engineering (ICSE 2013), San Francisco, USA, IEEE Press, 2013.

  • N.R. Carvalho, A. Simões and J.J. Almeida, "Open Source Software Documentation Mining for Quality Assessment", in Advances in Information Systems and Technologies, Olhão, Portugal, 2013.

  • N.R. Carvalho, A. Simões and J.J. Almeida, "Probabilistic SynSet? Based Concept Location", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.

  • N.R. Carvalho, A. Simões and J.J. Almeida, "Generating flex Lexical Scanners for Perl Parse::Yapp", in Proceedings of the 1st Symposium on Languages, Applications and Technologies (SLATE 2012), Braga, Portugal, 2012.
 
  • D. Cruz, M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.

  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)

Publications 48 - 23 Dec 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 98 to 98
 
META FILEATTACHMENT attachment="Testing_as_a_Certification_Approach.pdf" attr="h" comment="" date="1333402654" name="Testing_as_a_Certification_Approach.pdf" path="Testing_as_a_Certification_Approach.pdf" size="132698" stream="Testing_as_a_Certification_Approach.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="eics141-silva-b.pdf" attr="h" comment="" date="1333402749" name="eics141-silva-b.pdf" path="eics141-silva-b.pdf" size="1741507" stream="eics141-silva-b.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="teseMSc-JLFreitas.pdf" attr="h" comment="Tese Mestrado de ZeLuis? Freitas" date="1333492866" name="teseMSc-JLFreitas.pdf" path="teseMSc-JLFreitas.pdf" size="1067201" stream="teseMSc-JLFreitas.pdf" user="Main.PedroRangelHenriques" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="rbps.pdf" attr="h" comment="paper opencert2011" date="1333605599" name="rbps.pdf" path="rbps.pdf" size="156235" stream="rbps.pdf" user="Main.PedroRangelHenriques" version="1"
>
>
META FILEATTACHMENT attachment="rbps.pdf" attr="h" comment="" date="1356221163" name="rbps.pdf" path="rbps.pdf" size="156729" stream="rbps.pdf" user="Main.MariaJoaoFrade" version="2"
 
META FILEATTACHMENT attachment="SACpaper.pdf" attr="h" comment="" date="1334009845" name="SACpaper.pdf" path="SACpaper.pdf" size="169180" stream="SACpaper.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="COSREV_77.pdf" attr="h" comment="" date="1334010029" name="COSREV_77.pdf" path="COSREV_77.pdf" size="1717162" stream="COSREV_77.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="BRS11.pdf" attr="h" comment="" date="1334011314" name="BRS11.pdf" path="BRS11.pdf" size="273558" stream="BRS11.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 47 - 30 Oct 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 115 to 115
 
META FILEATTACHMENT attachment="testing.pdf" attr="h" comment="Testing as a Certification Approach" date="1334155437" name="testing.pdf" path="testing.pdf" size="133012" stream="testing.pdf" user="Main.NunoCarvalho" version="1"
META FILEATTACHMENT attachment="Tiling3D.pdf" attr="h" comment="" date="1334307412" name="Tiling3D.pdf" path="Tiling3D.pdf" size="2089279" stream="Tiling3D.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="ap_girona.pdf" attr="h" comment="" date="1334307430" name="ap_girona.pdf" path="ap_girona.pdf" size="2090259" stream="ap_girona.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="MMC-PI-vcGen-report.pdf" attr="h" comment="TReport Isabel Santos" date="1351631856" name="MMC-PI-vcGen-report.pdf" path="MMC-PI-vcGen-report.pdf" size="1712394" stream="MMC-PI-vcGen-report.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 46 - 20 Jul 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports


Publications 45 - 21 Jun 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 13 to 13
 

Conference Papers

Changed:
<
<
  • M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.
>
>
  • D. Cruz, M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.
 
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)

Publications 44 - 13 Jun 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 103 to 103
 
META FILEATTACHMENT attachment="COSREV_77.pdf" attr="h" comment="" date="1334010029" name="COSREV_77.pdf" path="COSREV_77.pdf" size="1717162" stream="COSREV_77.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="BRS11.pdf" attr="h" comment="" date="1334011314" name="BRS11.pdf" path="BRS11.pdf" size="273558" stream="BRS11.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="RoleOfCommentsPC.pdf" attr="h" comment="" date="1334011513" name="RoleOfCommentsPC.pdf" path="RoleOfCommentsPC.pdf" size="631113" stream="RoleOfCommentsPC.pdf" user="Main.MariaJoaoFrade" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="tesePhD-Daniela.pdf" attr="" comment="Tese Doutoramento de Daniela da Cruz" date="1334014277" name="tesePhD-Daniela.pdf" path="tesePhD-Daniela.pdf" size="6707241" stream="tesePhD-Daniela.pdf" user="Main.PedroRangelHenriques" version="1"
>
>
META FILEATTACHMENT attachment="tesePhD-Daniela.pdf" attr="h" comment="Tese Doutoramento de Daniela da Cruz" date="1334014277" name="tesePhD-Daniela.pdf" path="tesePhD-Daniela.pdf" size="6707241" stream="tesePhD-Daniela.pdf" user="Main.PedroRangelHenriques" version="1"
 
META FILEATTACHMENT attachment="paper_ICCSA.pdf" attr="h" comment="" date="1334015098" name="paper_ICCSA.pdf" path="paper_ICCSA.pdf" size="1595741" stream="paper_ICCSA.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="paper_SLATE.pdf" attr="h" comment="" date="1334015556" name="paper_SLATE.pdf" path="paper_SLATE.pdf" size="446639" stream="paper_SLATE.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="SEFM2010specSlicing-journal.pdf" attr="h" comment="" date="1334074298" name="SEFM2010specSlicing-journal.pdf" path="SEFM2010specSlicing-journal.pdf" size="432633" stream="SEFM2010specSlicing-journal.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 43 - 13 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 113 to 113
 
META FILEATTACHMENT attachment="xml2pm.pdf" attr="h" comment="xml2pm: A Tool for Automatic Creation of Object Definitions Based on XML Instances" date="1334155224" name="xml2pm.pdf" path="xml2pm.pdf" size="207296" stream="xml2pm.pdf" user="Main.NunoCarvalho" version="1"
META FILEATTACHMENT attachment="oml2.pdf" attr="h" comment="OML: A Scripting Approach for Manipulating Ontologies" date="1334155318" name="oml2.pdf" path="oml2.pdf" size="471013" stream="oml2.pdf" user="Main.NunoCarvalho" version="1"
META FILEATTACHMENT attachment="testing.pdf" attr="h" comment="Testing as a Certification Approach" date="1334155437" name="testing.pdf" path="testing.pdf" size="133012" stream="testing.pdf" user="Main.NunoCarvalho" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Tiling3D.pdf" attr="h" comment="" date="1334307412" name="Tiling3D.pdf" path="Tiling3D.pdf" size="2089279" stream="Tiling3D.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="ap_girona.pdf" attr="h" comment="" date="1334307430" name="ap_girona.pdf" path="ap_girona.pdf" size="2090259" stream="ap_girona.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 42 - 11 Apr 2012 - Main.NunoCarvalho
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 21 to 21
 
  • L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.
Changed:
<
<
  • N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra.
>
>
  • N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
 
Changed:
<
<
  • N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra.
>
>
  • N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
 
  • A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, Proceedings of the ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011.
Changed:
<
<
  • N. Carvalho, A. Simões, J.J. Almeida, "xml2pm: A Tool for Automatic Creation of Object Definitions Based on XML Instances", XATA2011 - 9ª Conferência Nacional em XML, Aplicações e Tecnologias Aplicadas, Vila do Conde, Portugal, Junho de 2011.
>
>
  • N. Carvalho, A. Simões, J.J. Almeida, "xml2pm: A Tool for Automatic Creation of Object Definitions Based on XML Instances", XATA2011 - 9ª Conferência Nacional em XML, Aplicações e Tecnologias Aplicadas, Vila do Conde, Portugal, Junho de 2011. (pdf)
 
Changed:
<
<
  • N. Carvalho, A. Simões, J.J. Almeida, "OML: A Scripting Approach for Manipulating Ontologies", 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Chaves, Portugal, Junho de 2011.
>
>
  • N. Carvalho, A. Simões, J.J. Almeida, "OML: A Scripting Approach for Manipulating Ontologies", 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Chaves, Portugal, Junho de 2011. (pdf)
 
  • J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
Changed:
<
<
  • A. Simões, N. Carvalho, J.J. Almeida, "Testing as a Certification Approach", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 10 pages.
>
>
  • A. Simões, N. Carvalho, J.J. Almeida, "Testing as a Certification Approach", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 10 pages. (pdf)
 
  • J.C. Silva, J.C. Campos, J.A. Saraiva, "GUI Inspection from Source Code Analysis", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 18 pages.
Line: 109 to 108
 
META FILEATTACHMENT attachment="paper_SLATE.pdf" attr="h" comment="" date="1334015556" name="paper_SLATE.pdf" path="paper_SLATE.pdf" size="446639" stream="paper_SLATE.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="SEFM2010specSlicing-journal.pdf" attr="h" comment="" date="1334074298" name="SEFM2010specSlicing-journal.pdf" path="SEFM2010specSlicing-journal.pdf" size="432633" stream="SEFM2010specSlicing-journal.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="6wjp6v-p175.pdf" attr="h" comment="" date="1334140350" name="6wjp6v-p175.pdf" path="6wjp6v-p175.pdf" size="734249" stream="6wjp6v-p175.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="pftl.pdf" attr="h" comment="PFTL: A Systematic Approach For Describing Filesystem Tree Processors" date="1334154820" name="pftl.pdf" path="pftl.pdf" size="188868" stream="pftl.pdf" user="Main.NunoCarvalho" version="1"
META FILEATTACHMENT attachment="oml.pdf" attr="h" comment="Weaving OML in a General Purpose Programming Language" date="1334155036" name="oml.pdf" path="oml.pdf" size="391433" stream="oml.pdf" user="Main.NunoCarvalho" version="1"
META FILEATTACHMENT attachment="xml2pm.pdf" attr="h" comment="xml2pm: A Tool for Automatic Creation of Object Definitions Based on XML Instances" date="1334155224" name="xml2pm.pdf" path="xml2pm.pdf" size="207296" stream="xml2pm.pdf" user="Main.NunoCarvalho" version="1"
META FILEATTACHMENT attachment="oml2.pdf" attr="h" comment="OML: A Scripting Approach for Manipulating Ontologies" date="1334155318" name="oml2.pdf" path="oml2.pdf" size="471013" stream="oml2.pdf" user="Main.NunoCarvalho" version="1"
META FILEATTACHMENT attachment="testing.pdf" attr="h" comment="Testing as a Certification Approach" date="1334155437" name="testing.pdf" path="testing.pdf" size="133012" stream="testing.pdf" user="Main.NunoCarvalho" version="1"

Publications 41 - 11 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 15 to 15
 
  • M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.
Deleted:
<
<
  • A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011. ACM.
 
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)

  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.
Line: 27 to 25
 
  • N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra.
Added:
>
>
  • A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, Proceedings of the ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011.
 
  • N. Carvalho, A. Simões, J.J. Almeida, "xml2pm: A Tool for Automatic Creation of Object Definitions Based on XML Instances", XATA2011 - 9ª Conferência Nacional em XML, Aplicações e Tecnologias Aplicadas, Vila do Conde, Portugal, Junho de 2011.

  • N. Carvalho, A. Simões, J.J. Almeida, "OML: A Scripting Approach for Manipulating Ontologies", 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Chaves, Portugal, Junho de 2011.
Line: 108 to 108
 
META FILEATTACHMENT attachment="paper_ICCSA.pdf" attr="h" comment="" date="1334015098" name="paper_ICCSA.pdf" path="paper_ICCSA.pdf" size="1595741" stream="paper_ICCSA.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="paper_SLATE.pdf" attr="h" comment="" date="1334015556" name="paper_SLATE.pdf" path="paper_SLATE.pdf" size="446639" stream="paper_SLATE.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="SEFM2010specSlicing-journal.pdf" attr="h" comment="" date="1334074298" name="SEFM2010specSlicing-journal.pdf" path="SEFM2010specSlicing-journal.pdf" size="432633" stream="SEFM2010specSlicing-journal.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="6wjp6v-p175.pdf" attr="h" comment="" date="1334140350" name="6wjp6v-p175.pdf" path="6wjp6v-p175.pdf" size="734249" stream="6wjp6v-p175.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 40 - 11 Apr 2012 - Main.JoseCampos
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 15 to 15
 
  • M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.
Added:
>
>
  • A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011. ACM.
 
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)

  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.

Publications 39 - 10 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Journal Papers

Changed:
<
<
  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", In Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.
>
>
  • J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.

  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.
 
  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.
Line: 19 to 21
 
  • L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.
Changed:
<
<
  • N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, and M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra.
>
>
  • N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra.
 
  • N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra.
Line: 103 to 105
 
META FILEATTACHMENT attachment="tesePhD-Daniela.pdf" attr="" comment="Tese Doutoramento de Daniela da Cruz" date="1334014277" name="tesePhD-Daniela.pdf" path="tesePhD-Daniela.pdf" size="6707241" stream="tesePhD-Daniela.pdf" user="Main.PedroRangelHenriques" version="1"
META FILEATTACHMENT attachment="paper_ICCSA.pdf" attr="h" comment="" date="1334015098" name="paper_ICCSA.pdf" path="paper_ICCSA.pdf" size="1595741" stream="paper_ICCSA.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="paper_SLATE.pdf" attr="h" comment="" date="1334015556" name="paper_SLATE.pdf" path="paper_SLATE.pdf" size="446639" stream="paper_SLATE.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="SEFM2010specSlicing-journal.pdf" attr="h" comment="" date="1334074298" name="SEFM2010specSlicing-journal.pdf" path="SEFM2010specSlicing-journal.pdf" size="432633" stream="SEFM2010specSlicing-journal.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 38 - 09 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 101 to 101
 
META FILEATTACHMENT attachment="BRS11.pdf" attr="h" comment="" date="1334011314" name="BRS11.pdf" path="BRS11.pdf" size="273558" stream="BRS11.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="RoleOfCommentsPC.pdf" attr="h" comment="" date="1334011513" name="RoleOfCommentsPC.pdf" path="RoleOfCommentsPC.pdf" size="631113" stream="RoleOfCommentsPC.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="tesePhD-Daniela.pdf" attr="" comment="Tese Doutoramento de Daniela da Cruz" date="1334014277" name="tesePhD-Daniela.pdf" path="tesePhD-Daniela.pdf" size="6707241" stream="tesePhD-Daniela.pdf" user="Main.PedroRangelHenriques" version="1"
Added:
>
>
META FILEATTACHMENT attachment="paper_ICCSA.pdf" attr="h" comment="" date="1334015098" name="paper_ICCSA.pdf" path="paper_ICCSA.pdf" size="1595741" stream="paper_ICCSA.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="paper_SLATE.pdf" attr="h" comment="" date="1334015556" name="paper_SLATE.pdf" path="paper_SLATE.pdf" size="446639" stream="paper_SLATE.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 37 - 09 Apr 2012 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 100 to 100
 
META FILEATTACHMENT attachment="COSREV_77.pdf" attr="h" comment="" date="1334010029" name="COSREV_77.pdf" path="COSREV_77.pdf" size="1717162" stream="COSREV_77.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="BRS11.pdf" attr="h" comment="" date="1334011314" name="BRS11.pdf" path="BRS11.pdf" size="273558" stream="BRS11.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="RoleOfCommentsPC.pdf" attr="h" comment="" date="1334011513" name="RoleOfCommentsPC.pdf" path="RoleOfCommentsPC.pdf" size="631113" stream="RoleOfCommentsPC.pdf" user="Main.MariaJoaoFrade" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="tesePhD-Daniela.pdf" attr="h" comment="" date="1334012003" name="tesePhD-Daniela.pdf" path="tesePhD-Daniela.pdf" size="6707241" stream="tesePhD-Daniela.pdf" user="Main.MariaJoaoFrade" version="1"
>
>
META FILEATTACHMENT attachment="tesePhD-Daniela.pdf" attr="" comment="Tese Doutoramento de Daniela da Cruz" date="1334014277" name="tesePhD-Daniela.pdf" path="tesePhD-Daniela.pdf" size="6707241" stream="tesePhD-Daniela.pdf" user="Main.PedroRangelHenriques" version="1"

Publications 36 - 09 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Journal Papers

Changed:
<
<
  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", In Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277. Elsevier.
>
>
  • M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", In Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.
 
  • L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.

Conference Papers

Changed:
<
<
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Pre-proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), pg. 19-32, Montevideu, Uruguay, November 2011. (pdf)
>
>
  • M. J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.

  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)
 
  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.
Changed:
<
<
  • L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, TTSS'2011 (5th International Workshop on Harnessing Theories for Tool Support in Software, Oslo, September 2011).
>
>
  • L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.
 
  • N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, and M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra.
Line: 44 to 46
 

Thesis

Changed:
<
<
  • José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho. Dezembro, 2011. (pdf)
>
>
  • José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2011. (pdf)
 
Changed:
<
<
  • Daniela Cruz. "Verification, Slicing, and Visualization of Programs with Contracts". PhD thesis. Escola de Engenharia, Universidade do Minho, October 2011.
>
>
  • Daniela Cruz. "Verification, Slicing, and Visualization of Programs with Contracts". PhD thesis. Escola de Engenharia, Universidade do Minho, October 2011. (pdf)
 
Changed:
<
<
  • Sérgio Areias. "Contracts and Slicing for Safety Reuse". MSc thesis. Escola de Engenharia, Universidade do Minho. Dezembro, 2010. (pdf)
>
>
  • Sérgio Areias. "Contracts and Slicing for Safety Reuse". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2010. (pdf)
 
Changed:
<
<
  • João Miguel Veiga. "Quality Assessment of Java Source Code". MSc thesis. Escola de Engenharia, Universidade do Minho. Dezembro, 2010. (pdf)
>
>
  • João Miguel Veiga. "Quality Assessment of Java Source Code". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2010. (pdf)
 
Changed:
<
<
  • Carlos Eduardo Silva. "Reverse Engineering of Rich Internet Applications". MSc thesis. Escola de Engenharia, Universidade do Minho. Setembro, 2010. (pdf)
>
>
  • Carlos Eduardo Silva. "Reverse Engineering of Rich Internet Applications". MSc thesis. Escola de Engenharia, Universidade do Minho, Setembro, 2010. (pdf)
 
  • João Carlos Silva. "GUIsurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces". PhD thesis. Escola de Engenharia, Universidade do Minho, December 2010. (pdf)
Line: 93 to 95
 
META FILEATTACHMENT attachment="Testing_as_a_Certification_Approach.pdf" attr="h" comment="" date="1333402654" name="Testing_as_a_Certification_Approach.pdf" path="Testing_as_a_Certification_Approach.pdf" size="132698" stream="Testing_as_a_Certification_Approach.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="eics141-silva-b.pdf" attr="h" comment="" date="1333402749" name="eics141-silva-b.pdf" path="eics141-silva-b.pdf" size="1741507" stream="eics141-silva-b.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="teseMSc-JLFreitas.pdf" attr="h" comment="Tese Mestrado de ZeLuis? Freitas" date="1333492866" name="teseMSc-JLFreitas.pdf" path="teseMSc-JLFreitas.pdf" size="1067201" stream="teseMSc-JLFreitas.pdf" user="Main.PedroRangelHenriques" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="TheRoleOfCommentsOnProgramComprehension.pdf" attr="h" comment="artigo CoRTA2011? " date="1333575666" name="TheRoleOfCommentsOnProgramComprehension.pdf" path="RoleOfCommentsPC.pdf" size="631113" stream="RoleOfCommentsPC.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="rbps.pdf" attr="" comment="paper opencert2011" date="1333605599" name="rbps.pdf" path="rbps.pdf" size="156235" stream="rbps.pdf" user="Main.PedroRangelHenriques" version="1"
>
>
META FILEATTACHMENT attachment="rbps.pdf" attr="h" comment="paper opencert2011" date="1333605599" name="rbps.pdf" path="rbps.pdf" size="156235" stream="rbps.pdf" user="Main.PedroRangelHenriques" version="1"
META FILEATTACHMENT attachment="SACpaper.pdf" attr="h" comment="" date="1334009845" name="SACpaper.pdf" path="SACpaper.pdf" size="169180" stream="SACpaper.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="COSREV_77.pdf" attr="h" comment="" date="1334010029" name="COSREV_77.pdf" path="COSREV_77.pdf" size="1717162" stream="COSREV_77.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="BRS11.pdf" attr="h" comment="" date="1334011314" name="BRS11.pdf" path="BRS11.pdf" size="273558" stream="BRS11.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="RoleOfCommentsPC.pdf" attr="h" comment="" date="1334011513" name="RoleOfCommentsPC.pdf" path="RoleOfCommentsPC.pdf" size="631113" stream="RoleOfCommentsPC.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="tesePhD-Daniela.pdf" attr="h" comment="" date="1334012003" name="tesePhD-Daniela.pdf" path="tesePhD-Daniela.pdf" size="6707241" stream="tesePhD-Daniela.pdf" user="Main.MariaJoaoFrade" version="1"

Publications 35 - 09 Apr 2012 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 13 to 13
 
  • M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Pre-proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), pg. 19-32, Montevideu, Uruguay, November 2011. (pdf)
Added:
>
>
  • Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.
 
  • L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, TTSS'2011 (5th International Workshop on Harnessing Theories for Tool Support in Software, Oslo, September 2011).

  • N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, and M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra.

Publications 34 - 05 Apr 2012 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 23 to 23
 
  • N. Carvalho, A. Simões, J.J. Almeida, "OML: A Scripting Approach for Manipulating Ontologies", 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Chaves, Portugal, Junho de 2011.
Changed:
<
<
  • J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
>
>
  • J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
 
  • A. Simões, N. Carvalho, J.J. Almeida, "Testing as a Certification Approach", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 10 pages.
Line: 92 to 92
 
META FILEATTACHMENT attachment="eics141-silva-b.pdf" attr="h" comment="" date="1333402749" name="eics141-silva-b.pdf" path="eics141-silva-b.pdf" size="1741507" stream="eics141-silva-b.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="teseMSc-JLFreitas.pdf" attr="h" comment="Tese Mestrado de ZeLuis? Freitas" date="1333492866" name="teseMSc-JLFreitas.pdf" path="teseMSc-JLFreitas.pdf" size="1067201" stream="teseMSc-JLFreitas.pdf" user="Main.PedroRangelHenriques" version="1"
META FILEATTACHMENT attachment="TheRoleOfCommentsOnProgramComprehension.pdf" attr="h" comment="artigo CoRTA2011? " date="1333575666" name="TheRoleOfCommentsOnProgramComprehension.pdf" path="RoleOfCommentsPC.pdf" size="631113" stream="RoleOfCommentsPC.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="rbps.pdf" attr="" comment="paper opencert2011" date="1333605599" name="rbps.pdf" path="rbps.pdf" size="156235" stream="rbps.pdf" user="Main.PedroRangelHenriques" version="1"

Publications 33 - 04 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Project Publications and Reports

Line: 23 to 23
 
  • N. Carvalho, A. Simões, J.J. Almeida, "OML: A Scripting Approach for Manipulating Ontologies", 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Chaves, Portugal, Junho de 2011.
Changed:
<
<
  • J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
>
>
  • J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)
 
  • A. Simões, N. Carvalho, J.J. Almeida, "Testing as a Certification Approach", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 10 pages.
Line: 71 to 70
 Support page: support.tex
Deleted:
<
<