scientific article; zbMATH DE number 1748577

zbMATH Open1001.68944MaRDI QIDQ4530462FDOQ4530462

Authors: 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
• scientific article; zbMATH DE number 1629954

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)