Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > A Web Portal for the Certification of Open Source Software
Publication

Publications

A Web Portal for the Certification of Open Source Software

Title
A Web Portal for the Certification of Open Source Software
Type
Article in International Conference Proceedings Book
Year
2012
Authors
Martins, P
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. View Authenticus page Without ORCID
Joao Paulo Fernandes
(Author)
FEUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Saraiva, J
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. View Authenticus page Without ORCID
Conference proceedings International
Pages: 244-260
10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012
Thessaloniki, 1 October 2012 through 5 October 2012
Indexing
Other information
Authenticus ID: P-009-BZZ
Abstract (EN): This paper presents a web portal for the certification of open source software. The portal aims at helping programmers in the internet age, when there are (too) many open source reusable libraries and tools available. Our portal offers programmers a web-based and easy setting to analyze and certify open source software, which is a crucial step to help programmers choosing among many available alternatives, and to get some guarantees before using one piece of software. The paper presents our first prototype of such web portal. It also describes in detail a domain specific language that allows programmers to describe with a high degree of abstraction specific open source software certifications. The design and implementation of this language is the core of the web portal. © Springer-Verlag Berlin Heidelberg 2014.
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Memoized zipper-based attribute grammars and their higher order extension (2019)
Article in International Scientific Journal
Joao Paulo Fernandes; Martins, P; Pardo, A; Saraiva, J; Viera, M
Evaluating refactorings for spreadsheet models (2016)
Article in International Scientific Journal
Cunha, J; Joao Paulo Fernandes; Martins, P; Mendes, J; Pereira, R; Saraiva, J
Embedding attribute grammars and their extensions using functional zippers (2016)
Article in International Scientific Journal
Martins, P; Joao Paulo Fernandes; Saraiva, J; Van Wyk, E; Sloane, A
Zipper-Based Modular and Deforested Computations (2015)
Article in International Conference Proceedings Book
Martins, P; Joao Paulo Fernandes; Saraiva, J
Zipper-Based Attribute Grammars and Their Extensions (2013)
Article in International Conference Proceedings Book
Martins, P; Joao Paulo Fernandes; Saraiva, J

See all (12)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-06 at 13:40:22 | Privacy Policy | Personal Data Protection Policy | Whistleblowing