Results 281 to 286 of about 89,296 (286)
Some of the next articles are maybe not open access.

UML based modeling of performance oriented parallel and distributed applications

Proceedings of the Winter Simulation Conference, 2002
Sabri Pllana, T. Fahringer
semanticscholar   +1 more source

On Customizing the UML for Modeling Performance-Oriented Applications

International Conference on the Unified Modeling Language, 2002
Sabri Pllana, T. Fahringer
semanticscholar   +1 more source

VIATRA - visual automated transformations for formal verification and validation of UML models

Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002
G. Csertán   +5 more
semanticscholar   +1 more source

From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications

2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Ahlem Ben Younes, Leila Jemni Ben Ayed
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy