Marc Lettrari, Jochen Klose, Udo Brockmeyer  Home/Search
Context Related
| ses.informatik.uniolde...klose1c.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: ses.informatik.unioldenburg.d... (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: More All
0.6: NS-01-4 Brinksma - Tretmans Eds Fates' (Correct)
0.3: Modeling and Validating Train System Applications Using.. - Bohn, Damm, Wittke, Moik (2002) (Correct)
0.3: Using Abstractions for Heuristic State Space Exploration of.. - Lettrari (Correct)
BibTeX entry: (Update)
M. Lettrari, J. Klose, U. Brockmeyer, Tool Demonstration Proposal: UML Validation Suite, In: Proc.FATES'01 - Formal Approaches to Testing of Software (A Satellite Workshop of CONCUR'01), Aalborg (Denmark), August 25, 2001. http://citeseer.ist.psu.edu/lettrari01tool.html More
@misc{ lettrari01tool,
author = "M. Lettrari and J. Klose and U. Brockmeyer",
title = "Tool Demonstration Proposal: UML Validation Suite",
text = "M. Lettrari, J. Klose, U. Brockmeyer, Tool Demonstration Proposal: UML
Validation Suite, In: Proc.FATES'01 - Formal Approaches to Testing of Software
(A Satellite Workshop of CONCUR'01), Aalborg (Denmark), August 25, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/lettrari01tool.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://ses.informatik.uni-oldenburg.de/publications/): More
LSCs: Breathing Life into Message Sequence Charts - Damm, Harel (1998) (Correct)
Implementation of a New Weak Cache Coherence Protocol - Risau, Mikschl, Damm (Correct)
STATEMATE-based Rapid Prototyping Environment - Lüth, Metzner, Niehaus (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