By Topic

Object-oriented user-interface development

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $33
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
A. Hussey ; Software Verification Res. Centre, Queensland Univ., Brisbane, Qld., Australia ; D. Carrington

Model-based tools enable developers to produce prototype user interface designs from a model of the system. Existing model-based tools do not enable a developer to work from an abstract specification of the system to produce a prototype design. Consequently, much design work focuses prematurely on the concrete visual appearance of the user interface. To address this issue, patterns are discussed that provide a formal model-based design process commencing from an abstract specification

Published in:

IEE Proceedings - Software  (Volume:146 ,  Issue: 5 )