Skip to main content
SpringerLink
Log in

A Web Portal for the Certification of Open Source Software

  • Conference paper
  • First Online:
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability (SEFM 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7991))

Included in the following conference series:

  • 1311 Accesses

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.

This work is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-010049.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    An example of such case are the Halstead Complexity Measures [8].

  2. 2.

    In fact, the Fig. 7 shows the HTML that corresponds to the XML that is produced.

References

  1. Haigh, M.: Software quality, non-functional software requirements and it-business alignment. Softw. Qual. Control 18(3), 361–385 (2010)

    Article  MathSciNet  Google Scholar 

  2. Stavrinoudis, D., Xenos, M., Peppas, P., Christodoulakis, D.: Early estimation of users’ perception of software quality. Softw. Qual. Control 13(2), 155–175 (2005)

    Article  Google Scholar 

  3. Dromey, R.G.: Software quality prevention versus cure? Softw. Qual. Control 11(3), 197–210 (2003)

    Article  Google Scholar 

  4. Wilson, D.N., Hall, T.: Perceptions of software quality: a pilot study. Softw. Qual. Control 7(1), 67–75 (1998)

    Google Scholar 

  5. Chulani, S., Boehm, B., Verner, J., Wong, B.: Workshop description of 4th workshop on software quality (wosq). In: Proceedings of the 2006 International Workshop on Software Quality, WoSQ ’06, pp. 1–2. ACM, New York (2006)

    Google Scholar 

  6. Cunha, J., Fernandes, J., Ribeiro, H., Saraiva, J.: Towards a catalog of spreadsheet smells. In: Murgante, B., Gervasi, O., Misra, S., Nedjah, N., Rocha, A.M.A.C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2012, Part IV. LNCS, vol. 7336, pp. 202–216. Springer, Heidelberg (2012)

    Google Scholar 

  7. Cunha, J., Fernandes, J.P., Mendes, J., Martins, P., Saraiva, J.: Smellsheet detective: a tool for detecting bad smells in spreadsheets. In: Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC’12. IEEE Computer Society, Washington (2012) (to appear)

    Google Scholar 

  8. Halstead, M.H.: Elements of Software Science (Operating and Programming Systems Series). Elsevier Science Inc., New York (1977)

    Google Scholar 

  9. Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theor. 2(2), 127–145 (1968). Correction. Mathematical Systems Theory 5(1), 95–96 (1971)

    Google Scholar 

  10. Fernandes, J.P., Saraiva, J.: Tools and libraries to model and manipulate circular programs. In: PEPM’07: Proceedings of the ACM SIGPLAN 2007 Symposium on Partial Evaluation and Program Manipulation, pp. 102–111. ACM Press (2007)

    Google Scholar 

  11. Swierstra, D., Vogt, H.: Higher order attribute grammars. In: Alblas, H., Melichar, B. (eds.) SAGA School 1991. LNCS, vol. 545, pp. 256–296. Springer, Heidelberg (1991)

    Google Scholar 

  12. Squale: Front page. http://www.squale.org. Accessed August 2012

  13. QSOS: Front page. http://www.qsos.org. Accessed August 2012

  14. Alitheia Core: Front page. http://www.sqo-oss.org. Accessed August 2012

  15. Campos, M.D., Barbosa, L.S.: Implementation of an orchestration language as a haskell domain specific language. Electron. Notes Theor. Comput. Sci. 255, 45–64 (2009)

    Article  Google Scholar 

  16. Kitchin, D., Quark, A., Cook, W., Misra, J.: The orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS/FORTE 2009. LNCS, vol. 5522, pp. 1–25. Springer, Heidelberg (2009)

    Google Scholar 

  17. Martins, P., Fernandes, J.P., Saraiva, J.: A purely functional combinator language for software quality assessment. In: Symposium on Languages, Applications and Technologies (SLATE ’12). OASICS, vol. 21, pp. 51–69. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. HASLab / INESC TEC, Universidade do Minho, Braga, Portugal

    Pedro Martins, João P. Fernandes & João Saraiva

Authors
  1. Pedro Martins
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. João P. Fernandes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. João Saraiva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pedro Martins .

Editor information

Editors and Affiliations

  1. United Nations University, Macau, Macao

    Antonio Cerone

  2. Consiglio Nazionale delle Ricerche, Genoa, Italy

    Donatella Persico

  3. United Nations University, Macau, Macao

    Sara Fernandes

  4. Coventry University, Coventry, United Kingdom

    Alexeis Garcia-Perez

  5. Aristotle University of Thessaloniki, Thessaloniki, Greece

    Panagiotis Katsaros

  6. Coventry University, Coventry, United Kingdom

    Siraj Ahmed Shaikh

  7. Aristotle University of Thessaloniki, Thessaloniki, Greece

    Ioannis Stamelos

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Martins, P., Fernandes, J.P., Saraiva, J. (2014). A Web Portal for the Certification of Open Source Software. In: Cerone, A., et al. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability. SEFM 2012. Lecture Notes in Computer Science(), vol 7991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54338-8_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54338-8_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54337-1

  • Online ISBN: 978-3-642-54338-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation