Applying formal description techniques to software architectural design

J. Jenny Li, Joseph Robert Horgan. Applying formal description techniques to software architectural design. Computer Communications, 23(12):1169-1178, 2000. [doi]

@article{LiH00:7,
  title = {Applying formal description techniques to software architectural design},
  author = {J. Jenny Li and Joseph Robert Horgan},
  year = {2000},
  doi = {10.1016/S0140-3664(99)00244-3},
  url = {http://dx.doi.org/10.1016/S0140-3664(99)00244-3},
  tags = {software architecture, architecture, design},
  researchr = {https://researchr.org/publication/LiH00%3A7},
  cites = {0},
  citedby = {0},
  journal = {Computer Communications},
  volume = {23},
  number = {12},
  pages = {1169-1178},
}