Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Means and Levels of Knowledge Representation in the CAD System Germinal., , and . IFIP Congress, page 689-694. (1977)LF: langage de spécification de fonctions et de types de données en logique., , and . SPLT, (1982)Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel).. IFIP Congress, page 725-726. North-Holland/IFIP, (1986)The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic., , and . ER, page 216-223. IEEE Computer Society and North-Holland, (1985)Current trends in the development of integrated general purpose CAD systems., , , and . DAC, page 180-188. ACM, (1975)SPRAC: A Software Engineering Environment., , and . STACS, volume 247 of Lecture Notes in Computer Science, page 477-478. Springer, (1987)Construction and Reuse of Formal Program Developments., , , , and . TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 120-136. Springer, (1991)GERMINAL: Towards a general and integrated system for computer aided design., , and . DAC, page 352-358. ACM, (1974)Programming Development with or without Coding., , , , , and . IFIP Congress, page 327-330. (1980)Method Driven Programming., , , , and . IFIP Congress, page 351-356. North-Holland/IFIP, (1989)