Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.creatorAna C. R. Paiva
dc.creatorJoão C. P. Faria
dc.creatorRaul F. A. M. Vidal
dc.description.abstractIt is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user interface development. The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user interface implementation with respect to the specification. These conformity tests are described in detail through a state transition model with an abstraction function mapping concrete (implementation) to abstract (specification) states and operations. In order to illustrate the approach, it is presented a simple login/password dialog specification in VDM++, using a reusable control specification library, with a straightforward translation to Java or C#.
dc.subjectTecnologia de software, Ciências da computação e da informação
dc.subjectSoftware technology, Computer and information sciences
dc.titleSpecification-based testing of user interfaces
dc.typeArtigo em Revista Científica Internacional
dc.contributor.uportoFaculdade de Engenharia
dc.subject.fosCiências exactas e naturais::Ciências da computação e da informação
dc.subject.fosNatural sciences::Computer and information sciences
Appears in Collections:FEUP - Artigo em Revista Científica Internacional

Files in This Item:
File Description SizeFormat 
  Restricted Access
111.35 kBAdobe PDF    Request a copy from the Author(s)

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.