Search Sciweavers | Sciweavers

1148 search results - page 81 / 230

» WebML modelling in UML

109

click to vote

AIIA
2007
Springer

89views Artificial Intelligence» more AIIA 2007»

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

15 years 10 months ago

Download www.dis.uniroma1.it

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...

claim paper

Read More »

132

click to vote

SFM
2007
Springer

134views Formal Methods» more SFM 2007»

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

15 years 10 months ago

Download www.sti.uniurb.it

C. Murray Woodside

claim paper

Read More »

click to vote

EDOC
2006
IEEE

111views Distributed And Parallel Com...» more EDOC 2006»

QoS-Aware Model Driven Architecture through the UML and CIM

15 years 10 months ago

Download calcium.dcs.kcl.ac.uk

Kenneth Chan, Iman Poernomo

claim paper

Read More »

130

click to vote

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

15 years 10 months ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

click to vote

ICEIS
2006
IEEE

101views Information Technology» more ICEIS 2006»

Towards Practical Tools for Mining Abstractions in UML Models

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers