Sciweavers

1148 search results - page 87 / 230

» WebML modelling in UML

72

JOT
2002

62views more JOT 2002»

Debugging UML Designs with Model Checking

15 years 3 months ago

Debugging UML Designs with Model Checking

Download www.lcc.uma.es

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

claim paper

Read More »

83

SCJAPAN
2002

37views more SCJAPAN 2002»

A supporting system for verification among models of the UML

15 years 3 months ago

A supporting system for verification among models of the UML

Download ssel.vub.ac.be

Atsushi Ohnishi

claim paper

Read More »

105

Voted

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

15 years 2 months ago

Towards model checking executable UML specifications in mCRL2

Download www.artist-embedded.org

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

claim paper

Read More »

119

ISSE
2010

118views Security Privacy» more ISSE 2010»

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

15 years 2 months ago

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

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper

Read More »

147

WOSP
2005
ACM

185views Software Engineering» more WOSP 2005»

Performance by unified model analysis (PUMA)

15 years 9 months ago

Performance by unified model analysis (PUMA)

Download www.sce.carleton.ca

Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...

C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan...

claim paper

Read More »

« Prev « First page 87 / 230 Last » Next »