Skip to main content
Department of Information Technology

This page is a copy of research/computer_systems/seminars/190909 (Wed, 31 Aug 2022 10:12:46)

Domain Analysis & Description: A Philosophy Basis?

Speaker:
Dines Bjørner, Techn. Univ. of Denmark

Date and Time
September 9 2019, 13:15 - 14:00

Location
Polacksbacken, ITC 4308.

Abstract
The talk consists of two parts: A philosophy part and a terse summary of my April 2019 ACM Trans. on Software Engineering and Methodology paper on Domain Analysis & Description.

In the philosphy part I outline Kai Sorlander's philosophy on what must necessarily be in any description of any world.

In the domain analysis & description part I present a new preamble for software engineering, one that precedes requirements engineering. I outline two calculi: one for the analysis of the endurants of human artefact "dominated" domains, and one for their description. By a transcendental deduction endurant domain descriptions are translated perdurant domain descriptions: manifest parts becoming behaviours.

Back to the seminar page

Updated  2022-08-31 10:12:46 by Victor Kuismin.