Raul Vidal - Academia.edu (original) (raw)

Papers by Raul Vidal

Research paper thumbnail of Challenges in Implementing CMMI® High Maturity: Lessons Learned and Recommendations

CMMI ® allows organisations to improve the quality of their products and customer satisfaction; r... more CMMI ® allows organisations to improve the quality of their products and customer satisfaction; reduce cost, schedule and rework; and make their processes more predictable. However, this is not always the case, as there are differences in performance between CMMI organisations, depending not only on the context of the business, projects and team but also on the methodologies used in the implementation of the model practices. To better understand the difficulties of implementing CMMI we conducted research on the challenges that organisations face when implementing CMMI. We did a literature review, analysed the data of an SEI survey to organisations being appraised at high maturity levels and conducted three case studies from organisations previously appraised at CMMI maturity level 5. Empirical evidence shows that the identified problems are common to the different sources of information. To prevent such problems in the future, we map the challenges that the organisations faced with a set of proven recommendations in a checklist, to be used by organisations when implementing or improving CMMI practices.

Research paper thumbnail of Specification-Based Testing of User Interfaces

Lecture Notes in Computer Science, 2003

It is proposed an approach to integrate formal methods in the software development process, with ... more It is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user interface development. The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user interface implementation with respect to the specification. These conformity tests are described in detail through a state transition model with an abstraction function mapping concrete (implementation) to abstract (specification) states and operations. In order to illustrate the approach, it is presented a simple login/password dialog specification in VDM++, using a reusable control specification library, with a straightforward translation to Java or C#.

Research paper thumbnail of A model-to-implementation mapping tool for automated model-based GUI testing

This paper presents extensions to Spec Explorer to automate the testing of software applications ... more This paper presents extensions to Spec Explorer to automate the testing of software applications through their GUIs based on a formal specification in Spec. Spec Explorer, a tool developed at Microsoft Research, already supports automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a .Net assembly. The tool described in this paper extends Spec Explorer to automate GUI testing: it adds the capability to gather information about the physical GUI objects that are the target of the user actions described in the model; and it automatically generates a .Net assembly with methods that simulate those actions upon the GUI application under test. The GUI modelling and the overall test process supported by these tools are described. The approach is illustrated with the Notepad application.

Research paper thumbnail of Software Reuse with Use Case Patterns*

Lecture Notes in Computer Science, 2002

Abstract. This work concentrates on reuse-oriented software develop-ment. We propose an approach ... more Abstract. This work concentrates on reuse-oriented software develop-ment. We propose an approach in which we incorporate reuse compo-nents in the initial phases of the software development process, that is to say, requirements specifications. These components, use case in the ...

Research paper thumbnail of Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices

Product-Focused Software Process Improvement, 2012

CMMI practices can be poorly implemented leading to weak performance gain. SCAMPI verifies model ... more CMMI practices can be poorly implemented leading to weak performance gain. SCAMPI verifies model compliance but not performance. Hence, a framework to evaluate the quality of implementation of each practice, based on compliance and performance results, will prevent poor implementation, locate and fix problems, and ultimately achieve better results. In this paper we propose such a framework, based on a combination of leading and lagging indicators measuring compliance, efficiency and efficacy.

Research paper thumbnail of Lessons Learnt in the Implementation of CMMI® Maturity Level 5

2012 Eighth International Conference on the Quality of Information and Communications Technology, 2012

CMMI ® has proven benefits in software process improvement. Typically, organisations that achieve... more CMMI ® has proven benefits in software process improvement. Typically, organisations that achieve a CMMI level rating improve their performance. However, CMMI implementation is not trivial, in particular for high maturity levels, and not all organisations achieve the expected results. Certain CMMI implementation problems may remain undetected by SCAMPI SM since only a sample of the organisation is analysed during the appraisal and assessing the quality of implementation of some practices may be difficult. In this paper we present the case of three CMMI level 5 organisations. From the lessons learnt and based on an extensive bibliographic research, we identify a set of problems and difficulties that organisations willing to implement CMMI should be aware of and provide a set of recommendations to help avoid them. As future research we will develop a framework to help to evaluate the quality of implementation of CMMI practices.

Research paper thumbnail of Towards the Integration of Visual and Formal Models for GUI Testing

Electronic Notes in Theoretical Computer Science, 2007

This paper presents an approach to diminish the effort required in GUI modelling and test coverag... more This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. A familiar visual notation-a subset of UML with minor extensionsis used to model the structure, behaviour and usage of GUIs at a high level of abstraction and to describe test adequacy criteria. The GUI visual model is translated automatically to a model-based formal specification language (e.g., Spec#), hiding formal details from the testers. Then, additional behaviour may be added to the formal model to be used as a test oracle. The adequacy of the test cases generated automatically from the formal model is accessed based on the structural coverage of the UML behavioural diagrams.

Research paper thumbnail of Auditoria Ao Projecto De Voto Electrónico-Fase De Simulação Sistema Unisys (Eleições Legislativas De 2005)

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticação. SEPG Europe 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Da Revista: Engenharia

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Bandeira a meia haste - A FEUP encontra-se de luto, Concurso I&DT Nautilus. Você ...

Research paper thumbnail of Carreira Docente Universitária-Algumas Reflexões E Sugestões

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Oficina de Música da FEUP. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of O Ensino De Engenharia Electrotécnica E De Computadores Na Faculdade De Engenharia Da Universidade Do Porto

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. CISTI 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Processos De Desenvolvimento De Software Ea Sua Influência No Aumento De Competitividade Das Organizações Do Sector

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. TOFA 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Problemas Inerentes Ao Planeamento E Gestão De Projectos De Software: Das Causas às Soluções

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Consultórios de Matemática, Física e Programação. Você está em: Início > Investigação ...

Research paper thumbnail of Arquitectura RISC

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. TOFA 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Comando Numérico Para Prensas Hidráulicas De Duplo Efeito

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Consultórios de Matemática, Física e Programação. Você está em: Início > Investigação ...

Research paper thumbnail of SQL+ T: Proposta De Implementação De Uma Linguagem De Interrogação Para Acesso a Informação Temporal

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Open Mind. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Da Revista: International Journal of Electrical Engineering Education

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. CISTI 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of As Licenciaturas Portuguesas Na área Da Engenharia Electrotécnica E De Computadores

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Mundial de Rugby Sevens Universitário. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Da Revista: Electricidade

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Bandeira a meia haste - A FEUP encontra-se de luto, Clube de Leitura. Você está ...

Research paper thumbnail of Implementação De Novas Tecnologias Da Informação Na Administração Local E Regional. PIM (Projecto De Informatização Municipal): Um Exemplo De …

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Concurso I&DT Nautilus. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Challenges in Implementing CMMI® High Maturity: Lessons Learned and Recommendations

CMMI ® allows organisations to improve the quality of their products and customer satisfaction; r... more CMMI ® allows organisations to improve the quality of their products and customer satisfaction; reduce cost, schedule and rework; and make their processes more predictable. However, this is not always the case, as there are differences in performance between CMMI organisations, depending not only on the context of the business, projects and team but also on the methodologies used in the implementation of the model practices. To better understand the difficulties of implementing CMMI we conducted research on the challenges that organisations face when implementing CMMI. We did a literature review, analysed the data of an SEI survey to organisations being appraised at high maturity levels and conducted three case studies from organisations previously appraised at CMMI maturity level 5. Empirical evidence shows that the identified problems are common to the different sources of information. To prevent such problems in the future, we map the challenges that the organisations faced with a set of proven recommendations in a checklist, to be used by organisations when implementing or improving CMMI practices.

Research paper thumbnail of Specification-Based Testing of User Interfaces

Lecture Notes in Computer Science, 2003

It is proposed an approach to integrate formal methods in the software development process, with ... more It is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user interface development. The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user interface implementation with respect to the specification. These conformity tests are described in detail through a state transition model with an abstraction function mapping concrete (implementation) to abstract (specification) states and operations. In order to illustrate the approach, it is presented a simple login/password dialog specification in VDM++, using a reusable control specification library, with a straightforward translation to Java or C#.

Research paper thumbnail of A model-to-implementation mapping tool for automated model-based GUI testing

This paper presents extensions to Spec Explorer to automate the testing of software applications ... more This paper presents extensions to Spec Explorer to automate the testing of software applications through their GUIs based on a formal specification in Spec. Spec Explorer, a tool developed at Microsoft Research, already supports automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a .Net assembly. The tool described in this paper extends Spec Explorer to automate GUI testing: it adds the capability to gather information about the physical GUI objects that are the target of the user actions described in the model; and it automatically generates a .Net assembly with methods that simulate those actions upon the GUI application under test. The GUI modelling and the overall test process supported by these tools are described. The approach is illustrated with the Notepad application.

Research paper thumbnail of Software Reuse with Use Case Patterns*

Lecture Notes in Computer Science, 2002

Abstract. This work concentrates on reuse-oriented software develop-ment. We propose an approach ... more Abstract. This work concentrates on reuse-oriented software develop-ment. We propose an approach in which we incorporate reuse compo-nents in the initial phases of the software development process, that is to say, requirements specifications. These components, use case in the ...

Research paper thumbnail of Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices

Product-Focused Software Process Improvement, 2012

CMMI practices can be poorly implemented leading to weak performance gain. SCAMPI verifies model ... more CMMI practices can be poorly implemented leading to weak performance gain. SCAMPI verifies model compliance but not performance. Hence, a framework to evaluate the quality of implementation of each practice, based on compliance and performance results, will prevent poor implementation, locate and fix problems, and ultimately achieve better results. In this paper we propose such a framework, based on a combination of leading and lagging indicators measuring compliance, efficiency and efficacy.

Research paper thumbnail of Lessons Learnt in the Implementation of CMMI® Maturity Level 5

2012 Eighth International Conference on the Quality of Information and Communications Technology, 2012

CMMI ® has proven benefits in software process improvement. Typically, organisations that achieve... more CMMI ® has proven benefits in software process improvement. Typically, organisations that achieve a CMMI level rating improve their performance. However, CMMI implementation is not trivial, in particular for high maturity levels, and not all organisations achieve the expected results. Certain CMMI implementation problems may remain undetected by SCAMPI SM since only a sample of the organisation is analysed during the appraisal and assessing the quality of implementation of some practices may be difficult. In this paper we present the case of three CMMI level 5 organisations. From the lessons learnt and based on an extensive bibliographic research, we identify a set of problems and difficulties that organisations willing to implement CMMI should be aware of and provide a set of recommendations to help avoid them. As future research we will develop a framework to help to evaluate the quality of implementation of CMMI practices.

Research paper thumbnail of Towards the Integration of Visual and Formal Models for GUI Testing

Electronic Notes in Theoretical Computer Science, 2007

This paper presents an approach to diminish the effort required in GUI modelling and test coverag... more This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. A familiar visual notation-a subset of UML with minor extensionsis used to model the structure, behaviour and usage of GUIs at a high level of abstraction and to describe test adequacy criteria. The GUI visual model is translated automatically to a model-based formal specification language (e.g., Spec#), hiding formal details from the testers. Then, additional behaviour may be added to the formal model to be used as a test oracle. The adequacy of the test cases generated automatically from the formal model is accessed based on the structural coverage of the UML behavioural diagrams.

Research paper thumbnail of Auditoria Ao Projecto De Voto Electrónico-Fase De Simulação Sistema Unisys (Eleições Legislativas De 2005)

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticação. SEPG Europe 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Da Revista: Engenharia

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Bandeira a meia haste - A FEUP encontra-se de luto, Concurso I&DT Nautilus. Você ...

Research paper thumbnail of Carreira Docente Universitária-Algumas Reflexões E Sugestões

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Oficina de Música da FEUP. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of O Ensino De Engenharia Electrotécnica E De Computadores Na Faculdade De Engenharia Da Universidade Do Porto

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. CISTI 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Processos De Desenvolvimento De Software Ea Sua Influência No Aumento De Competitividade Das Organizações Do Sector

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. TOFA 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Problemas Inerentes Ao Planeamento E Gestão De Projectos De Software: Das Causas às Soluções

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Consultórios de Matemática, Física e Programação. Você está em: Início > Investigação ...

Research paper thumbnail of Arquitectura RISC

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. TOFA 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Comando Numérico Para Prensas Hidráulicas De Duplo Efeito

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Consultórios de Matemática, Física e Programação. Você está em: Início > Investigação ...

Research paper thumbnail of SQL+ T: Proposta De Implementação De Uma Linguagem De Interrogação Para Acesso a Informação Temporal

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Open Mind. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Da Revista: International Journal of Electrical Engineering Education

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. CISTI 2010. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of As Licenciaturas Portuguesas Na área Da Engenharia Electrotécnica E De Computadores

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Mundial de Rugby Sevens Universitário. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...

Research paper thumbnail of Da Revista: Electricidade

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Bandeira a meia haste - A FEUP encontra-se de luto, Clube de Leitura. Você está ...

Research paper thumbnail of Implementação De Novas Tecnologias Da Informação Na Administração Local E Regional. PIM (Projecto De Informatização Municipal): Um Exemplo De …

fe.up.pt

Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Log... more Ligação à página Inicial, This Page in English Saltar para: Menu Principal, Conteúdo, Opções, Login, Atalhos. Ajuda Contextual, Autenticar-se. Concurso I&DT Nautilus. Você está em: Início > Investigação e Desenvolvimento > Publicações > Visualização. ...