scientific article; zbMATH DE number 2156157

MaRDI QIDQ4668652zbMATH OpenFDO

Authors Crenguţa Bogdan

Publication date 15 April 2005

Full work available at URL https://eudml.org/doc/124744

zbMATH Keywords

formal software specification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1303990
• scientific article; zbMATH DE number 1949631
• scientific article; zbMATH DE number 1670629
• scientific article; zbMATH DE number 1481757
• Object oriented concepts identification from formal \(B\) specifications

Cited in

(5)

• Manipulating algebraic specifications with term-based and graph-based representations
• scientific article; zbMATH DE number 1303990 (Why is no real title available?)
• scientific article; zbMATH DE number 1304453 (Why is no real title available?)
• scientific article; zbMATH DE number 864917 (Why is no real title available?)
• Object oriented concepts identification from formal \(B\) specifications

This page was built for publication:

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