2317 search results - page 272 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
160
click to vote
FIW
2007
15 years 5 months ago
2007
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...
152
Voted
IJCSA
2006
15 years 3 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
164
click to vote
RE
2010
Springer
14 years 10 months ago
2010
Springer
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...
122
Voted
INTERACT
2003
15 years 5 months ago
2003
: In a meeting room environment with multiple public wall displays and personal notebook computers, it is possible to design a highly interactive experience for manipulating and an...