Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems

Michael G. Hinchey, James L. Rash, Christopher Rouff. Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. In 11th International Conference on Parallel and Distributed Systems (ICPADS 2005), 20-22 July 2005, Fuduoka, Japan, 2 Volumes. pages 570-574, IEEE Computer Society, 2005. [doi]

@inproceedings{HincheyRR05:2,
  title = {Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems},
  author = {Michael G. Hinchey and James L. Rash and Christopher Rouff},
  year = {2005},
  doi = {10.1109/ICPADS.2005.148},
  url = {http://dx.doi.org/10.1109/ICPADS.2005.148},
  tags = {rule-based, parallel programming, programming},
  researchr = {https://researchr.org/publication/HincheyRR05%3A2},
  cites = {0},
  citedby = {0},
  pages = {570-574},
  booktitle = {11th International Conference on Parallel and Distributed Systems (ICPADS 2005), 20-22 July 2005, Fuduoka, Japan, 2 Volumes},
  publisher = {IEEE Computer Society},
}