Formal specification generation from requirement documents

DOI10.1016/J.ENTCS.2007.08.032MaRDI QIDQ2873617zbMATH OpenOpenAlexFDO

Authors 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

controlled natural languageCSPformal 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)

Recommendations

• Automatic Testing from Formal Specifications
• A derivation strategy for formal specifications from natural language requirements models
• Formal specification method for systems automation
• Test generation from state based use case models
• Formal verification of specification models

Cites work

• Viewing CSP specifications with UML-RT diagrams

Cited in

(17)

• FDR explorer
• Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
• Formal specification method for systems automation
• Specification of a localization component driven by a goal-based approach: some lessons we learned
• A derivation strategy for formal specifications from natural language requirements models
• Generation of executable testbenches from natural language requirement specifications for embedded real-time systems
• Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications
• Guiding the construction of textual use case specifications
• scientific article; zbMATH DE number 1954124 (Why is no real title available?)
• scientific article; zbMATH DE number 2087523 (Why is no real title available?)
• scientific article; zbMATH DE number 2087526 (Why is no real title available?)
• Multiple synchrony in MSC
• Tool-supported specification of a wind turbine
• Automatic transformation from formal specifications to functional scenario forms for automatic test case generation
• Fundamental Approaches to Software Engineering
• Guided Test Generation from CSP Models
• PALM: A Technique for Process ALgebraic Specification Mining

Describes a project that uses

Uses Software

• VisualStudio.NET

This page was built for publication: Formal specification generation from requirement documents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873617)