UML Validation Suite Marc Lettrari and Jochen Klose and Udo Brockmeyer OFFIS, ...  Home/Search
Context
Related
| ca.Informatik.UniOlde...klose01c.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ca.Informatik.UniOldenburg.DE... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Distributed real-time computer systems are very complex and intrinsically difficult to specify and implement correctly. One cause is the lack of adequate methods and tools to deal with this complexity. The use of UML for developing such systems is gaining more and more attention both from research and industry. A major goal in developing such systems is a validation that the design fulfills certain properties. Although there are some approaches with the goal of a formal proof of... (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ suite-tool,
author = "Uml Validation Suite",
title = "Tool Demonstration Proposal:",
url = "citeseer.ist.psu.edu/765330.html" }
Citations (may not include all citations):79 LSCs: Breathing Life into Message Sequence Charts - Damm, Harel - 1999
36 Towards a formal operational semantics of uml statechart dia.. - Latella, Maijzik et al. - 1999
23 Formalising uml state machines for model checking (context) - Lilius, Paltor - 1999
6 Doing Hard Time (context) - Douglass - 1999
5 An Automata Based Representation of Live Sequence Charts (context) - Klose, Wittke - 2001
Documents on the same site (http://ca.Informatik.Uni-Oldenburg.DE/publications/): More
Constructing Test Automata from Graphical Real-Time Requirements - Dierks, Lettrari (Correct)
The ICOS Synthesis Environment - Lüth (Correct)
Take it NP-easy: Bounded Model Construction for Duration Calculus - Fränzle (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC