• DocumentCode
    356882
  • Title

    Design, specification, and verification of interactive systems

  • Author

    Palanque, Philippe ; Paternò, Fabio

  • Author_Institution
    CNUCE-CNR
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    803
  • Lastpage
    804
  • Keywords
    Application software; Computer architecture; Context modeling; Human computer interaction; Interactive systems; Least squares approximation; Permission; Software engineering; Usability; User interfaces;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 2000. Proceedings of the 2000 International Conference on
  • ISSN
    0270-5257
  • Print_ISBN
    1-58113-206-9
  • Type

    conf

  • DOI
    10.1109/ICSE.2000.870518
  • Filename
    870518