Part-whole statecharts for precise behavioral semantics

zbMATH Open0991.68040MaRDI QIDQ2737493

Luca Pazzi

Publication date: 3 September 2002

zbMATH Keywords

modelingrepresentational formalism

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Semantics of full statecharts based on graph rewriting ⋮ Title not available (Why is that?)

Recommendations

• Reconciling statechart semantics 👍 👎
• A compositional axiomatization of statecharts 👍 👎
• A graph rewriting framework for Statecharts semantics 👍 👎
• Semantics of full statecharts based on graph rewriting 👍 👎
• Fundamental Approaches to Software Engineering 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Part-whole statecharts for precise behavioral semantics

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