2847 search results - page 523 / 570 » The Context-Dependent Role Model |
FM
2006
Springer
14 years 16 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
DSD
2009
IEEE
14 years 4 days ago
2009
IEEE
—Duplication and comparison has proven to be an efficient method for error detection. Based on this generic principle dual core processor architectures with output comparison ar...
CHI
2008
ACM
13 years 11 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
BTW
2005
Springer
13 years 11 months ago
2005
Springer
: Ideas from terminology management, the science of terms and definitions, can be used to improve the quality of software and data models, as well as to facilitate the achievement ...
ER
2006
Springer
13 years 10 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...