Integration of Validation into a Refinement-based Rigorous Development Process (IVOIRE)

Project: Funded research › FWF - Austrian Science Fund

Status	Finished
Effective start/end date	01.06.2020 → 31.01.2024

SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume B
Felfernig, A. (Editor), Fuentes, L. (Editor), Cleland-Huang, J. (Editor), Guez Assuncao, W. K. (Editor), Quinton, C. (Editor), Guo, J. (Editor), Schmid, K. (Editor), Huchard, M. (Editor), Inmaculada, A. (Editor), Rojas, J. M. (Editor), Viet-Man, L. (Editor) & Horcas, J. M. (Editor), 2023, ACM. (Communications in Computer and Information Science)
Research output: Book › Anthology
Application of Validation Obligations to Security Concerns
Stock, S., Mashkoor, A. & Egyed, A., 2022, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods (ICFEM) , Madrid, Spain. Springer, Vol. 1633. p. 337-346 10 p. (Communications in Computer and Information Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
A Study on Variability for Multi-Device Rendering in Digital Music Publishing
Grünbacher, P., Apr 2022, Proceedings 16th Int'l Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2022. ACM, Vol. 21. p. 6:1-6:9 9 p. 6. (Communications in Computer and Information Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Generating repairs for inconsistent models
Egyed, A. (Speaker)
27 Oct 2022
Activity: Talk or presentation › Contributed talk › science-to-science
Code smell analysis in cloned Java variants: the apo-games case study
Marchezan de Paula, L. (Speaker)
14 Sept 2022
Activity: Talk or presentation › Contributed talk › science-to-science
Change-Oriented Repair Propagation
Marchezan de Paula, L. (Speaker)
20 May 2022
Activity: Talk or presentation › Contributed talk › science-to-science

Project Details