Publications
Search

Publications :: Search

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.