An approach to formal automated analysis of problem-frame concerns

Maria Augusta V. Nelson, Torsten Nelson, Paulo S. C. Alencar, Donald D. Cowan. An approach to formal automated analysis of problem-frame concerns. Information \& Software Technology, 47(14):913-927, 2005. [doi]

@article{NelsonNAC05,
  title = {An approach to formal automated analysis of problem-frame concerns},
  author = {Maria Augusta V. Nelson and Torsten Nelson and Paulo S. C. Alencar and Donald D. Cowan},
  year = {2005},
  doi = {10.1016/j.infsof.2005.08.005},
  url = {http://dx.doi.org/10.1016/j.infsof.2005.08.005},
  tags = {analysis, C++, systematic-approach},
  researchr = {https://researchr.org/publication/NelsonNAC05},
  cites = {0},
  citedby = {0},
  journal = {Information \& Software Technology},
  volume = {47},
  number = {14},
  pages = {913-927},
}