Introduction to Domain Science & Engineering
DTU Compute, Dept. of Mathematics and Computer Science,
Techn.Univ.of Denmark, DK-2800 Kgs.Lyngby, Denmark
MAE, MRANS, ACM Fellow, IEEE Fellow
http://www2.imm.dtu.dk/~dibj/ [www2.imm.dtu.dk]
COM1 Level 2
SR3, COM1-02-12
Abstract:
By a domain we shall understand a rationally describable segment of a human assisted reality, i.e., of the world, its physical parts, natural ["God-given"] and artifactual ["man-made"], and living species: plants and animals including, notably, humans. These are endurants ("still"), existing in space, as well as perdurants ("alive"), existing also in time. Emphasis is placed on "humanassistedness", that is, that there is at least one (man-made) artifact and, therefore, that humans are a primary cause for change of endurant states as well as perdurant behaviours.
The seminar presents an overview of domain analysis and domain description calculi of a method for constructing domain descriptions - a phase preceding software systems requirements engineering.
More details of the seminar/lectures are available at:
http://www.imm.dtu.dk/~dibj/2018/nus/bjorner-announcement.pdf
http://www.imm.dtu.dk/~dibj/2018/nus/nus.pdf
Biodata:
DB was Prof. of Computing Science at The Techn. Univ. of Denmark 1. Sept. 1976 - 31 March 2007. DB was with IBM R&D 1962-1976. At IBM DB worked with Gene Amdahl, John Backus, E.F.Codd (Relational Databases) and at the IBM Lab., Vienna, Austria - where DB worked in the small team first R&D'ing VDM, the Vienna Development Method, the first ISO standardised formal method. DB co-founded Dansk Datamatik Center 1979-1989, led many EU R&D projects including the formal spec. of a semantics for Ada, the R&D of, and compilers for CHILL and Ada, and the RAISE, Rigorous Approach to Industrial Software Engineering. 1991-1997 DB was founding and first UN Director of the Macau-based UNU-IIST, the UN University's Intl. Inst. for SW Techn. In 2006 DB published a three volume book "Software Engineering" with Springer.