rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Interactive Systems: Design, Specification, and Verification
    sub title: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
  name:
    name part: Paternó, Fabio.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 1995
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (x, 447 pages 176 illustrations)
  abstract: Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation. The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.
  note: edited by Fabio Paternó.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Logic design
  subject:
    topic: Computer graphics
  subject:
    topic: Computer graphics
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Software engineering
  classification: T385
  classification: 006.6
  related item:
    title info:
      title: Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics
  identifier: 9783642871153 (electronic bk.)
  identifier: 3642871151 (electronic bk.)
  identifier: 9783642871177
  identifier: 3642871178
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 121227
    record change date: 20260422171159.7
    record identifier: in00003581119
    language of cataloging:
      language term: eng