Formal Specification Generation from Requirement Documents

DOI10.1016/j.entcs.2007.08.032zbMath1279.68199OpenAlexW2040085723MaRDI QIDQ2873617

Gustavo Cabral, Augusto Sampaio

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.08.032

zbMATH Keywords

CSPcontrolled natural languageformal models refinementformal specification generationuse case specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Multiple Synchrony in MSC ⋮ FDR explorer ⋮ Guided Test Generation from CSP Models

Uses Software

• VisualStudio.NET

Cites Work

• Viewing CSP Specifications with UML-RT Diagrams

This page was built for publication: Formal Specification Generation from Requirement Documents