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

Project: Funded researchFWF - Austrian Science Fund

Project Details

StatusFinished
Effective start/end date01.06.202031.01.2024

Fields of science

  • 102 Computer Sciences
  • 102022 Software development

JKU Focus areas

  • Sustainable Development: Responsible Technologies and Management
  • Digital Transformation
  • Generating repairs for inconsistent models

    Marchezan de Paula, L., Kretschmer, R., Guez Assuncao, W. K., Reder, A. & Egyed, A., Feb 2023, 25th International Conference on Model Driven Engineering Languages and System (MODELS). 1 ed. IEEE, Vol. 22. p. 297-329 33 p. (Software and Systems Modeling).

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

    Open Access
  • 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: BookAnthology

  • Application of Validation Obligations to Security Concerns

    Stock, S., Mashkoor, A. & Egyed, A., 2022, Database and Expert Systems Applications - DEXA 2022 Workshops - 33rd International Conference, DEXA 2022, Proceedings. Kotsis, G., Khalil, I., Mashkoor, A., Sametinger, J., Tjoa, A. M., Moser, B., Martinez-Gil, J., Sobieczky, F., Fischer, L., Ramler, R., Czech, G., Taudes, A. & Khan, M. (eds.). Springer, Vol. 1633. p. 337-346 10 p. (Communications in Computer and Information Science; vol. 1633 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

    Open Access