Author:
Jaoua A.,Mili A.,Boudriga N.,Durieux J.L.
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. A specification language;Abrial,1980
2. Exception handling: formal specification and systematic program construction;Bidoit,1984
3. An axiomatic basis for computer programming;Hoare;Comm. ACM,1969
4. On the use of executable assertions for error detection and damage assessment;Jaoua;J. Systems Software,1990
5. Recouvrement avant de programmes sous les hypothèses de spécification déterministe et non déterministe;Jaoua,1987
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On difunctions;Journal of Logical and Algebraic Methods in Programming;2023-08
2. Programming from metaphorisms;Journal of Logical and Algebraic Methods in Programming;2018-01
3. Invariant assertions, invariant relations, and invariant functions;Science of Computer Programming;2013-09
4. Text Summarization Based on Conceptual Data Classification;International Journal of Information Technology and Web Engineering;2006-10
5. Conceptual Data Classification: Application for Knowledge Extraction;Computer-Aided Intelligent Recognition Techniques and Applications;2005-12-20