Xiuna Zhu

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 development approaches have attracted a lot of attention in the last decade due to their ability to deal with complexity in large software engineering projects. However, a natural question raises, to what extent model-based development approaches are suited to tackle engineering challenges from other application domains such as the automation(More)
The need for a multi-format specification method with unambiguous, easy-to-understand, and easy-to-validate notation is widely recognized. In many years, presenting specifications by diagrams or tables is considered a significant help. In this paper, we focus on the tabular specification method for the multifunctional systems. We introduce a pragmatic(More)
  • 1