Specification and Validation of Authorisation Constraints Using UML and OCL

Lecture Notes in Computer Science - Germany
doi 10.1007/11555827_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Ensuring Semantic Spatial Constraints in Virtual Environments Using UML/OCL

2010English

Test Case Generation Using UML State Diagram and OCL Expression

International Journal of Computer Applications
2014English

Specification and Verification of Media Constraints Using UPPAAL

Design, Specification and Verification of Interactive Systems ’98
1998English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Specification and Validation of Reading Skills Hierarchies

Reading Research Quarterly
DevelopmentalEducationEducational Psychology
1980English

Design Specification Validation.

1981English

Automatic Transformation of UML Software Specification Into LQN Performance Models Using Graph Grammar Techniques

English

Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation

Journal of Software
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy