-
Join 34 other subscribers
Twitter
- RT @EgbertRijke: The univalent hydrocarbons are premiering today at the Category Theory Octoberfest richardblute.ca/octoberfest-20… Time: 15:45 U… - 4 months ago
Category Archives: Epistemology
Artefacts of logic Intention
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
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
A New Account of Abstraction?
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
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
Categories of semantic Models by Stachowiak
Categorisation by example of semantic models, i.e. models as we use them in software engineering etc, according to Herbert Stachowiak. Continue reading
Posted in Epistemology, Herbert Stachowiak, Requirements
Tagged abstraction, Allgemeine Modelltheorie, empirical models, Finite Model Theory, formal models, General Model Theory, Herbert Stachowiak, Modelling, modelling theory, Requirements Modeling, scientific models, semantic model, semantics, Semiology, Semiotics, Semology, Stachowiak
Leave a comment
1 + x = 3 as a Query
Strongly reduced recap of basic software engineering concepts: Query, Result Set, Requirement. Continue reading
Stachowiak on semantic Requirements Modelling
Excerpt of Herbert Stachowiak’s “Allgemeine Modelltheorie” (General Model Theory). Although this is on empirical-scientific models, it provides a foundation of semantic requirements modelling. Continue reading
Posted in Epistemology, Herbert Stachowiak, Requirements
Tagged abstraction, Allgemeine Modelltheorie, empirical models, Finite Model Theory, formal models, General Model Theory, Herbert Stachowiak, jackson zave, michael a. jackson, Modelling, modelling theory, pamela zave, Requirements Modeling, scientific models, semantic model, semantics, Stachowiak
1 Comment
Examples of Preterition and Abundance in Modelling
In addition to the earlier posting “Stachowiak on Preterition and Abundance in Modelling” here are some examples of Preterition and Abundance in Photography, Use Case Models, and Graph or Flow notations. Continue reading
Posted in Epistemology, Herbert Stachowiak, Software_Engineering
Tagged Abduction, abstraction, Actor, Allgemeine Modelltheorie, Definition, General Model Theory, Herbert Stachowiak, Homomorhism, Homomorphism preservation theorem, Labyrinth, Maze, model, model theory, Modelling, original, Preteritition, Stachowiak, Use Case, Use Case Model
5 Comments
Stachowiak on Preterition and Abundance in Modelling
In his 1973 book “Allgemeine Modelltheorie” Herbert Stachowiak discusses the concepts of Preterition, Abundance and Contrastation of Original-Model mappings. This can be interpreted using homomorphism preservation and other logical concepts. Continue reading
Posted in Epistemology, Herbert Stachowiak
Tagged Abduction, abstraction, Allgemeine Modelltheorie, Contrastation, Definition, General Model Theory, Herbert Stachowiak, Homomorhism, Homomorphism preservation theorem, logic, Mapping, model, model theory, Modelling, original, Preteritition, Stachowiak
10 Comments
modelpractice 