Separation of concerns for dependable software design. Jackson, D. & Kang, E. In Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, Santa Fe, NM, USA, November 7-11, 2010, pages 173-176, 2010.
Separation of concerns for dependable software design [pdf]Paper  bibtex   
@inproceedings{DBLP:conf/sigsoft/JacksonK10,
  author    = {Daniel Jackson and
               Eunsuk Kang},
  title     = {Separation of concerns for dependable software design},
  booktitle = {Proceedings of the Workshop on Future of Software Engineering
               Research, FoSER 2010,
               Santa Fe, NM, USA, November 7-11, 2010},
  year      = {2010},
  pages     = {173-176},
url_paper={pubs/2010/future-workshop-10.pdf}
}
Downloads: 0