@inproceedings{f5aca0abef0b4ababc20fe2982f94e04,
title = "A web portal for the certification of open source software",
abstract = "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.",
keywords = "Open source software, Programming languages, Software analysis, Software certification",
author = "Pedro Martins and Fernandes, {Jo{\~a}o P.} and Jo{\~a}o Saraiva",
year = "2014",
doi = "10.1007/978-3-642-54338-8_20",
language = "English (US)",
isbn = "9783642543371",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "244--260",
booktitle = "Information Technology and Open Source",
note = "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 ; Conference date: 01-10-2012 Through 05-10-2012",
}