Hans-Dieter Ehrich, Gunter Saake  Home/Search
Context Related
| wwwiti.cs.unimagdeburg....esss94.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: wwwiti.cs.unimagde...artikel1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Hans-Dieter Ehrich Abteilung Datenbanken, Technische Universitat Postfach 3329, D-38023 Braunschweig, Germany Gunter Saake Institut fur Technische Informationssysteme, Otto-von-Guericke-Universitat Universitatsplatz 2, D-39106 Magdeburg Am'ilcar Sernadas and Cristina Sernadas Departamento de Matem'atica, Instituto Superior T'ecnico Av. Rovisco Pais, P-1096 Lisboa Codex, Portugal 1 Introduction A global information infrastructure is rapidly developing. As a consequence, interest is... (Update)
Context of citations to this paper: More
...domain for the strucural part of Troll specifications. We will not present this translation in detail, rather than refer to [ESSS94] where such a translation is presented. As far as transactions are concerned, we gave an adequate translation in [Den95b] Class...
...and Phi is a set of formulae. Details concerning the translation of Troll specifications to a system specification are given in [ESSS94, Den95b] Applying refinement as a structuring mechanism during the design process implies several specifications of different abstraction...
Cited by: More
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
Action Reification In Object-Oriented Specification - Denker, Ehrich (1995) (Correct)
Reification - Changing Viewpoint but Preserving Truth - Denker (Correct)
Similar documents (at the sentence level):
14.2%: Local Specification of Distributed Families of Sequential.. - Ehrich, Sernadas (1995) (Correct)
Active bibliography (related documents): More All
0.6: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.5: An Elementary Logic for Object Specification and Verification - Conrad, Ehrich (1994) (Correct)
0.3: Describing and Structuring Objects for Conceptual.. -.. (1992) (Correct)
Similar documents based on text: More All
0.5: Object-Oriented Design of Information Systems.. - Ehrich, Jungclaus, .. (1994) (Correct)
0.4: Object-Oriented Specification of Information.. - Jungclaus, Saake, .. (1991) (Correct)
0.4: Evolving Logical Specification in Information Systems - Conrad, Ramos, Saake, Sernadas (1998) (Correct)
Related documents from co-citation: More All
6: Local Specification of Distributed Families of Sequential Objects - Ehrich, Sernadas - 1995
6: Toward formal development of programs from algebraic specifications: Implementat.. - Sannella, Tarlecki - 1988
6: Revised Version of the Modelling Language Troll (context) - Hartmann, Saake et al. - 1994
BibTeX entry: (Update)
H.-D. Ehrich, G. Saake, A. Sernadas, and C. Sernadas. Distributed Temporal Logic for Concurrent Object Families (Extended Abstract). Proc. ISCORE Workshop '94, R. Wieringa, ed. World Scientific Publishers. To appear 1995 http://citeseer.ist.psu.edu/ehrich95distributed.html More
@inproceedings{ ehrich94distributed,
author = "H.-D. Ehrich and A. Sernadas and G. Saake and C. Sernadas",
title = "{Distributed Temporal Logic for Concurrent Object Families}",
booktitle = "Working papers of the Int. Workshop on Information Systems - Correctness and Reusability",
number = "IR-357",
publisher = "Vrije Universiteit Amsterdam",
editor = "R. Wieringa and R. Feenstra",
pages = "22--30",
year = "1994",
url = "citeseer.ist.psu.edu/ehrich95distributed.html" }
Citations (may not include all citations):74 Object Specification Logic - Sernadas, Sernadas et al. - 1992
69 Object-Oriented Specification of Databases: An Algebraic App.. (context) - Sernadas, Sernadas et al. - 1987
68 The Anchored Version of the Temporal Framework - Manna, Pnueli - 1989
64 Object-Oriented Specification of Information Systems: The TR.. - Jungclaus, Saake et al. - 1991
47 Rewriting Logic as a Logical and Semantic Framework - Mart'i-Oliet, Meseguer - 1993
47 A Trace Based Extension of Linear Time Temporal Logic (context) - Thiagarajan - 1994
40 Instituto Superior T'ecnico (context) - Sernadas, Ramos et al. - 1994
38 TROLL light: A Core Language for Specifying Objects - Conrad, Gogolla et al. - 1992
37 Sketching Concepts and Computational Model of TROLL light - Gogolla, Conrad et al. - 1993
29 A Categorial Theory of Objects as Observed Processes (context) - Ehrich, Goguen et al. - 1991
26 Descriptive Specification of Database Object Behaviour (context) - Saake - 1991
25 Temporal Aspects of Logical Procedure Definition (context) - Sernadas - 1980
21 OBLOG --- ObjectOriented Logic: An Informal Introduction (context) - Sernadas, Sernadas et al. - 1991
19 Constructing Systems as Object Communities - Ehrich, Denker et al. - 1993
18 On Types and FOOPS (context) - Goguen, Wolfram - 1991
15 From processes to objects (context) - Sernadas, Ehrich et al. - 1990
8 Computer Science Department (context) - Winskel, Nielsen et al. - 1993
8 Towards Object--Oriented Conceptual Modelling (context) - Sernadas, Fiadeiro - 1991
4 Recent Trends in Data Type Specification (context) - Astesiano, Reggio et al. - 1992
4 An Elementary Logic for Object Specification and Verificatio.. - Conrad, Ehrich - 1994
3 Advanced Studies in Computer Science (context) - Jungclaus, Dynamic et al. - 1993
3 Revised Version of the Modeling Language TROLL (context) - Hartmann, Saake et al. - 1994
2 Application Modelling in Heterogenous Environments Using an .. (context) - Saake, Jungclaus et al. - 1993
2 Information Systems -- Correctness and Reusability (context) - Fiadeiro, Maibaum et al. - 1991
1 Distributed Semantics for Concurrent Families of Sequential .. (context) - Ehrich, Sernadas - 1994
1 Gargnano del Garda (context) - Lodaya, Mukund et al. - 1991
1 inheritance (context) - Fiadeiro, Maibaum et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/artikel1994.html): More
Data Engineering - Date Of (1993) (Correct)
Compositional description of object communities with TROLL.. - Herzig, Conrad, Gogolla (1994) (Correct)
A Basic Calculus for Verifying Properties of Synchronously.. - Conrad (1994) (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