Formal Proof From UML Models

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-30482-1_35
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Informal Proof, Formal Proof, Formalism

Review of Symbolic Logic
MathematicsPhilosophyLogic
2015English

XMI-based Transformation From UML Models to LQN Performance Models

English

Formal Test-Case Generation for UML Statecharts

English

From UML to Performance Models by XML Transformations

English

Code Generation From UML Models With Semantic Variation Points

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

System Test Synthesis From UML Models of Distributed Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

UML Based Formal Model of Smart Transformer Power System

International Journal of Advanced Computer Science and Applications
Computer Science
2017English

Executing and Debugging UML Models

2013English

Formal Verification of UML Statecharts With Real-Time Extensions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy