A concern-based approach to generating formal requirements specifications

Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma, Yan Zhang, Haiyan Zhao, Hong Mei. A concern-based approach to generating formal requirements specifications. Frontiers of Computer Science in China, 4(2):162-172, 2010. [doi]

@article{JinZHMZZM10,
  title = {A concern-based approach to generating formal requirements specifications},
  author = {Ying Jin and Jing Zhang and Weiping Hao and Pengfei Ma and Yan Zhang and Haiyan Zhao and Hong Mei},
  year = {2010},
  doi = {10.1007/s11704-010-0151-y},
  url = {http://dx.doi.org/10.1007/s11704-010-0151-y},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/JinZHMZZM10},
  cites = {0},
  citedby = {0},
  journal = {Frontiers of Computer Science in China},
  volume = {4},
  number = {2},
  pages = {162-172},
}