Expanding Database Systems into self-verifying Entities
暂无分享,去创建一个
[1] Volker Wulf,et al. How to make software softer—designing tailorable applications , 1997, DIS '97.
[2] Yvonne Dittrich,et al. Designing for changing work and business practices , 2003 .
[3] David Chenho Kung,et al. A Temporal Framework for Database Specification and Verification , 1984, VLDB.
[4] Susanne Bødker,et al. From implementation to design: tailoring and the emergence of systematization in CSCW , 1994, CSCW '94.
[5] Thomas A. Henzinger,et al. Logics and Models of Real Time: A Survey , 1991, REX Workshop.
[6] Grigore Rosu,et al. Monitoring programs using rewriting , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[7] Henrik Reif Andersen,et al. Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems , 2003, RV@CAV.