scientific article; zbMATH DE number 856546

MaRDI QIDQ4869826zbMATH OpenFDO

Authors

Publication date 17 March 1996

zbMATH Keywords

High-level system modelingLOTOSsystem designSystem modelingsystem specification model

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited in

(13)

• scientific article; zbMATH DE number 4219110 (Why is no real title available?)
• scientific article; zbMATH DE number 5144777 (Why is no real title available?)
• Behavior Modeling During Software Design
• scientific article; zbMATH DE number 1028729 (Why is no real title available?)
• scientific article; zbMATH DE number 1079649 (Why is no real title available?)
• scientific article; zbMATH DE number 2080747 (Why is no real title available?)
• The PSR methodology: integrating hardware and software models
• scientific article; zbMATH DE number 2087637 (Why is no real title available?)
• scientific article; zbMATH DE number 2112983 (Why is no real title available?)
• scientific article; zbMATH DE number 2111137 (Why is no real title available?)
• scientific article; zbMATH DE number 826371 (Why is no real title available?)
• scientific article; zbMATH DE number 917332 (Why is no real title available?)
• scientific article; zbMATH DE number 1408163 (Why is no real title available?)

Describes a project that uses

Uses Software

• Miranda

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