scientific article; zbMATH DE number 1748577

MaRDI QIDQ4530462zbMATH OpenFDO

Authors Jutta Eusterbrock

Publication date 10 July 2002

zbMATH Keywords

formal methodsheterogeneous knowledge

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1860617
• Synthesis from Component Libraries
• Consistent integration of models based on views of meta models
• Formalized program specifications and transformation synthesis
• scientific article; zbMATH DE number 1629954

Cited in

(1)

• scientific article; zbMATH DE number 1629954 (Why is no real title available?)

Describes a project that uses

Uses Software

• Specware

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 Q4530462)