Work

Towards a More Reliable and Efficient Development Workflow: A framework for Transforming Textual Requirements into Formal Models

Year: 2025
Type: conference-paper
Authors: Touam, Mohamed-Achraf, Ameur-Boulifa, Rabéa, Patricia, Guitton-Ouhamou
Language: English
Subfield: Software
Open Access status: closed
OpenAlex ID: W7034705500
FWCI:
Cites:
Cited by:
Related to: