BEGIN:VCALENDAR VERSION:2.0 PRODID:-//DTU.dk//NONSGML DTU.dk//EN CALSCALE:GREGORIAN BEGIN:VEVENT DTSTART:20201201T130000Z DTEND:20201201T170000Z SUMMARY:Doctoral defence - Dines Bjørner defends his thesisi , "Domain Science & Engineering A Foundation for Software Development" DESCRIPTION:
Professor Emeritus Dines Bjørner, forsvarer sin doktorafhandling, “Domain Science & Engineering - A Foundation for Software Development", d. 1. December, 2020 at 2 p.m. i building 101, Meeting room 1,1. floor. It will also be possible to watch the defence online.
\nBefore the coding of programs one can have a reasonable understanding of their requirements. Before formulating these one can have a reasonable understanding of the domain.
\nWe develop and investigate calculi for the analysis & description of domains.
\nThe calculi are first aimed at domain endurants. Endurants are further characterised by unique identification, mereologies and attributes.
\nBy a transcendental deduction we offer a calculus whereby endurant descriptions are shown to be a basis for perdurant, i.e., domain behaviour descriptions.
\n[Endurants, in software, correspond, roughly, to data, and perdurants to processes.]
\nThis constitutes the main contribution of the thesis.
\nFurther contributions deal with such concepts as domain facets, mathematical models of the domain calculi and of the mereology concepts, deriving requirements from domain models, etc.
\nThe thesis argues that domain modelling, prior to requirements engineering, offers a possible, initial phase of software development, and that domain science & engineering, as here formulated, offers new, relevant research topics.
\n
\nRead Dines Bjørner’s thesis online or contact the doctoral candidate (DTU Compute) for a physical copy.
\n
\nIf you are interested in acting as unofficial opponent, please contact the moderator, Provost Rasmus Larsen, via dr.techn.-adm@dtu.dk.
The event will be held in accordance with restrictions and guidelines regarding COVID-19.
\n\n
Professor Emeritus Dines Bjørner, forsvarer sin doktorafhandling, “Domain Science & Engineering - A Foundation for Software Development", d. 1. December, 2020 at 2 p.m. i building 101, Meeting room 1,1. floor. It will also be possible to watch the defence online.
\nBefore the coding of programs one can have a reasonable understanding of their requirements. Before formulating these one can have a reasonable understanding of the domain.
\nWe develop and investigate calculi for the analysis & description of domains.
\nThe calculi are first aimed at domain endurants. Endurants are further characterised by unique identification, mereologies and attributes.
\nBy a transcendental deduction we offer a calculus whereby endurant descriptions are shown to be a basis for perdurant, i.e., domain behaviour descriptions.
\n[Endurants, in software, correspond, roughly, to data, and perdurants to processes.]
\nThis constitutes the main contribution of the thesis.
\nFurther contributions deal with such concepts as domain facets, mathematical models of the domain calculi and of the mereology concepts, deriving requirements from domain models, etc.
\nThe thesis argues that domain modelling, prior to requirements engineering, offers a possible, initial phase of software development, and that domain science & engineering, as here formulated, offers new, relevant research topics.
\n
\nRead Dines Bjørner’s thesis online or contact the doctoral candidate (DTU Compute) for a physical copy.
\n
\nIf you are interested in acting as unofficial opponent, please contact the moderator, Provost Rasmus Larsen, via dr.techn.-adm@dtu.dk.
The event will be held in accordance with restrictions and guidelines regarding COVID-19.
\n\n