Luiz A. de Lima, Jair M. Abe, Caique Z. Kirilo, Jonas P. da Silva, Alvaro C. de Frederico, Kazumi Nakamatsu



Using Logic Concepts on Software Measurement

pdf PDF


The decision making on the Brazilian software and service market for the acquisition or transformation of software since the end of the 1990s has as a criterion for the use of the metric technique of function point Software Size. In this paper, support for technology, distortions between expert opinions in function point counting of new software, the inclusion of benefits in decision making by managers or managers of companies. For this, the objective is to make use of concepts supported in paraconsistent logic.


Paraconsistent Decision Method, Paraconsistent logic, Paraconsistent Annotated Evidential Logic Et, Decision-Making, Software Measurement, Quality


[1] IEEE Standard for Software Productivity Metrics (IEEE Std 1045 1992). S .l. : IEEE, 1993.

[2] Albrecht, Allan J. Measuring Application Development Productivity. In: Proceeding of the Joint SHARE/GUIDE/IBM Application Development Symposium, vol 10, pp.83-92. October 1979,http://www.bfpug.com.br/Artigos/Albrec ht/MeasuringApplicationDevelopmentProducti vity.pdf. S .l. : Symposium, 1979.

[3] CPM. Function Point Counting Practices Manual, Release 4.3.1. Release 4.3.1. S .l. : IFPUG, 2010.

[4] ISO/IEC14143-1:. Information technology Software measurement Functional size measurement Definition of concepts.", Standardization, International Organization, ISO. Geneva, 1996: s.n., 1996

[5] Strauss, Anselm, and Corbin, Juliet. Basics of qualitative research. Newbury Park, CA: Sage, 1990. Vol. Vol. 15.

[6] K. Petersen and Gencel, C. Worldviews, research methods, and their relationship to validity in empirical software engineering research, in Proceedings of the 2013 Joint Conference of the 23rd International Workshop on Software Measurement and the 2013 Eighth International Confe. S .l. : pp.81–89., 2013.

[7] Carvalho, F. R., & Abe, J. M. Tomadas de Decisão com Ferramentas da Lógica Paraconstistente Anotada. São Paulo : Edgard Blucher Ltda., 2011.

[8] Abe, J. M., S., Akama and K., Nakamatsu. Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning, Series Title Intelligent Systems Reference Library, 2015. p. 190. Vols. 88, Publisher Springer International Publishing, DOI 10.1007/978-3-319-17912-4, Hardcover ISBN 978-3-319-17911-7, Series ISSN 1868-4394, Edition Number 1, 190 pages, 2015

[9] Abe, Jair Minoro. Paraconsistent logics and applications. In: 4th International Workshop on Soft Computing Applications. S .l. : IEEE, 2010. pp. 11–18.

[10] ISO/IEC20926: Software Engineering - IFPUG functional size measurement method, International Organization for Standardization, ISO. Genève, 2009: s.n., 2009.

[11] Abe, J. M. Paraconsistent Intelligent Based- Systems: New Trends in the Applications of Paraconsistency, editor, Book Series: “Intelligent Systems Reference Library,” Springer-Verlag. Germany, 2015: s.n., 2015. Vols. 94, ISBN:978-3-319-19721-0, 306 pages.

[12] Akama, S. Towards Paraconsistent Engineering, Intelligent Systems Reference Library,. 2016. Vols. 110, ISBN: 978-3-319- 40417-2 (Print) 978-3-319-40418-9 (Online), Series ISSN 1868-4394, Publisher Springer International Publish-ing, DOI: 10.1007/978-3- 319-40418-9, 234 pages, 2016.

[13] Carvalho, F. R. Aplicação de Lógica Paraconsistente Anotada em Tomadas de Decisão na Engenharia de Produção. Tese (Doutorado) – Escola Politécnica da Universidade de São Paulo, Departamento de Engenharia de Produção. 2006.

[14] Jones, Capers., 2010. Software Engineering Best Practices.: McGraw Hill

[15] Costa, N. C. A.,Abe, J.M., Silva Filho, João Inácio da, Leite, C. F. S. and Murolo, A. 1999. LógicaParaconsistenteAplicada.: 1.ed. São Paulo: Atlas, v. 1. p.214.

Cite this paper

Luiz A. de Lima, Jair M. Abe, Caique Z. Kirilo, Jonas P. da Silva, Alvaro C. de Frederico, Kazumi Nakamatsu. (2018) Using Logic Concepts on Software Measurement. International Journal of Computers, 3, 140-144


Copyright © 2018 Author(s) retain the copyright of this article.
This article is published under the terms of the Creative Commons Attribution License 4.0