Separation of concerns for dependable software design

Daniel Jackson, Eunsuk Kang. Separation of concerns for dependable software design. In Gruia-Catalin Roman, Kevin J. Sullivan, editors, Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. pages 173-176, ACM, 2010. [doi]

@inproceedings{JacksonK10-0,
  title = {Separation of concerns for dependable software design},
  author = {Daniel Jackson and Eunsuk Kang},
  year = {2010},
  doi = {10.1145/1882362.1882399},
  url = {http://doi.acm.org/10.1145/1882362.1882399},
  tags = {separation of concerns, design},
  researchr = {https://researchr.org/publication/JacksonK10-0},
  cites = {0},
  citedby = {0},
  pages = {173-176},
  booktitle = {Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010},
  editor = {Gruia-Catalin Roman and Kevin J. Sullivan},
  publisher = {ACM},
  isbn = {978-1-4503-0427-6},
}