Unifying models

DOI10.1007/BFB0023444zbMATH Open1498.68061OpenAlexW2914126157MaRDI QIDQ5047155FDOQ5047155

Authors: Bernhard Steffen 

Publication date: 9 November 2022

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

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

Recommendations

• Unifying Theories of Objects
• The unified modeling language
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Synergistic verification and validation of systems and software engineering models
• Formal concepts for an integrated internal model of the UML

zbMATH Keywords

verificationconsistencybehaviourabstractioncompletenessdecidabilityrefinementtemporal logicexpressivitypartial evaluationoperational semanticsarchitecturetransition systemintermediate languagetemporal models

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Title not available (Why is that?)
• Statecharts: a visual formalism for complex systems
• The complexity of propositional linear temporal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Results on the propositional \(\mu\)-calculus
• Title not available (Why is that?)
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Action Semantics
• Towards a formal foundation of the specification and description language SDL
• Characteristic formulae for processes with divergence
• Generating data flow analysis algorithms from modal specifications
• Data flow analysis as model checking

Cited In (5)

• Towards unambiguous model fragments
• ULTRA-UNIVERSAL MODELS
• Foundations of Software Science and Computational Structures
• Relative and absolute order-of-magnitude models unified
• Combining different models

Uses Software

• MONA
• Z

This page was built for publication: Unifying models

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