A Coalgebraic Semantic Framework for Reasoning About UML Sequence Diagrams

doi 10.1109/qsic.2008.13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Formalize UML 2 Sequence Diagrams

2008English

Finite Model Reasoning on UML Class Diagrams via Constraint Programming

Intelligenza Artificiale
Artificial Intelligence
2013English

Reasoning With Concept Diagrams About Antipatterns

English

Towards a Logical Framework for Reasoning About Risk

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning

Web Semantics
Computer NetworksSoftwareHuman-Computer InteractionCommunications
2012English

OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning

SSRN Electronic Journal
2012English

A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams

2011English

PDL-based Framework for Reasoning About Actions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

PriCL: Creating a Precedent, a Framework for Reasoning About Privacy Case Law

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy