Search Sciweavers | Sciweavers

1148 search results - page 84 / 230

» WebML modelling in UML

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

15 years 8 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

click to vote

WOSP
2000
ACM

92views Software Engineering» more WOSP 2000»

Deriving a queueing network based performance model from UML diagrams

15 years 8 months ago

Download www1.isti.cnr.it

Keywords

Vittorio Cortellessa, Raffaela Mirandola

claim paper

Read More »

Voted

BPM
2008
Springer

132views Business» more BPM 2008»

Towards a BPMN Semantics Using UML Models

15 years 5 months ago

Download oxygen.informatik.tu-cottbus.de

Oana Nicolae, Mirel Cosulschi, Adrian Giurca, Gerd...

claim paper

Read More »

104

click to vote

SPRINGSIM
2007

126views Modeling And Simulation» more SPRINGSIM 2007»

Agent-based modeling of interdependencies in critical infrastructures through UML

15 years 5 months ago

Download www.ce.uniroma2.it

Valeria Cardellini, Emiliano Casalicchio, Emanuele...

claim paper

Read More »

click to vote

CJ
2008

65views more CJ 2008»

Modeling ODP Computational Specifications Using UML

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers