Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/dsvis/AmeurGJ98,
  author       = {Yamine A{\"{\i}}t Ameur and
                  Patrick Girard and
                  Francis Jambon},
  editor       = {Panos Markopoulos and
                  Peter Johnson},
  title        = {A Uniform Approach for Specification and Design of Interactive Systems:
                  the {B} Method},
  booktitle    = {Design, Specification and Verification of Interactive Systems'98,
                  Supplementary Proceedings of the Fifth International Eurographics
                  Workshop, June 3-5, 1998, Abingdon, United Kingdom},
  volume       = {2},
  pages        = {51--67},
  publisher    = {Eurographics Association},
  year         = {1998},
  timestamp    = {Wed, 01 Jul 2020 21:28:45 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/AmeurGJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/GriffithsMPKCBGGSWD98,
  author       = {Tony Griffiths and
                  Jo McKirdy and
                  Norman W. Paton and
                  Jessie B. Kennedy and
                  Richard Cooper and
                  Peter J. Barclay and
                  Carole A. Goble and
                  Philip D. Gray and
                  Michael Smyth and
                  Adrian West and
                  Andrew Dinn},
  editor       = {Panos Markopoulos and
                  Peter Johnson},
  title        = {An Open-Model-Based Interface Development System: The Teallach Approach},
  booktitle    = {Design, Specification and Verification of Interactive Systems'98,
                  Supplementary Proceedings of the Fifth International Eurographics
                  Workshop, June 3-5, 1998, Abingdon, United Kingdom},
  volume       = {2},
  pages        = {34--50},
  publisher    = {Eurographics Association},
  year         = {1998},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsvis/GriffithsMPKCBGGSWD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/Springett98,
  author       = {Mark Springett},
  editor       = {Panos Markopoulos and
                  Peter Johnson},
  title        = {A Model of User Processing and Knowledge Deployment During Display-Based
                  Learning},
  booktitle    = {Design, Specification and Verification of Interactive Systems'98,
                  Supplementary Proceedings of the Fifth International Eurographics
                  Workshop, June 3-5, 1998, Abingdon, United Kingdom},
  volume       = {2},
  pages        = {17--33},
  publisher    = {Eurographics Association},
  year         = {1998},
  timestamp    = {Thu, 30 Mar 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/Springett98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/VanderdoncktTD98,
  author       = {Jean Vanderdonckt and
                  Jean{-}Claude Tarby and
                  Alain Derycke},
  editor       = {Panos Markopoulos and
                  Peter Johnson},
  title        = {Using Data Flow Diagrams for Supporting Task Models},
  booktitle    = {Design, Specification and Verification of Interactive Systems'98,
                  Supplementary Proceedings of the Fifth International Eurographics
                  Workshop, June 3-5, 1998, Abingdon, United Kingdom},
  volume       = {2},
  pages        = {1--16},
  publisher    = {Eurographics Association},
  year         = {1998},
  timestamp    = {Thu, 30 Mar 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/VanderdoncktTD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/VelaGT98,
  author       = {Francisco Luis Guti{\'{e}}rrez Vela and
                  Miguel Gea and
                  Juan Carlos Torres},
  editor       = {Panos Markopoulos and
                  Peter Johnson},
  title        = {Verification of Interactive System Using Algebraic Specification},
  booktitle    = {Design, Specification and Verification of Interactive Systems'98,
                  Supplementary Proceedings of the Fifth International Eurographics
                  Workshop, June 3-5, 1998, Abingdon, United Kingdom},
  volume       = {2},
  pages        = {68--84},
  publisher    = {Eurographics Association},
  year         = {1998},
  timestamp    = {Fri, 30 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/VelaGT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dsvis/1998-2,
  editor       = {Panos Markopoulos and
                  Peter Johnson},
  title        = {Design, Specification and Verification of Interactive Systems'98,
                  Supplementary Proceedings of the Fifth International Eurographics
                  Workshop, June 3-5, 1998, Abingdon, United Kingdom},
  volume       = {2},
  publisher    = {Eurographics Association},
  year         = {1998},
  timestamp    = {Wed, 01 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/1998-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}