M2Z: A tool for translating a natural language software specification into Z

DOI10.1007/3-540-36103-0_42MaRDI QIDQ4412527zbMATH OpenFDO

Authors Zarina Shukur, Abdullah Zin M.D., Ainita Ban

Publication date 15 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950406.htm

zbMATH Keywords

Formal methodslinguisticsmachine translationZ

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60) Natural language processing (68T50) Computing methodologies and applications (68U99)

Recommendations

• Translating formal software specifications to natural language
• scientific article; zbMATH DE number 2102668
• Z2SAL: a translation-based model checker for Z
• An authoring tool for informal and formal requirements specifications
• From formal specifications to Ada programs

Cited in

(3)

• M2Z
• An environment for formal specification and verification of lingware
• An authoring tool for informal and formal requirements specifications

This page was built for publication: M2Z: A tool for translating a natural language software specification into Z

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