Translating formal software specifications to natural language

DOI10.1007/11422532_4MaRDI QIDQ5706945zbMATH OpenOpenAlexFDO

Authors Kristofer Johannisson, David A. Burke

Publication date 23 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136076

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Natural language processing (68T50)

Recommendations

• A derivation strategy for formal specifications from natural language requirements models
• Formalized program specifications and transformation synthesis
• scientific article; zbMATH DE number 3481860
• Formal models of multilingual software
• scientific article; zbMATH DE number 3872706
• scientific article; zbMATH DE number 46424

Cited in

(8)

• Automated generation of program translation and verification tools using annotated grammars
• An environment for formal specification and verification of lingware
• Grammars as software libraries
• M2Z: A tool for translating a natural language software specification into Z
• An authoring tool for informal and formal requirements specifications
• Automated translation of contract texts into defeasible deontic logic
• Translating between language and logic: what is easy and what is difficult
• Machine Translation and Type Theory

Describes a project that uses

Uses Software

• GF
• KeY

This page was built for publication: Translating formal software specifications to natural language

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