Using hypertext for semiformal representation in requirements engineering practice

Abstract

Requirements engineering is insufficiently supported in practice, especially the issue of appropriate formality of the requirements’ representation during their definition is yet unsolved. Since informal natural language has its disadvantages and immediate formal representation is very difficult, a mediating representation is needed. Therefore, we developed a novel approach to requirements engineering — with tool support — that is based on hypertext. We utilize hypertext primarily for semiformal representation, that can help to bridge the informality/formality gap between human and computer. We have applied our approach in real-world projects, and our experience suggests its usefulness. As a consequence, we recommend the use of hypertext for the specification of requirements in practice.