Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-09099-3_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Validating Timed UML Models by Simulation and Verification

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2005English

Specification and Validation of Authorisation Constraints Using UML and OCL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Test Case Generation Using UML State Diagram and OCL Expression

International Journal of Computer Applications
2014English

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Approaches and Typology to Be Applied for Building Information Models Verification

E3S Web of Conferences
EarthEnergyPlanetary SciencesEnvironmental Science
2019English

Ensuring Semantic Spatial Constraints in Virtual Environments Using UML/OCL

2010English

Executing and Debugging UML Models

2013English

Towards UML Representation for BPMN and DMN Models

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2019English

Approaches to Verification of Two-Dimensional Water Quality Models

1990English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy