49 search results - page 4 / 10 » UML and Concurrency |
CASCON
2006
13 years 9 months ago
2006
E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the enviro...
UML
1999
Springer
13 years 11 months ago
1999
Springer
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
CSSE
2008
IEEE
13 years 9 months ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
ASM
2003
ASM
14 years 23 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
WOSP
2000
ACM
13 years 12 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...