Domain Science & Engineering: A New Facet of Informatics
Hovedinnhold
Speaker: Dines Bjørner (DTU, DK)
Abstract: The goal of domain engineering is to construct a Domain Description. A domain description informally and formally describes (usually) a man-made domain, e.g., air traffic, banking and health care systems. A domain description may be studied (and improved upon), theorems derived etc., analogous to models in e.g. physics. Domain engineering is as such an applied scientific endeavour. Domain science is the theoretical foundation for creating models: "what can be described", "mereology", etc. The talk will survey this and will briefly indicate that domain models can serve as a basis for requirements engineering, the conventional starting point for software development. The talk will "flash" facets of models of example domains and will hint at philosophical issues such as mereology and domain calculi.
About the speaker: Dines Bjørner has been working at IBM (1960s & 1970s), DTU (1976 onwards), was founding director of UNU-IIST (Macau CN, 1992-1997), and has had numerous guest lecture and research stays all over the world. He has been central in the development of VDM and Raise, and has worked on PL/1 and Ada semantics and tools. The last couple of decades his interest has switched to domain science and engineering.
NB: Food and drinks will be served before the seminar outside the large auditorium.