Tag Archives: propositional logic

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

Design a site like this with WordPress.com