The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Proceedings of the third international conference on Computer-aided design of user interfaces
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
A Model-Based Interface Development Environment
IEEE Software
Advice-Giving Systems for Selecting Interaction Objects
UIDIS '99 Proceedings of the 1999 User Interfaces to Data Intensive Systems
Specifying and analyzing early requirements in Tropos
Requirements Engineering
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions
IEEE Transactions on Software Engineering
Goal-Oriented Requirements Animation
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
Deriving behavior of multi-user processes from interactive requirements validation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Hi-index | 0.00 |
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. This paper shows how to derive a user interface for human agents from such a model, especially with respect to the monitor and control capabilities of those agents. A goal-oriented widget taxonomy was elaborated in order to facilitate selecting widgets that are appropriate for each element of the underlying domain model. A user-friendly tool for building user interfaces, supporting the retrieval of adequate components and their fine tuning at a graphical level, was developed and deployed on the animator of the Objectiver/FAUST requirements toolbox.