- The
aims
are to "shake up" the computer & computing
scientists in the audience
by introducing them to an altogether
different approach to software systems development:
one that is
based on
domain engineering
[indisputably] preceding
requirements engineering
,
which now becomes one that
"derives" requirements from domain descriptions.
The approach
to domain engineering has a scientific foundation,
and sheds an
altogether different light on proper ontology descriptions.
- The
objectives
are to show that the development of a class of domain
descriptions,
the so-called manifest domains, can be based on
analysis and description calculi,
and that requirements
"derivation" can be based on a number of domain-to-requirements
operations:
projection, instantiation, determination,
extension, etcetera.
- The
objectives
are also to discuss possible research topics.
Dines Bjorner
2017-01-12