Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello. Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. In 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 28-31 August 2001, Amsterdam, The Netherlands. pages 77-86, IEEE Computer Society, 2001. [doi]

@inproceedings{BernardoCD01,
  title = {Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems},
  author = {Marco Bernardo and Paolo Ciancarini and Lorenzo Donatiello},
  year = {2001},
  doi = {10.1109/WICSA.2001.948411},
  url = {http://doi.ieeecomputersociety.org/10.1109/WICSA.2001.948411},
  tags = {software architecture, architecture, process algebra,  algebra},
  researchr = {https://researchr.org/publication/BernardoCD01},
  cites = {0},
  citedby = {0},
  pages = {77-86},
  booktitle = {2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 28-31 August 2001, Amsterdam, The Netherlands},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1360-3},
}