ITU

Software Quality

Organisational unit: Research Group

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Contact information

Organisation profile

The SQUARE group does research on theory, methods, and tools that could improve the quality of Software:

  • We conduct studies of programs (code) which aim to identify problems in Software;
  • We conduct studies of programmers (humans) which aim to identify problems with the process of developing Software;
  • We develop and assess tools for programs (code) aimed directly at improving the quality of Software; and
  • We develop and assess tools for programmers (humans) aimed at indirectly improving the quality of Software.
31 - 40 out of 47Page size: 10
Sort by: Type
  1. Ph.D. thesis › Research
  2. Published

    Foundational Analysis Techniques for High-Level Transformation Programs

    Al-Sibahi, A. S., 2018, IT-Universitetet i København. 316 p. (ITU-DS; No. 03).

    Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research

  3. Published

    Systematic Reuse and Ad Hoc Forking to Develop Software Variants

    Stanciulescu, S., 2017, IT-Universitetet i København. 190 p. (ITU-DS; No. 141).

    Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research

  4. Published

    Variability Bugs: Program and Programmer Perspective

    Melo, J., 2017, IT-Universitetet i København. 216 p. (ITU-DS; No. 135).

    Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research

  5. Editorial › Research › Not peer-reviewed
  6. Published

    Editorial

    Denney, E., Stevens, P. & Wasowski, A., 2018, In: Formal Aspects of Computing. 30, 1, p. 1-1 1 p., 1.

    Research output: Journal Article or Conference Article in Journal › Editorial › Research

  7. Published

    Guest editorial to the special section on ECMFA and ICMT at STAF 2016: Modeling and model transformations research in 2016

    Van Gorp, P. & Wasowski, A., 2019, In: Software and Systems Modeling. 18, 2, p. 959-960

    Research output: Journal Article or Conference Article in Journal › Editorial › Research

  8. Published

    Guest editorial to the special section on MODELS 2018

    Wasowski, A., Paige, R. & Haugen, Ø., 2020, In: Software and Systems Modeling. 19, 4, p. 825-826 2 p.

    Research output: Journal Article or Conference Article in Journal › Editorial › Research

  9. Journal article › Research › Peer-reviewed
  10. Published

    A Modeling Tool for Reconfigurable Skills in ROS

    Bozhinoski, D., Aguado, E., Oviedo, M. G., Corbato, C. H., Sanz, R. & Wasowski, A., 2021, In: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). p. 25-28

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  11. Published

    A Tailored Participatory Action Research for FOSS Communities

    Alami, A., Nielsen, P. A. & Wasowski, A., 4 Sep 2020, In: Journal of Empirical Software Engineering. 25, 5, p. 3639 - 3670 23 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  12. Published

    Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

    Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2019, In: The Art, Science, and Engineering of Programming. 3, 1, p. 2:1-2:62 62 p., 2.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  13. Published

    Controller synthesis for dynamic hierarchical real-time plants using timed automata

    Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2017, In: Discrete Event Dynamic Systems. 27, 2, p. 407-441

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Previous 1 2 3 4 5 Next