The words contained in this file might help you see if this file matches what you are looking for:
...An ontological analysis from algorithm to computer capability jose m parente de oliveira divisao ciencia da computacao instituto tecnologico aeronatica ita pca mal eduardo gomes cep sao dos campos sp brazil br abstract in software or program ontologies described the literature separation between and implementation views is evident on other hand entities involved such are not very well defined context of programs life cycle having as parts conception construction plan process verification many papers grounded they only assumed premises without top background provide answers some raised questions this paper presents a ontology based basic formal bfo interpretation its show how complex need advance attend theoretical practical needs introduction providing account entity s types nor clear meaning for abstraction these general issues main taken into here following though works characterization another important issue what kind algorithms source codes machine code executions can we organize ...