Michele Pasin / Quotes

Eden and Turner: program-script and program-process

In their ontology of computer programs [7], Eden and Turner focus on the differ- ence between code and process, which they understand as two main…

Towards An Ontology Of Software: A Requirements Engineering Perspective #language #Turner #programming-language #program

Reification is not quotation

It is also important to note that the interpretation of reification described here is not the same as "quotation", as found in some languages. Instead, the…

Rdf Primer #reification #language #things

The many meanings of ontology

People use the word ontology to mean different things, e.g. glossaries & data dictionaries, thesauri & taxonomies, schemas & data models, and…

What Are The Differences Between A Vocabulary, A Taxonomy, A Thesaurus, An Ontology, And A Meta-model? #grammar #language #vocabulary #formal-semantics #meaning #things

A program as an abstract artifact

Consider now a program, constituted by a certain code. Let us observe first that this is not a physical object, as it lacks a location in space. So, in pace…

Towards An Ontology Of Software: A Requirements Engineering Perspective #program #number #hand #types #entities #patterns

A program is constituted by code

Since code and program differ in their essential properties (programs are necessari- ly artifacts and possess essential proper functions; codes are not…

Towards An Ontology Of Software: A Requirements Engineering Perspective #entities #program #ED #relation

A program is not its code, process or algorithm

we agree with Irmak that we cannot identify a program either with a code, a process, or an algorithm. The reason is that this view conflicts with common…

Towards An Ontology Of Software: A Requirements Engineering Perspective #code #algorithm #same-algorithm #program