Author:
Le Gall Pascale,Arnould Agnès
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. M. Aiguier and G Bernot. Algebraic semantics of object type specifications. In R.J.Wieringa R.B.Feenstra eds, editor, Information Systems Correctness and Reusability, Selected papers from the IS-CORE workshop. World Scientific Publishing, 1995.
2. G. Bernot. Testing against formal specifications: a theoretical view. In TAPSOFT'91, Internationnal Joint Conference on the Theory and Practice of Software Developement, number 494 in Springer Verlag, LNCS, pages 99–119, 1991.
3. G. Bernot, M.C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, Vol.6(6):387–405, 1991. (also technical report LRI 581, Orsay (Avril 1991)).
4. G. Bernot and P. Le Gall. Exception handling and term labelling. In TAPSOFT'93, Internationnal Joint Conference, Theory And Practice of Software Developement, number 668 in Springer Verlag, LNCS, pages 421–436, 1993.
5. M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and abstractor specifications. Science of Computer Programming, 25:149–186, 1995.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献