University of Groningenfounded in 1614  -  top 100 university
Close
Research Research database

Science of computer programming, 0167-6423

Journal

1 - 32 out of 32Page size: 50
  1. 2018
  2. Yang, C., Liang, P., & Avgeriou, P. (2018). Evaluation of a process for architectural assumption management in software development. Science of computer programming, 168, 38-70. https://doi.org/10.1016/j.scico.2018.08.002
  3. Kurs, J., Vrany, J., Ghafari, M., Lungu, M., & Nierstrasz, O. (2018). Efficient parsing with parser combinators. Science of computer programming, 161, 57-88. https://doi.org/10.1016/j.scico.2017.12.001
  4. 2015
  5. Basten, B., van den Bos, J., Hills, M., Klint, P., Lankamp, A., Lisser, B., van der Ploeg, A., van der Storm, T., & Vinju, J. (2015). Modular language implementation in Rascal - experience report. Science of computer programming, 114, 7-19. https://doi.org/10.1016/j.scico.2015.11.003
  6. Hesselink, W. H. (2015). Mutual exclusion by four shared bits with not more than quadratic complexity. Science of computer programming, 102, 57-75. https://doi.org/10.1016/j.scico.2015.01.001
  7. Di Giusto, C., & Perez, J. A. (2015). Disciplined structured communications with disciplined runtime adaptation. Science of computer programming, 97(2), 235-265. https://doi.org/10.1016/j.scico.2014.04.017
  8. 2014
  9. van der Storm, T., Cook, W. R., & Loh, A. (2014). The design and implementation of Object Grammars. Science of computer programming, 96, 460-487. https://doi.org/10.1016/j.scico.2014.02.023
  10. Lungu, M., Lanza, M., & Nierstrasz, O. (2014). Evolutionary and collaborative software architecture recovery with Softwarenaut. Science of computer programming, 79, 204-223. https://doi.org/10.1016/j.scico.2012.04.007
  11. Reniers, D., Voinea, L., Ersoy, O., & Telea, A. (2014). The Solid* toolset for software visual analytics of program structure and metrics comprehension: From research prototype to product. Science of computer programming, 79, 224-240. https://doi.org/10.1016/j.scico.2012.05.002
  12. 2013
  13. Hartmann, J. H., Keren, M., Matsinger, A., Rubin, J., Trew, T., & Yatzkar-Haham, T. (2013). Using MDA for integration of heterogeneous components in software supply chains. Science of computer programming, 78(12), 2313-2330. https://doi.org/10.1016/j.scico.2012.04.004
  14. Hesselink, W. H. (2013). Complete assertional proof rules for progress under weak and strong fairness. Science of computer programming, 78(9), 1521-1537. https://doi.org/10.1016/j.scico.2012.10.013
  15. Hesselink, W. H. (2013). Mechanical verification of Lamport's Bakery algorithm. Science of computer programming, 78(9), 1622-1638. https://doi.org/10.1016/j.scico.2013.03.003
  16. 2012
  17. Heesch, U. V., Avgeriou, P., Zdun, U., & Harrison, N. (2012). The supportive effect of patterns in architecture decision recovery-A controlled experiment. Science of computer programming, 77(5), 551-576. https://doi.org/10.1016/j.scico.2011.11.008
  18. 2011
  19. Callo Arias, T. B., Avgeriou, P., America, P., Blom, K., & Bachynskyy, S. (2011). A top-down strategy to reverse architecting execution views for a large and complex software-intensive system: An experience report. Science of computer programming, 76(12), 1098-1112. https://doi.org/10.1016/j.scico.2010.11.008
  20. Hesselink, W. H. (2011). Simulation refinement for concurrency verification. Science of computer programming, 76(9), 739-755. https://doi.org/10.1016/j.scico.2009.09.006
  21. Clarke, D., Proenca, J., Lazovik, A., & Arbab, F. (2011). Channel-based coordination via constraint satisfaction. Science of computer programming, 76(8), 681-710. https://doi.org/10.1016/j.scico.2010.05.004
  22. Hesselink, W. H., & Aravind, A. A. (2011). Queue based mutual exclusion with linearly bounded overtaking. Science of computer programming, 76(7), 542-554. https://doi.org/10.1016/j.scico.2010.11.002
  23. Krause, C., Maraikar, Z., Lazovik, A., & Arbab, F. (2011). Modeling dynamic reconfigurations in Reo using high-level replacement systems. Science of computer programming, 76(1), 23-36. https://doi.org/10.1016/j.scico.2009.10.006
  24. 2010
  25. Lungu, M., Lanza, M., Gîrba, T., & Robbes, R. (2010). The Small Project Observator: Visualizing Software Ecosystems. Science of computer programming, 75(4), 264-275. https://doi.org/10.1016/j.scico.2009.09.004
  26. 2008
  27. Hesselink, W. H. (2008). A challenge for atomicity verification. Science of computer programming, 71(1), 57-72. https://doi.org/10.1016/j.scico.2008.01.001
  28. 2007
  29. Voinea, L., Lukkien, J., & Telea, A. (2007). Visual assessment of software evolution. Science of computer programming, 65, 222-248. https://doi.org/10.1016/j.scico.2006.05.012
  30. Gao, H., Groote, J. F., & Hesselink, W. H. (2007). Lock-free parallel and concurrent garbage collection by mark&sweep. Science of computer programming, 64(3), 341-374. https://doi.org/10.1016/j.scico.2006.10.001
  31. 2004
  32. Bosch, J. (2004). Software variability management - Preface. Science of computer programming, 53(3), 255-258. https://doi.org/10.1016/j.scico.2004.06.011
  33. Hesselink, W. H. (2004). Using eternity variables to specify and prove a serializable database interface. Science of computer programming, 51(1-2), 47-85. https://doi.org/10.1016/j.scico.2003.06.001
  34. 2001
  35. Hesselink, W. H., Meijster, A., & Bron, C. (2001). Concurrent determination of connected components. Science of computer programming, 41(2), 173-194.
  36. 2000
  37. Dijkstra, R. M. (2000). Computation calculus bridging a formalization gap. Science of computer programming, 37(1-3), 3-36. https://doi.org/10.1016/S0167-6423(99)00021-0
  38. 1992
  39. JONGEJAN, JH. (1992). CORRECTNESS OF TRANSFORMATIONS ON REGISTER TRANSFERS. Science of computer programming, 19(2), 153-169.
  40. Hesselink, W. H. (1992). LR-PARSING DERIVED. Science of computer programming, 19(2), 171-196.
  41. 1990
  42. UDDING, JT. (1990). PROGRAM INVERSION - MORE THAN FUN. Science of computer programming, 15(1), 1-13.
  43. MALCOLM, G. (1990). DATA-STRUCTURES AND PROGRAM TRANSFORMATION. Science of computer programming, 14(2-3), 255-279.
  44. Hesselink, W. H. (1990). Programming Logics: An Introduction to Verification and Semantics. Science of computer programming, 13(2-3), 266-267. https://doi.org/10.1016/0167-6423(90)90074-N
  45. 1989
  46. GRIES, D., MARTIN, AJ., VANDESNEPSCHEUT, JLA., & UDDING, JT. (1989). AN ALGORITHM FOR TRANSITIVE REDUCTION OF AN ACYCLIC GRAPH. Science of computer programming, 12(2), 151-155.
  47. 1986
  48. VANDESNEPSCHEUT, JLA. (1986). A DERIVATION OF A DISTRIBUTED IMPLEMENTATION OF WARSHALL ALGORITHM. Science of computer programming, 7(1), 55-60.

ID: 3862462

University of Groningen staff: edit these data

print
Follow the UGfacebook twitter linkedin rss instagram youtube