Updating hypothetical data bases
- 作者Rakesh Agrawal; David J. Dewitt
- 卷第16卷
- 期第3期
- 印刷ISSN0020-0190
- 文件大小151.47KB
- 发表时间1983
- DOI10.1016/0020-0190(83)90066-2
- 页码145-146
[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - A Refinement Based Framework for Computing Loop BehaviorMili, Ali; Mili, Ali; Mili, Ali; Mili, Ali · 2007
A relational division operator: the conjugate kernelJules Desharnais; Ali Jaoua; Fatma Mili; Noureddine Boudriga; Ali Mili · 1993
Heuristics for constructing while loopsFatma Mili; Ali Mili · 1992
On the mathematics of sequential decompositionsJules Desharnais; Ali Mili; Fatma Mili · 1993
Semantic distance between specificationsRym Mili; Jules Desharnais; Marc Frappier; Ali Mili · 2000
Recoverability preservation: a measure of last resortAli Mili; Frederick Sheldon; Fatma Mili; Jules Desharnais · 2005
Relational heuristics for the design of deterministic programsAli Mili; Jules Desharnais; Fatma Mili · 1987
On the use of executable assertions in structured programsAli Mili; Sihem Guemara; Ali Jaoua; Paul Torrés · 1987