BibTeX records: Jack Foisseau

download as .bib file

@inproceedings{DBLP:conf/re/LemoineF02,
  author    = {Michel Lemoine and
               Jack Foisseau},
  title     = {Managing (Requirements) Evolutions of High Assurance Systems},
  booktitle = {10th Anniversary {IEEE} Joint International Conference on Requirements
               Engineering {(RE} 2002), 9-13 September 2002, Essen, Germany},
  pages     = {91},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {https://doi.org/10.1109/ICRE.2002.1048509},
  doi       = {10.1109/ICRE.2002.1048509},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/re/LemoineF02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CholvyF83,
  author    = {Laurence Cholvy and
               Jack Foisseau},
  editor    = {R. E. A. Mason},
  title     = {{ROSALIE:} {A} {C.A.D.} Object-Oriented and Rule-Based System},
  booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
               Congress, Paris, France, September 19-23, 1983},
  pages     = {501--505},
  publisher = {North-Holland/IFIP},
  year      = {1983},
  timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip/CholvyF83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/FoisseauJLLVZ80,
  author    = {Jack Foisseau and
               Ren{\'{e}} Jacquart and
               Michel Lema{\^{\i}}tre and
               Michel Lemoine and
               J. C. Vignat and
               Guy Zanon},
  editor    = {Simon H. Lavington},
  title     = {Programming Development with or without Coding},
  booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
               Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
               14-17, 1980},
  pages     = {327--330},
  publisher = {North-Holland/IFIP},
  year      = {1980},
  timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip/FoisseauJLLVZ80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/FoisseauJV77,
  author    = {Jack Foisseau and
               Ren{\'{e}} Jacquart and
               Fran{\c{c}}ois{-}R{\'{e}}gis Valette},
  editor    = {Bruce Gilchrist},
  title     = {Means and Levels of Knowledge Representation in the {CAD} System Germinal},
  booktitle = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
               Toronto, Canada, August 8-12, 1977},
  pages     = {689--694},
  publisher = {North-Holland},
  year      = {1977},
  timestamp = {Fri, 26 Jul 2019 22:58:45 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip/FoisseauJV77.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JacquartRVF75,
  author    = {Ren{\'{e}} Jacquart and
               Philippe R{\'{e}}gnier and
               Fran{\c{c}}ois{-}R{\'{e}}gis Valette and
               Jack Foisseau},
  editor    = {Robert B. Hitchcock Sr. and
               Donald J. Humcke and
               Stephen A. Szygenda},
  title     = {Current trends in the development of integrated general purpose {CAD}
               systems},
  booktitle = {Proceedings of the 12th Design Automation Conference, {DAC} '75, Boston,
               Massachusetts, USA, June 23-25, 1975},
  pages     = {180--188},
  publisher = {{ACM}},
  year      = {1975},
  url       = {http://dl.acm.org/citation.cfm?id=809065},
  timestamp = {Thu, 01 Mar 2012 19:09:34 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/JacquartRVF75.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics