A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. Krämer, B. J. & Margaria, T. Int. J. Semantic Computing (IJSC), 3(1):5-30, 2009.
A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering [link]Paper  bibtex   
@article{ dblp3115899,
  title = {A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering},
  author = {Bernd J. Krämer and Tiziana Margaria},
  author_short = {Krämer, B. J. and Margaria, T.},
  bibtype = {article},
  type = {article},
  year = {2009},
  key = {dblp3115899},
  id = {dblp3115899},
  biburl = {http://www.dblp.org/rec/bibtex/journals/ijsc/KramerM09},
  url = {http://dx.doi.org/10.1142/S1793351X09000641},
  journal = {Int. J. Semantic Computing (IJSC)},
  pages = {5-30},
  number = {1},
  volume = {3},
  text = {Int. J. Semantic Computing (IJSC) 3(1):5-30 (2009)}
}

Downloads: 0