The unified modeling language

MaRDI QIDQ2906940zbMATH OpenFDO

Authors Stuart Kent

Publication date 5 September 2012

zbMATH Keywords

ODP trader

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1696447
• Concurrency and refinement in the unified modeling language
• On the semantics of unified modeling language diagrams using Z notation
• Formalising the UML in structured temporal theories
• Formal concepts for an integrated internal model of the UML

Cited in

(23)

• An ontology-based control of a graphic dialog
• Use of E-LOTOS in adding formality to UML
• scientific article; zbMATH DE number 1693435 (Why is no real title available?)
• scientific article; zbMATH DE number 1693518 (Why is no real title available?)
• scientific article; zbMATH DE number 1696447 (Why is no real title available?)
• scientific article; zbMATH DE number 1706222 (Why is no real title available?)
• A chart semantics for the pi-calculus
• Casl-Mdl, modelling dynamic systems with a formal foundation and a UML-like notation
• The UltraSAN modeling environment
• scientific article; zbMATH DE number 1946721 (Why is no real title available?)
• scientific article; zbMATH DE number 1949634 (Why is no real title available?)
• scientific article; zbMATH DE number 2006474 (Why is no real title available?)
• scientific article; zbMATH DE number 2006500 (Why is no real title available?)
• Secure Systems Development with UML
• scientific article; zbMATH DE number 1460541 (Why is no real title available?)
• scientific article; zbMATH DE number 1790359 (Why is no real title available?)
• UEML: Towards a unified enterprise modelling language
• scientific article; zbMATH DE number 2090158 (Why is no real title available?)
• scientific article; zbMATH DE number 2100577 (Why is no real title available?)
• Unifying models
• Components modeling in UML 2
• Evaluation diversity for graph conditions
• The development methodology of the UML electronic guide

This page was built for publication: The unified modeling language

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