1347 search results - page 192 / 270 » A Web-based requirements analysis tool |
159
Voted
SCN
2011
Springer
14 years 7 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
80
Voted
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
119
Voted
IDTRUST
2010
ACM
15 years 7 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...