2317 search results - page 9 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
TSE
2002
13 years 7 months ago
2002
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
ACMDIS
2000
ACM
14 years 7 days ago
2000
ACM
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...