Sciweavers

184 search results - page 2 / 37
» uml 2004
Sort
View
PTS
2004
88views Hardware» more  PTS 2004»
14 years 11 months ago
From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices
The UML Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology of how to use the testing profile in order to modify and extend an ...
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Ho...
UML
2004
Springer
15 years 2 months ago
System-on-Chip Verification Process Using UML
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
Qiang Zhu, Tsuneo Nakata, Masataka Mine, Kenichiro...
UML
2004
Springer
15 years 2 months ago
SVERTS - Specification and Validation of Real-Time and Embedded Systems
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
Susanne Graf, Øystein Haugen, Ileana Ober, ...
75
Voted
EKAW
2004
Springer
15 years 3 months ago
On the Foundations of UML as an Ontology Representation Language
There is a growing interest in the use of UML class diagrams as a modeling language to represent domain ontologies. In a series of papers (e.g., [1,2]) we have been using the Gener...
Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre
SAM
2004
103views Hardware» more  SAM 2004»
14 years 11 months ago
Comparing UML 2.0 Interactions and MSC-2000
This paper is a brief comparison between the Interactions of UML 2.0 as defined by the Final Adopted Specification (OMG ptc/03-07-06) and MSC-2000 as defined by Z.120 (ITU 1999). T...
Øystein Haugen