Search Sciweavers | Sciweavers

532 search results - page 25 / 107

» The UML as a Formal Modeling Notation

click to vote

PTS
2003

136views Hardware» more PTS 2003»

The UML 2.0 Testing Profile and Its Relation to TTCN-3

13 years 9 months ago

Download www.swe.informatik.uni-goettingen.de

UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...

Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, A...

claim paper

Read More »

click to vote

FMCO
2009
Springer

203views Formal Methods» more FMCO 2009»

Applying Event-B Atomicity Decomposition to a Multi Media Protocol

13 years 5 months ago

Download eprints.ecs.soton.ac.uk

Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...

Asieh Salehi Fathabadi, Michael Butler

claim paper

Read More »

click to vote

ICSM
2005
IEEE

177views Software Engineering» more ICSM 2005»

Context-Free Slicing of UML Class Models

14 years 1 months ago

Download www.cs.kent.edu

In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...

Huzefa H. Kagdi, Jonathan I. Maletic, Andrew Sutto...

claim paper

Read More »

click to vote

ICECCS
2009
IEEE

116views Hardware» more ICECCS 2009»

UML Modeling and Formal Verification of Control/Data Driven Embedded Systems

14 years 2 months ago