For the most recent entries see the Petri Nets Newsletter.

Requirements Engineering of a Medical Information System.

Ermel, Claudia; Padberg, Julia; Ehrig, Hartmut

In: Proceedings of the 2nd World Conference on Integrated Design & Process Technology, 1996, Vol. 1, pages 186-193. The Society for Design and Process Science, 1996.

Abstract: This paper is concerned with the application of a formal technique to software engineering. In this case study we have used rule-based refinement of algebraic high-level nets for the requirements engineering of a medical information system. We outline the basic ideas of rule-based refinement and discuss how this technique is applied to the development from actual state analysis to functional essence.

Keywords: Requirements Engineering, Software Engineering, Refinement, Transformations, Algebraic Nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography