Foundations of Information and Knowledge Systems

DOI10.1007/11663881zbMATH Open1177.68047OpenAlexW4212786759MaRDI QIDQ5898546FDOQ5898546

Authors: Ken Kaneiwa, Ken Satoh 

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11663881

Recommendations

• On the complexities of consistency checking for restricted UML class diagrams
• Checking consistency in UML diagrams: classes and state machines.
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (3)

• Title not available (Why is that?)
• On the complexities of consistency checking for restricted UML class diagrams
• Checking consistency in UML diagrams: classes and state machines.

This page was built for publication: Foundations of Information and Knowledge Systems

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