Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Science of computer programming

Total activitats: 5
Títol addicional
ScienceDirect e-journals
ISSN
0167-6423 Obrir en finestra nova
Publicació / Producció
New York, NY : Elsevier Science Pub. Co., [199?]-
URL
https://www.sciencedirect.com/science/journal/01676423 Obrir en finestra nova

Producció científica

1 a 5 de 5 resultats
 
  • Mercury: using the QuPreSS reference model to evaluate predictive services

     Martínez-Fernández, S.; Franch, X.; Bisbal, J.
    Science of computer programming
    Vol. 134, p. 61-74
    DOI: 10.1016/j.scico.2015.11.009
    Data de publicació: 2017-02-01
    Article en revista
  • Implementation and design of a service-based framework to integrate personal and institutional learning environments  Accés obert

     Conde, M.; García, F.J.; Alier, M.; Mayol, E.; Fernandez-Llamas, C.
    Science of computer programming
    Vol. 88, p. 41-53
    DOI: 10.1016/j.scico.2013.10.012
    Data de publicació: 2014-08-01
    Article en revista
    Accés al text complet
  • Transformation techniques for OCL constraints

     Cabot, J.; Teniente, E.
    Science of computer programming
    Vol. 68, num. 3, p. 179-195
    Data de publicació: 2007-10
    Article en revista
  • The octahedron abstract domain

     Cortadella, J.
    Science of computer programming
    Vol. 64, num. 1, p. 115-139
    Data de publicació: 2007-01
    Article en revista
  • Automatic generation of polynomial invariants of bounded degree using abstract interpretation

     Rodriguez, E.; Kapur, D.
    Science of computer programming
    Vol. 64, num. 1, p. 54-75
    DOI: 10.1016/j.scico.2006.03.003
    Data de publicació: 2007-01
    Article en revista