Dongyue Mou

Learn More
One of the common problems of system development projects is that the system documentation is often outdated and does not describe the latest version of the system. The situation is even more complicated if we are speaking not about a natural language description of the system, but about its formal specification. In this paper we discuss how the problem(More)
Model-based requirements engineering supports eliciting, specifying and analyzing the work products elaborated during the requirements engineering process by providing adequate models. However, especially the inclusion of formal models needs to be investigated further. These models represent requirements and have to be integrated with reference models that(More)
Model-based Requirements Engineering (MbRE) promises Requirements Engineering (RE) experts o cope with the the increasing complexity of the embedded systems domain. A major obstacle for using models more intensively in RE is the lack of appropriate tool support. A number of industrial and academic RE tools exist that support model-based development.(More)
  • 1