Slicing of UML state machines

Authors:
Kevin Lano
Affiliations:
CREST, Department of Computer Science, King's College London, London, UK
Venue:
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
Year:
2009

Citing 5
Cited 1

vUML: a Tool for Verifying UML Models

vUML: a Tool for Verifying UML Models
Slicing of State-Based Models

ICSM '03 Proceedings of the International Conference on Software Maintenance
Amorphous program slicing

Journal of Systems and Software
A new foundation for control dependence and slicing for modern program structures

ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Constraint-driven development

Information and Software Technology

Identifying properties of UML state machine diagrams that affect data and control dependence

Proceedings of the 2011 ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Trust management is turning out to be essential for further and wider acceptance of contemporary IT solutions. In IT world it was first addressed some ten years ago when the suggested approaches were actually tackling security and not trust directly. ...