SUDA: a scenario-based UML design analysis approach

Authors:
Kayle Hoehn;Wuliang Sun;Robert B. France;Lijun Yu
Affiliations:
Colorado State University, Fort Collins, CO;Colorado State University, Fort Collins, CO;Colorado State University, Fort Collins, CO;Colorado State University, Fort Collins, CO
Venue:
Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards
Year:
2012

Citing 7
Cited 0

The UML as a formal modeling notation

Computer Standards & Interfaces - Special issue on semantics in specifications
The Object Constraint Language: Getting Your Models Ready for MDA

The Object Constraint Language: Getting Your Models Ready for MDA
A light-weight static approach to analyzing UML behavioral properties

ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming
Scenario-Based Static Analysis of UML Class Models

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs

ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
Model driven language engineering with kermeta

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III

Quantified Score

Hi-index	0.00

Visualization

Abstract

Identifying design errors at the early stage of software development can help ensure software quality. Resolving design errors after a design has been implemented can be expensive, and thus it is important that design models be rigorously analyzed to uncover errors in the early software development phases.