Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search
Publications :: Search
Basic Search
Advanced Search
Author Info
Show author
On this page you see the details of the selected author.
Author information
First name:
René
Last name:
Jacquart
DBLP:
53/1200
Rating:
(not rated yet)
Bookmark:
Below you find the publications which have been written by this author.
Show item
1
to
8
of
8
Select a publication
Show
Title
Venue
Rating
Date
Jacques Cazin
,
Patrice Cros
,
René Jacquart
,
Michel Lemoine
,
P. Michel
.
Construction and Reuse of Formal Program Developments.
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt 1991
(0)
1991
Jacques Cazin
,
René Jacquart
,
Michel Lemoine
,
P. Michel
,
P. Maurice
.
Method Driven Programming.
IFIP Congress 1989
(0)
1989
Michel Lemoine
,
René Jacquart
,
Guy Zanon
.
SPRAC: A Software Engineering Environment.
STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings 1987
(0)
1987
René Jacquart
.
Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).
IFIP Congress 1986
(0)
1986
Jacques Cazin
,
René Jacquart
,
P. Michel
.
The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic.
Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, Proceedings of the Fourth International Conference on Entity-Relationship Approach, Chicago, Illinois, USA, 29-30 October 1985 1985
(0)
1985
René Jacquart
,
Michel Lemaître
,
Guy Zanon
.
LF: langage de spécification de fonctions et de types de données en logique.
SPLT'82, Séminaire Programmation en Logique, 4-5 février 1982, Perros-Guirec, France 1982
(0)
1982
Jack Foisseau
,
René Jacquart
,
Michel Lemaître
,
Michel Lemoine
,
J. C. Vignat
,
Guy Zanon
.
Programming Development with or without Coding.
IFIP Congress 1980
(0)
1980
Jack Foisseau
,
René Jacquart
,
François-Régis Valette
.
Means and Levels of Knowledge Representation in the CAD System Germinal.
IFIP Congress 1977
(0)
1977
Your query returned
8
matches in the database.