scientific article; zbMATH DE number 1748577

zbMATH Open1001.68944MaRDI QIDQ4530462FDOQ4530462

Jutta Eusterbrock

Publication date: 10 July 2002

Title of this publication is not available (Why is that?)

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
• Publication:2729067

zbMATH Keywords

formal methodsheterogeneous knowledge

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)