Franz Huber, Bernhard Schätz, Geralf Einert  Home/Search
Context Related
| autofocus.informatik.tumu...cons.ps.gz www4.in.tum.de/pub...997_Conference.pdf 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: autofocus.informatik.tumuench... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeatedly lead to the claim that formal methods should be put to a more indirect or transparent use. We show how such an indirect approach can be incorporated in a CASE tool prototype by basing it upon formally defined hierarchical description techniques. We demonstrate the immediate benefits by introducing... (Update)
Cited by: More
Loose Synchronization of Event-Triggered Networks for.. - Romberg, Bauer (Correct)
Model Based Testing for Real: The Inhouse Card Case Study - Pretschner, Slotosch.. (2001) (Correct)
Model Based Testing with Constraint Logic Programming.. - Pretschner, Lötzbeyer (2001) (Correct)
Active bibliography (related documents): More All
0.5: Integrating Formal Description Techniques - Schätz, Huber (1999) (Correct)
0.3: A Framework for Interaction Description with Roles - Paech (1997) (Correct)
0.3: An Object-Oriented Approach to Feature Interaction - Prehofer (1997) (Correct)
Similar documents based on text: More All
0.4: Extended Description Techniques For Security Engineering - Wimmel, Wisspeintner (2001) (Correct)
0.4: An Experimental Study Of A New Entropy-Based SAR.. - Morrison, Jr., Munson.. (Correct)
0.3: The Quest for Correct Systems: Model Checking of Diagrams.. - Philipps, Slotosch (1999) (Correct)
Related documents from co-citation: More All
7: The design of distributed systems --- an introduction to FOCUS (context) - Broy, Dederichs et al. - 1992
6: An Introduction to Gofer (context) - Jones - 1993
6: automata based on formalized meta-theory (context) - Olaf, environment et al.
BibTeX entry: (Update)
F. Huber, B. Schatz, and G. Einert. Consistent Graphical Specification of Distributed Systems. In P. L. John Fitzgerald, Cliff B. Jones, editor, FME '97: 4th International Symposium of Formal Methods Europe, Lecture Notes in Computer Science 1313, pp. 122 - 141. Springer, 1997. http://citeseer.ist.psu.edu/huber97consistent.html More
@inproceedings{ huber97consistent,
author = "Franz Huber and Bernhard Sch{\"a}tz and Geralf Einert",
title = "Consistent Graphical Specification of Distributed Systems",
booktitle = "{FME}'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997)",
volume = "1313",
publisher = "Springer-Verlag",
editor = "John Fitzgerald and Cliff B. Jones and Peter Lucas",
pages = "122--141",
year = "1997",
url = "citeseer.ist.psu.edu/huber97consistent.html" }
Citations (may not include all citations):115 The Design of Distributed Systems - An Introduction to FOCUS (context) - Broy, Dendorfer et al. - 1992
40 AutoFocus - A Tool for Distributed System Specification - Huber, Schtz et al. - 1996
33 Introduction to Gofer (context) - Jones - 1991
31 Theoretical Computer Science (context) - Park, -ineffible - 1976
26 HOLCF: Higher Order Logic of Computable Functions - Regensburger - 1995
26 Message Sequence Charts (context) - Union - 1996
15 Ariane 5 Flight 501 Failure (context) - Lions - 1996
8 Formale Syntax zur logischen Kernsprache der FocusEntwicklun.. (context) - Schtz, Spies - 1995
6 Technische Universitt Mnchen (context) - Grosu, Klein et al. - 1996
4 Functional Semantics for Delta-Delay VHDL based on Focus (context) - Fuchs, Mendler - 1994
3 IEEE Transactions of Software Engineering Methods (context) - Harel, Naamad et al. - 1996
3 Graphical Development of Consistent System Specifications - Schtz, Humann et al. - 1996
1 Technische Universitt Mnchen (context) - von Oheimb, HOLCF - 1996
1 Theorem Prover Support for the Refinement of Stream Processi.. - Sandner, Mller - 1997
1 Formale Beschreibungstechniken fr verteilte Systeme (context) - Biere, zur et al. - 1996
The graph only includes citing articles where the year of publication is known.
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