René Jacquart

According to our database, René Jacquart authored at least 10 papers between 1974 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

Construction and Reuse of Formal Program Developments.

Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1989

Method Driven Programming.

Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

SPRAC: A Software Engineering Environment.

Michel Lemoine, René Jacquart, Guy Zanon

Proceedings of the STACS 87, 1987

1986

Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).

René Jacquart

Proceedings of the Information Processing 86, 1986

1985

The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic.

Jacques Cazin, René Jacquart, P. Michel

Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985

1982

LF: langage de spécification de fonctions et de types de données en logique.

René Jacquart, Michel Lemaître, Guy Zanon

Proceedings of the SPLT'82, 1982

1980

Programming Development with or without Coding.

Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1977

Means and Levels of Knowledge Representation in the CAD System Germinal.

Jack Foisseau, René Jacquart, François-Régis Valette

Proceedings of the Information Processing, 1977

1975

Current trends in the development of integrated general purpose CAD systems.

René Jacquart, Philippe Régnier, François-Régis Valette, Jack Foisseau

Proceedings of the 12th Design Automation Conference, 1975

1974

GERMINAL: Towards a general and integrated system for computer aided design.

René Jacquart, Philippe Régnier, François-Régis Valette

Proceedings of the 11th Design Automation Workshop, 1974