|
In this course, you will learn to work with formal (mathematical) methods for information systems specification. It is important that you will be able to understand the formal syntax and semantics in such a way, that you can specify complex domains. Also, you will learn to reason about the correctness and consistency of information systems. When the system contains errors, the system will not be used in the way it is intended to be used. Also, the completeness of the information system is important. An incomplete system will not be accepted by the users.
|
|
In this course we focus on information systems and techniques used for the formal specification of such systems. Here the central question is: how to specify the formal syntax and semantics of the information system? In order to discuss this, we will use the following properties. The specification of the system must be formal, at a conceptual level, with sufficient expressive power, comprehensible, and suitable for the domain of information systems.
Instructional modes
|
|
|
|
Basic knowledge about discrete mathematics is important.
|
|
|
During the quarter, the students will conduct a project, in which they apply and evaluate the theory. In this project they also write a proposal to extend or improve the theory. The project must result in a Project Report. The final grade for this course is determined on the basis of the Project Report.
|
|
|
Applying the theory is a basic skill. Evaluating the applicability is more challenging. The real challenge is to describe possible improvements and extensions of the theory.
|
|