Science of Computer Programming

ISSNs: 0167-6423

Elsevier

Scopus rating (2018): CiteScore 1.45 SJR 0.317 SNIP 1.277

Journal

Publications

  1. 2019
  2. Multi-core cyclic executives for safety-critical systems

    Deutschbein, C., Fleming, T. D., Burns, A. & Baruah, S., 1 Mar 2019

    Article in Science of Computer Programming

  3. Verified simulation for robotics

    Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019

    Article in Science of Computer Programming

  4. 2014
  5. A survey and comparison of transformation tools based on the transformation tool contest

    Edgar, J., Buchwald, S., Wagelaar, D., Li, D., Hegedüs, Á., Herrmannsdoerfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L. M., Wätzoldt, S. & Mazanek, S., 1 Jun 2014

    Article in Science of Computer Programming

  6. 2013
  7. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  8. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  9. 2012
  10. 2011
  11. 2010
  12. Sound refactorings

    Cornelio, M., Cavalcanti, A. & Sampaio, A., Mar 2010

    Article in Science of Computer Programming

  13. 2009
  14. 2007
  15. Engineering and theoretical underpinnings of retrenchment

    Banach, R., Poppleton, M., Jeske, C. & Stepney, S., 1 Jul 2007

    Literature review in Science of Computer Programming

  16. 2004
  17. 2003
  18. 1999
  19. Graph Transformation for Specification and Programming

    Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H-J., Kuske, S., Plump, D., Schürr, A. & Taentzer, G., 1999

    Article in Science of Computer Programming

  20. 1998
Previous 1 2 Next

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations