A Dynamic Software Certification and Verification Procedure

&
SCI’99 Proceedings 2:426-435 (1998)
  Copy   BIBTEX

Abstract

in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack J. Horner - 2020 - Foundations of Science 25 (3):541-557.
Tiered Certification.Shay Lavie - 2018 - Theoretical Inquiries in Law 19 (1):69-107.
Participatory organic certification in Mexico: an alternative approach to maintaining the integrity of the organic label. [REVIEW]Erin Nelson, Laura Gómez Tovar, Rita Schwentesius Rindermann & Manuel Ángel Gómez Cruz - 2010 - Agriculture and Human Values 27 (2):227-237.
Handwritten Signature Verification using Deep Learning. [REVIEW]Eman Alajrami, Belal A. M. Ashqar, Bassem S. Abu-Nasser, Ahmed J. Khalil, Musleh M. Musleh, Alaa M. Barhoom & Samy S. Abu-Naser - manuscript
The Foundations of Verification in Modeling and Simulation.William J. Rider - 2019 - In Claus Beisbart & Nicole J. Saam (eds.), Computer Simulation Validation: Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives. Springer Verlag. pp. 271-293.
Understanding Firms’ Approaches to Voluntary Certification: Evidence from Multiple Case Studies in FSC Certification.Kathryn Bowler, Pavel Castka & Michaela Balzarova - 2017 - Journal of Business Ethics 145 (2):441-456.
Open access for social simulation.Bruce Edmonds - manuscript
Free, source-code-available, or proprietary: an ethically charged, context-sensitive choice.Marty J. Wolf, Keith W. Miller & Frances S. Grodzinsky - 2009 - Acm Sigcas Computers and Society 39 (1):15-26.
The Impact of Forest Certification on Firm Financial Performance in Canada and the U.S.Kais Bouslah, Bouchra M’Zali, Marie-France Turcotte & Maher Kooli - 2010 - Journal of Business Ethics 96 (4):551 - 572.
The Trouble With Thinking Like Arena: Learning to Use Simulation Software.Reinaldo J. Moraga & Diane M. Rodgers - 2011 - Bulletin of Science, Technology and Society 31 (2):144-152.
Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
Eco-Labeling Strategies and Price-Premium: The Wine Industry Puzzle.Magali Delmas & Laura Grant - 2014 - Business and Society 53 (1):6-44.
The Matrix-Graph Method Of Choice And Verification Of Software Reliability Models.V. S. Kharchenko, O. M. Tarasyuk & V. V. Sklyar - forthcoming - Philosophy of Science.
Should Validation and Verification be Separated Strictly?Claus Beisbart - 2019 - In Claus Beisbart & Nicole J. Saam (eds.), Computer Simulation Validation: Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives. Springer Verlag. pp. 1005-1028.

Analytics

Added to PP
2021-07-23

Downloads
203 (#94,410)

6 months
67 (#63,103)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Julio Michael Stern
University of São Paulo

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references