Information Systems Modelling with TROLL Formal Methods at Work

@article{Hartel1997InformationSM,
  title={Information Systems Modelling with TROLL Formal Methods at Work},
  author={Peter Hartel and Grit Denker and Mojgan Kowsari and Maren Krone and Hans-Dieter Ehrich},
  journal={Inf. Syst.},
  year={1997},
  volume={22},
  pages={79-99}
}
| 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 diierent user groups in a German federal institute of weights and measures. We decided to use formal methods right from the beginning of the project. Our approach is based on the formal object oriented speciication language Troll. Starting point of the… CONTINUE READING

From This Paper

Topics from this paper.
13 Citations
43 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 43 references

100 Jahre Physikalisch-Technische Reichsanstalt/Bundesanstalt 1887-1987

  • H. Rechenberg, J. Bortfeld, W. Hanser
  • VCH Verlagsgesllschaft,
  • 1987
Highly Influential
12 Excerpts

Object-Oriented Develop- ment - The Fusion Method

  • D. Coleman, P. Arnold, +4 authors P. Jeremes
  • 1994
Highly Influential
3 Excerpts

An Object-Oriented Formal Method for Distributed Information Systems Design: Syntax and Pragmatics. Informatik-Bericht

  • G. Denker, P. Hartel. Troll
  • 1997
2 Excerpts

Conceptual Modeling of Information Systems as Distributed Object Systems

  • P. Hartel
  • PhD thesis,
  • 1996
1 Excerpt

Similar Papers

Loading similar papers…