 | 2004 |
|---|
| 9 |       | René Jacquart:
Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France
Kluwer 2004 |
| 1991 |
|---|
| 8 |  | Jacques Cazin,
Patrice Cros,
René Jacquart,
Michel Lemoine,
P. Michel:
Construction and Reuse of Formal Program Developments.
TAPSOFT, Vol.2 1991: 120-136 |
| 1989 |
|---|
| 7 | | Jacques Cazin,
René Jacquart,
Michel Lemoine,
P. Michel,
P. Maurice:
Method Driven Programming.
IFIP Congress 1989: 351-356 |
| 1987 |
|---|
| 6 | | Michel Lemoine,
René Jacquart,
Guy Zanon:
SPRAC: A Software Engineering Environment.
STACS 1987: 477-478 |
| 1986 |
|---|
| 5 | | René Jacquart:
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
IFIP Congress 1986: 725-726 |
| 1985 |
|---|
| 4 | | Jacques Cazin,
René Jacquart,
P. Michel:
The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic.
ER 1985: 216-223 |
| 1982 |
|---|
| 3 | | René Jacquart,
Michel Lemaître,
Guy Zanon:
LF: langage de spécification de fonctions et de types de données en logique.
SPLT 1982 |
| 1980 |
|---|
| 2 | | Jack Foisseau,
René Jacquart,
Michel Lemaître,
Michel Lemoine,
J. C. Vignat,
Guy Zanon:
Programming Development with or without Coding.
IFIP Congress 1980: 327-330 |
| 1977 |
|---|
| 1 | | Jack Foisseau,
René Jacquart,
François-Régis Valette:
Means and Levels of Knowledge Representation in the CAD System Germinal.
IFIP Congress 1977: 689-694 |
