Vol. 48 (2012): Foundations and Techniques for Open Source Software Certification 2011

DOI: https://doi.org/10.14279/tuj.eceasst.48

Published: 2013-04-07

Articles

A Formal Specification of the DNSSEC Model

Ezequiel Bazan Eixarch, Gustavo Betarte, Carlos Luna
- PDF
Using antipatterns to improve the quality of FLOSS development

Antonio Cerone, Dimitrios Settas
- PDF
Process Scenarios in Open Source Software Certification

Fabrizio Fabbrini, Mario Fusani, Eda Marchetti
- PDF
The Role of Best Practices to Appraise Open Source Software

Miguel Regedor, Daniela da Cruz, Pedro Henriques
- PDF
Learning and Activity Patterns in OSS Communities and their Impact on Software Quality

Antonio Cerone
- PDF
Formal verification of a theory of packages

Jaap Boender
- PDF
Quality, Success, Communication and Contribution in Open Source Software

Sara Fernandes
- PDF
Analysis of Collaboration Effectiveness and Individuals’ Contribution in FLOSS Communities

Antonio Cerone, Simon Fong, Siraj Shaikh
- PDF

Preface

Preface

Luis Barbosa, Dimitrios Settas
- PDF