A formal approach for designing CORBA based applications

Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini. A formal approach for designing CORBA based applications. In ICSE. pages 188-197, 2000. [doi]

@inproceedings{PradellaRMC00,
  title = {A formal approach for designing CORBA based applications},
  author = {Matteo Pradella and Matteo Rossi and Dino Mandrioli and Alberto Coen-Porisini},
  year = {2000},
  doi = {10.1145/337180.337202},
  url = {http://doi.acm.org/10.1145/337180.337202},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/PradellaRMC00},
  cites = {0},
  citedby = {0},
  pages = {188-197},
  booktitle = {ICSE},
}