BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
verifi (3)
view (2)
overview (2)
server (1)
beyond (1)

Stem eve$ (all stems)

9 papers:

OSDIOSDI-2012-Kapritsos0QCAD #all about #manycore #replication
All about Eve: Execute-Verify Replication for Multi-Core Servers (MK, YW, VQ, AC, LA, MD), pp. 237–250.
ICSEICSE-2004-DongLLW #verification
Verifying DAML+OIL and Beyond in Z/EVES (JSD, CHL, YFL, HHW), pp. 201–210.
SIGMODSIGMOD-1999-RundensteinerKZWLLN #evolution #maintenance
Evolvable View Environment (EVE): Non-Equivalent View Maintenance under Schema Changes (EAR, AK, XZ, AvW, YL, AJL, AN), pp. 553–555.
ASEASE-1998-Ledru #identification #proving #theorem proving
Identifying Pre-Conditions with the Z/EVES Theorem Prover (YL), p. 32–?.
FMFM-1998-Canada #bibliography #perspective
Z/EVES Version 1.5: An Overview (OC), pp. 367–376.
FMFME-1993-SaaltinkKPCM #abstraction
An EVES Data Abstraction Example (MS, SK, BP, DC, IM), pp. 578–596.
Eves System Description (DC, SK, IM, BP, MS), pp. 771–775.
FMVDME-1991-1-CraigenKMPS #bibliography #named #perspective
EVES: An Overview (DC, SK, IM, BP, MS), pp. 389–405.
ICSEICSE-1988-CraigenKMNPS #named #verification
m-EVES: A Tool for Verifying Software (DC, SK, IM, AN, BP, MS), pp. 324–333.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.