Software Quality

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.

Domain-Specific Languages: Effective modeling, automation, and reuse
Wasowski, A. & Berger, T., 2023, Springer International Publishing. 492 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Book › Communication
Uniquifying Architecture Visualization through Variable 3D Model Generation
Hoff, A., Seidl, C. & Lanza, M., Jan 2023, 17th International Working Conference on Variability Modelling of Software-Intensive Systems: VaMoS 2023. Odense, Denmark: Association for Computing Machinery, p. 77 - 81
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

File
A Specification Logic for Programs in the Probabilistic Guarded Command Language
Pardo, R., Broch Johnsen, E., Schaefer, I. & Wasowski, A., Oct 2022, A Specification Logic for Programs in the Probabilistic Guarded Command Language. Springer, Cham, Vol. 13572. 19 p. (Proceedings of 19th International Colloquium on Theoretical Aspects of Computing - ICTAC 2022).
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

File

Applied Soft Computing (Journal)
Mohsen Ghaffari (Reviewer)
2022 → …
Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Expert Systems With Applications (Journal)
Mohsen Ghaffari (Reviewer)
2022 → …
Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Information Science (Journal)
Mohsen Ghaffari (Reviewer)
2021 → …
Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research

Organization profile