A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models

Jian-Wan Ding, Liping Chen, Fanli Zhou. A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models. J. Comput. Sci. Technol., 21(3):450-458, 2006. [doi]

@article{DingCZ06,
  title = {A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models},
  author = {Jian-Wan Ding and Liping Chen and Fanli Zhou},
  year = {2006},
  doi = {10.1007/s11390-006-0450-9},
  url = {http://dx.doi.org/10.1007/s11390-006-0450-9},
  tags = {rule-based, debugging, systematic-approach},
  researchr = {https://researchr.org/publication/DingCZ06},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Sci. Technol.},
  volume = {21},
  number = {3},
  pages = {450-458},
}