Searching for authors named "Pascale Le Gall" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Formal Specifications and Test: Correctness and Oracle
- …Formal specifications and test: correctness and oracle Pascale Le Gall 1 and Agn`es Arnould 2 1…
- Cited by 5 (1 self) – Add To MetaCart
-
An Incremental Method for the Design of Feature-Oriented Systems
- …An incremental method for the design of feature-oriented systems Karim Berkani 1 , Pascale Le…
- Cited by 1 (1 self) – Add To MetaCart
-
Feature Specification: a Logic-Independent Approach
- …-independent approach Marc Aiguier , Christophe Gaston and Pascale Le Gall£ ��ÜÒÙÑ��Ö� ����Ù…
- Add To MetaCart
-
Feature Logics and refinement
- …�Ø�ÓÒØ��Ò�ÕÙ�×ÓÙÐ�����ÐÔ�ÙÐÀÓÛ�Ú�ÖØ��×ØÙ�ÝÓ� Marc Aiguier Christophe Gaston Pascale Le Gall �ÒØ�Ö�Ø�ÓÒ×Ø�ÖÓÙ���ÑÔÐ�Ñ�ÒØ�Ø�ÓÒØ��Ò�ÕÙ�×�××Ø�ÐÐ�Ò Ì…
- Add To MetaCart
-
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
- … , Agnès Arnould 2 , Clément Boin 1 , Pascale Le Gall 1 and Bruno Marre 3 1 Université d’Évry-Val d…
- Cited by 1 (1 self) – Add To MetaCart
-
Feature specification and static analysis for interaction
- … and Pascale Le Gall� Université d’Évry, LaMI CNRS UMR 8042, 523 pl. des Terrasses F-91000 Évry email :{aiguier…
- Cited by 1 (0 self) – Add To MetaCart
-
A temporal logic for input output symbolic transistion systems
- … , Pascale Le Gall 1 , Delphine Longuet 1 and Assia Touil 1 1 Université d’Évry, LaMI CNRS UMR 8042, Tour…
- Add To MetaCart
-
unknown title
- … An incremental method for the design of feature-oriented systems Karim Berkani1, Pascale Le Gall…
- Add To MetaCart
Showing 1 through 8.
