Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies

Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing. Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies. In POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011. pages 97-104, IEEE Computer Society, 2011. [doi]

@inproceedings{DohndorfKKFLLS11,
  title = {Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies},
  author = {Oliver Dohndorf and Jan Krüger and Heiko Krumm and Christoph Fiehe and Anna Litvina and Ingo Lück and Franz-Josef Stewing},
  year = {2011},
  doi = {10.1109/POLICY.2011.32},
  url = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2011.32},
  tags = {refinement, constraints},
  researchr = {https://researchr.org/publication/DohndorfKKFLLS11},
  cites = {0},
  citedby = {0},
  pages = {97-104},
  booktitle = {POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4244-9879-6},
}