Search Sciweavers | Sciweavers

1213 search results - page 91 / 243

» Refactoring UML Models

click to vote

CACM
1999

81views more CACM 1999»

Modeling Web Application Architectures with UML

15 years 3 months ago

Download www.uml.org.cn

Jim Conallen

claim paper

Read More »

Voted

JOT
2002

62views more JOT 2002»

Debugging UML Designs with Model Checking

15 years 3 months ago

Download www.lcc.uma.es

María-del-Mar Gallardo, Pedro Merino, Ernes...

claim paper

Read More »

click to vote

SCJAPAN
2002

37views more SCJAPAN 2002»

A supporting system for verification among models of the UML

15 years 3 months ago

Download ssel.vub.ac.be

Atsushi Ohnishi

claim paper

Read More »

102

Voted

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

15 years 1 months ago

Download www.artist-embedded.org

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...

claim paper

Read More »

115

Voted

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers