A Logical Basis for Component-Oriented Software and Systems Engineering

Manfred Broy. A Logical Basis for Component-Oriented Software and Systems Engineering. Comput. J., 53(10):1758-1782, 2010. [doi]

@article{Broy10-1,
  title = {A Logical Basis for Component-Oriented Software and Systems Engineering},
  author = {Manfred Broy},
  year = {2010},
  doi = {10.1093/comjnl/bxq005},
  url = {http://dx.doi.org/10.1093/comjnl/bxq005},
  tags = {software components, software component, software engineering},
  researchr = {https://researchr.org/publication/Broy10-1},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {53},
  number = {10},
  pages = {1758-1782},
}