228 search results - page 18 / 46 » Reasoning with UML Class Diagrams |
VAMOS
2009
Springer
14 years 2 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
JOT
2008
13 years 7 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
IWPC
2007
IEEE
14 years 1 months ago
2007
IEEE
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...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
JSW
2007
13 years 7 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...