MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The EVES System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

61 documents found, showing 1 through 10. Next 10 →

ATOM

The Z/EVES System
by Mark Saaltink — 1997 — ZUM’97: Z Formal Specification Notation
…The Z/EVES System Mark Saaltink (mark@(email omitted);) ORA Canada 267 Richmond Road Ottawa, Ontario K1Z…
Cited by 64 (1 self) – Add To MetaCart

Investigating the Role of EVES in System Engineering and Security Evaluation
by Sentot Kromodimoeljo, Bill Pase — 1992
…Investigating the Role of EVES in System Engineering and Security Evaluation TR-92-5464-02 Sentot…
Cited by 2 (1 self) – Add To MetaCart

Verdi Interpreter User's Manual
by Tr- Irwin Meisels, Irwin Meisels
… and EVES system. 1.1 Overview The interpreter executes procedures and typed functions that have been…
Add To MetaCart

Prototype Proof Checker
by Sentot Kromodimoeljo, Bill Pase — 1995
… checker. The proof browser was developed to be part of the EVES system [1] and will not be described here…
Cited by 1 (1 self) – Add To MetaCart

Domain Checking Z Specifications
by Mark Saaltink — 1997
… variety of situations [1, 7] and has become fairly popular. The Z/EVES system [15, 11] is a formal methods…
Cited by 3 (0 self) – Add To MetaCart

Towards Provably Correct System Synthesis And Extension
by C. Talcott, Reasoning Theories Towards, A. Armando, F. Giunchiglia, F. Giunchiglia, P. Pecchiari, P. Pecchiari, R. Overbeek — 1996
…. The eves system. In Proceedings of the International Lecture Series on "Functional Programming, Concurrency…
Add To MetaCart

Reference Manual for the Language Verdi
by Dan Craigen, From Irwin Meisels — 1996
… is the interaction language of the EVES (Version 3.0) verification system and consists of components for describing…
Cited by 19 (3 self) – Add To MetaCart

Maintaining Data Warehouses Over Changing Information Sources
by Elke A. Rundensteiner, Andreas Koeller, Xin Zhang — 2000 — Communications of the ACM
… entirety. An architectural overview of EVE is given in Figure 4. The EVE system follows our earlier…
Cited by 28 (6 self) – Add To MetaCart

Data Warehouse Maintenance Under Concurrent Schema and Data Updates
by Xin Zhang, Xin Zhang, Elke A. Rundensteiner, Elke A. Rundensteiner — 1998 — In Proceedings of IEEE International Conference on Data Engineering
… developed the EVE (Evolvable View Environment) system [LNR97a] in which we add the much needed exibility…
Cited by 5 (4 self) – Add To MetaCart

Evolvable View Environment (EVE): Non-Equivalent View Maintenanc e under Schema Changes
by E. A. Rundensteiner, A. Koeller, X. Zhang, A. J. Lee, A. Nica, A. Vanwyk, Y. Li — 1999 — In SIGMOD
… ned over distributed dynamic ISs [5, 6, 7]. The EVE system is the rst to allow views to survive schema…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB