Information systems modelling with troll formal methods at work
Hartel, Peter [y otros]
Information systems modelling with troll formal methods at work
In this paper we present a national project located in the area of computer aided testing and certifying (CATC) of physical devices. The objective of this project is to develop an information system that supports the various activities of different user groups in a German federal institute of weights and measures. We decided to use formal methods right from the beginning of the project
OBJECT ORIENTED SPECIFICATION
CASE STUDY
INFORMATION SYSTEM
INFORMATION MODELLING
REQUIREMENTS ENGINEERING
FORMAL METHOD
H004.65 INF
Information systems modelling with troll formal methods at work
In this paper we present a national project located in the area of computer aided testing and certifying (CATC) of physical devices. The objective of this project is to develop an information system that supports the various activities of different user groups in a German federal institute of weights and measures. We decided to use formal methods right from the beginning of the project
OBJECT ORIENTED SPECIFICATION
CASE STUDY
INFORMATION SYSTEM
INFORMATION MODELLING
REQUIREMENTS ENGINEERING
FORMAL METHOD
H004.65 INF