Sciweavers

860 search results - page 6 / 172
» Towards a UML for Interactive Systems
Sort
View
ACSC
2004
IEEE
15 years 1 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
PTS
2003
136views Hardware» more  PTS 2003»
14 years 11 months ago
The UML 2.0 Testing Profile and Its Relation to TTCN-3
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, A...
IJISMD
2010
164views more  IJISMD 2010»
14 years 6 months ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
Mira Balaban, Azzam Maraee, Arnon Sturm
ICEIS
2006
IEEE
15 years 3 months ago
Towards Practical Tools for Mining Abstractions in UML Models
Michel Dao, Marianne Huchard, Mohamed Rouane Hacen...
IWPC
2007
IEEE
15 years 3 months ago
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt