Assisting requirement formalization by means of natural language translation
From MaRDI portal
Publication:1329090
DOI10.1007/BF01384048zbMath0800.68648OpenAlexW2022890244MaRDI QIDQ1329090
M. Carenini, P. Moreschini, Stefania Gnesi, Gioia Ristori, Alessandro Fantechi, M. Vanocchi
Publication date: 29 June 1994
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01384048
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Results on the propositional \(\mu\)-calculus
- Automatizing parametric reasoning on distributed concurrent systems
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- “Sometimes” and “not never” revisited
- Algebraic laws for nondeterminism and concurrency
- An action-based framework for veryfying logical and behavioural properties of concurrent systems