Layered specifications to support reusability and integrability

Roland T. Mittermeir, Evelin Kofler. Layered specifications to support reusability and integrability. Journal of Systems Integration, 3(3-4):273-302, 1993. [doi]

@article{MittermeirK93,
  title = {Layered specifications to support reusability and integrability},
  author = {Roland T. Mittermeir and Evelin Kofler},
  year = {1993},
  doi = {10.1007/BF01975517},
  url = {http://dx.doi.org/10.1007/BF01975517},
  tags = {reuse},
  researchr = {https://researchr.org/publication/MittermeirK93},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems Integration},
  volume = {3},
  number = {3-4},
  pages = {273-302},
}