Tag Archives: epistemology

Artefacts in Technical and Social Contexts

Posted on 2021 March 22 by modelpractice

A Computational Artefact in a human context is not just an embedded system from a machine context with a cuter interface. Continue reading →

Posted in Epistemology, Requirements | Tagged B.C. Smith, computational artefact, embedded systems, engineering, epistemology, Göran Goldkuhl, Goldkuhl, Ontology, physical artefact, RaymondTurner, Requirements Engineering, social artefact, Technical Artefact | 1 Comment

Artefacts of logic Intention

Posted on 2020 November 4 by modelpractice

What are the advantages of stating the intention of a software in a language over expressing it as cases? “Understanding”? Continue reading →

Posted in Epistemology, Requirements | Tagged computational artefact, computer science, concrete computation, engineering, epistemology, Gualtiero Piccinini, lighweight formal metrhods, Ontology, pancomputation, propositional logic, Raymond Turner, Requirements Engineering, requirements specification, software design, Spichkova, Technical Artefact, Toaster, Zamansky | 2 Comments

Computational Artefacts and Software Requirements

Posted on 2020 September 18 by modelpractice

What if the intention of a technical artefact is not at all physical, but solely logical? Continue reading →

Posted in Epistemology, Requirements | Tagged analysis, computational artefact, computer science, design, Elements of Software RequirementsEngineering, engineering, epistemology, mind-body problem, Peter Kroes, Raymond Turner, Requirements, Requirements Engineering, software, software engineering, specification, Technical Artefact | 5 Comments

Software engineering could benefit from a more rigorous grounding in epistemology, e.g., for the account of abstraction. So, let’s see what we can learn from: Raymond Turner (2018) Computational Artifacts Continue reading →

Posted in Epistemology | Tagged abstraction, Bernhard Ganter, Bob Hale, computational artifact, concept analysis, Crispin Wright, David Lewis, epistemology, epistemology of engineering, formal concept analysis, Gideon Rosen, John Burgess, Raymond Turner, software engineering, technical artifact, Turner | 1 Comment

Technical Artefacts and Software Requirements

Posted on 2020 April 4 by modelpractice

The epistemic concept of “Technical Artefact” may prove useful for studying requirements engineering. It brings together the notions of the world as physical objects with the world of intentionally acting agents. Continue reading →

Posted in Epistemology, Requirements, Software_Engineering | Tagged computer science, Elements of Software RequirementsEngineering, engineering, epistemology, Herbert Simon, mind-body problem, Nicola Angius, Peter Kroes, Raymond Turner, Requirements, Requirements Engineering, software, software engineering, specification, Technical Artefact, Teleology | 4 Comments

1 + x = 3 as a Query

Posted on 2016 April 4 by modelpractice

Strongly reduced recap of basic software engineering concepts: Query, Result Set, Requirement. Continue reading →

Posted in Epistemology | Tagged 0-arity, 0-ary, 0-tuple, algebra, epistemology, first order logic, model theory, philosophy of computer science, query, query language, requirement, sentence, software engineering, SQL, tuple, variable | Leave a comment

Stachowiak’s K-System of Modelling

Posted on 2012 July 11 by modelpractice

Beyond the colloquial fundamental model properties Stachowiak gives a more formal definition of model: “Explication of the Concept of Model” … Continue reading →

Posted in Epistemology, Herbert Stachowiak | Tagged abstraction, Allgemeine Modelltheorie, epistemology, General Model Theory, Gerhard Gelbmann, Herbert Stachowiak, model theory, model thinking, Modelling, Pragmatic, Pragmatism, Stachowiak | 5 Comments

Lecture Notes on Model Thinking IV

Posted on 2012 February 19 by modelpractice

Some lecture notes/ scribble on Model Thinking by Scott E. Page. Lecture “Segregation and Peer Effects”, Part 2: “Schelling’s Segregation Model”: Schelling built a model and executed it in order to analyse the empirical phenomenon of segregation … Continue reading →